diff options
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!"⟩ |