diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-01-25 22:06:06 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-01-25 22:06:06 -0500 |
| commit | 93dcd2ac02276f3f2aac51247923d2af64f2b500 (patch) | |
| tree | 0638368ff1c9be671cd544c3d78a4c8c10430fbf /src/bootstrap/verify.bqn | |
| parent | 20a243ff42eab8e1bb4afe9d5cc54f5d32983b57 (diff) | |
Don't get variable last use in boot3
Diffstat (limited to 'src/bootstrap/verify.bqn')
| -rw-r--r-- | src/bootstrap/verify.bqn | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bootstrap/verify.bqn b/src/bootstrap/verify.bqn index c833c2f2..bacec4fc 100644 --- a/src/bootstrap/verify.bqn +++ b/src/bootstrap/verify.bqn @@ -8,9 +8,10 @@ t ← (∾∾⟜(@+10)¨)¨ (¯5⊸↓∾gl˙)⌾⊑⌾⊑ •FLines¨ f # Compi # Check that compiler 𝕩 compiles 𝕩-1 same as full compiler Ver ← { - norm ← {𝕎𝕏}˜´ (2⌊𝕩) ↑ ⟨ + norm ← {𝕎𝕏}˜´ 𝕩 ↑ ⟨ 4⊸↑ # Strip source info, always ⋈⁼∘∾⍟=¨⌾(2⊑¨2⊸⊑) # Turn only-dyadic functions to ambivalent, only ≥2 + (⊢-2×34⊸=)⌾⊑ # VARU to VARO, could hit non-opcode numbers, oh well ⟩ ! ≡○Norm´ (0‿𝕩⊏c) {𝕎𝕩}¨ (𝕩-1)⊏t •Out ∾⟨"Boot -",'0'+𝕩," verified!"⟩ |