Revert "Temporarily fix stack overflow"

chengluyu · chengluyu · commit 5e30199588ad · 2025-04-19T17:53:08.000+08:00
This reverts commit 92a03ab.
diff --git a/hkmc2/shared/src/main/scala/hkmc2/MLsCompiler.scala b/hkmc2/shared/src/main/scala/hkmc2/MLsCompiler.scala
@@ -90,7 +90,7 @@ class MLsCompiler(preludeFile: os.Path, mkOutput: ((Str => Unit) => Unit) => Uni
       )
       val low = ltl.givenIn:
         new codegen.Lowering()
-          // with codegen.LoweringSelSanityChecks
+          with codegen.LoweringSelSanityChecks
       val jsb = ltl.givenIn:
         codegen.js.JSBuilder()
       val le = low.program(blk)

Original file line number	Diff line number	Diff line change
`@@ -90,7 +90,7 @@ class MLsCompiler(preludeFile: os.Path, mkOutput: ((Str => Unit) => Unit) => Uni`
`90`	`90`	`)`
`91`	`91`	`val low = ltl.givenIn:`
`92`	`92`	`new codegen.Lowering()`
`93`		`- // with codegen.LoweringSelSanityChecks`
	`93`	`+ with codegen.LoweringSelSanityChecks`
`94`	`94`	`val jsb = ltl.givenIn:`
`95`	`95`	`codegen.js.JSBuilder()`
`96`	`96`	`val le = low.program(blk)`