add motzkin benchmark to also run without opt. as a test

Author: dvdvgt

effekt/jvm/src/test/scala/effekt/JavaScriptTests.scala

@@ -32,6 +32,9 @@ class JavaScriptTests extends EffektTests {
     // syntax error (multiple declaration)
     examplesDir / "pos" / "parser.effekt",
     examplesDir / "pos" / "probabilistic.effekt",
+    
+    // local function def needs to be rewritten (issue 1229)
+    examplesDir / "benchmarks" / "folklore_to_fact" / "motzkin.effekt",
   )
 
   override def ignored: Set[File] = super.ignored ++ Set(

effekt/shared/src/main/scala/effekt/generator/js/TransformerCps.scala

@@ -91,13 +91,13 @@ object TransformerCps extends Transformer {
 
 
   def toJS(d: cps.ToplevelDefinition)(using ctx: TransformerContext): js.Stmt = d match {
-      case cps.ToplevelDefinition.Def(id, block) =>
-        js.Const(nameDef(id), requiringThunk { toJS(id, block) })
-      case cps.ToplevelDefinition.Val(id, ks, k, binding) =>
-        js.Const(nameDef(id), Call(RUN_TOPLEVEL, js.Lambda(List(nameDef(ks), nameDef(k)), toJS(binding).stmts)))
-      case cps.ToplevelDefinition.Let(id, binding) =>
-        js.Const(nameDef(id), toJS(binding))
-    }
+    case cps.ToplevelDefinition.Def(id, block) =>
+      js.Const(nameDef(id), requiringThunk { toJS(id, block) })
+    case cps.ToplevelDefinition.Val(id, ks, k, binding) =>
+      js.Const(nameDef(id), Call(RUN_TOPLEVEL, js.Lambda(List(nameDef(ks), nameDef(k)), toJS(binding).stmts))) 
+    case cps.ToplevelDefinition.Let(id, binding) =>
+      js.Const(nameDef(id), toJS(binding))
+  }
 
   def toJSParam(id: Id): JSName = nameDef(id)