when tail call, we can share a continuation for returning

Generative-Program-Analysis · Oct 21, 2024 · b6474eb · b6474eb
1 parent a48004c
commit b6474eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/wasm/MiniWasm.scala b/src/main/scala/wasm/MiniWasm.scala
@@ -210,7 +210,7 @@ object Evaluator {
         // We push newK on the trail since function creates a new block to escape
         // (more or less like `return`)
         if (isTail) 
-          eval(body, List(), newFrame, newK, List(newK))
+          eval(body, List(), newFrame, kont, List(kont))
         else
           eval(body, List(), newFrame, newK, List(newK))
       case Import("console", "log", _) =>