diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-01-25 18:19:23 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-01-25 18:19:23 -0500 |
| commit | 4569b21bae0c7056fb2199443a571b80c0931641 (patch) | |
| tree | 80b235e8b2d096eee2351b40b2ab43c9b912b5ad /src/bootstrap/verify.bqn | |
| parent | 8b8b7f19191e7ebae2f2739f416f536d2bc5510d (diff) | |
Add boot3 to take advantage of some boot2 simplifications
Diffstat (limited to 'src/bootstrap/verify.bqn')
| -rw-r--r-- | src/bootstrap/verify.bqn | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/bootstrap/verify.bqn b/src/bootstrap/verify.bqn index 66939576..c3b9d737 100644 --- a/src/bootstrap/verify.bqn +++ b/src/bootstrap/verify.bqn @@ -1,8 +1,8 @@ glyphs ← •Import "../glyphs.bqn" gl ← ("⟨"∾"⟩"«∾","⊸∾¨'"'(⊣∾∾˜)¨glyphs) # Has to replace •args in c.bqn -f ← "../c.bqn"‿"boot1.bqn"‿"boot2.bqn" # Files to test -c ← (1‿2/⟨glyphs⊸•Import,•Import⟩) {𝕎𝕩}¨ f # Resulting compilers +f ← ⟨"../c.bqn"⟩∾("boot"∾∾⟜".bqn")¨'1'+↕3 # Files to test +c ← (1‿3/⟨glyphs⊸•Import,•Import⟩) {𝕎𝕩}¨ f # Resulting compilers c ↩ (∾glyphs){𝕗⊸𝕏}¨ c t ← (∾∾⟜(@+10)¨)¨ (¯5⊸↓∾gl˙)⌾⊑⌾⊑ •FLines¨ f # Compiler source @@ -12,3 +12,5 @@ t ← (∾∾⟜(@+10)¨)¨ (¯5⊸↓∾gl˙)⌾⊑⌾⊑ •FLines¨ f # Compi •Out "Boot -1 verified!" ! ≡○(⋈⁼∘∾⍟=¨⌾(2⊑¨2⊸⊑) 4⊸↑)´ (0‿2⊏c) {𝕎𝕩}¨ 1⊏t •Out "Boot -2 verified!" +! ≡○(⋈⁼∘∾⍟=¨⌾(2⊑¨2⊸⊑) 4⊸↑)´ (0‿3⊏c) {𝕎𝕩}¨ 2⊏t +•Out "Boot -3 verified!" |