simon/jolt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #118 from jolt-lang/refactor-phase3a-ir-walk

Browse source 
Refactor phase 3a: one map-ir-children combinator for IR rewrite walks (jolt-26dm)
This commit is contained in:
Dmitri Sotnikov 2026-06-15 09:15:46 +00:00 • committed by GitHub
commit 53967ce221
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 101 additions and 196 deletions
Download patch file Download diff file Expand all files Collapse all files

9
test/integration/ir-passes-test.janet
View file

@ -39,4 +39,13 @@
# broader matrix; this pins a couple end-to-end)
(assert (= 6 (api/eval-string ctx "(+ 1 2 3)")) "folded eval")
(assert (= :yes (api/eval-string ctx "(if (< 1 2) :yes :no)")) "folded if eval")
# Folding reaches into every op's children via map-ir-children (phase 3a) — it is
# now total, so a constant nested in a fn arity / loop / try body folds too
# (const-fold previously passed :try through unfolded). Sound: folding preserves
# runtime results regardless of position, so these eval end-to-end (3-mode
# conformance covers the broader matrix).
(assert (= 3 ((api/eval-string ctx "(fn [x] (+ 1 2))") 0)) "folded fn arity body eval")
(assert (= 10 (api/eval-string ctx "(loop [i 0] (if (< i (* 2 5)) (recur (inc i)) i))")) "folded loop eval")
(assert (= 5 (api/eval-string ctx "(try (+ 2 3) (catch Throwable e 0))")) "folded try eval")
(print "IR passes passed!")