Fix type arguments when PolymorphismBoxing parametrized handlers (#581)

effekt-lang · Sep 10, 2024 · cf50386 · cf50386
2 parents cebaa6e + ee85b84
commit cf50386
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/effekt/jvm/src/test/scala/effekt/LLVMTests.scala b/effekt/jvm/src/test/scala/effekt/LLVMTests.scala
@@ -21,9 +21,6 @@ class LLVMTests extends EffektTests {
   lazy val bugs: List[File] = List(
     examplesDir / "pos" / "issue108.effekt", // seg faults!
 
-    // unsure
-    examplesDir / "pos" / "parametrized.effekt", // just doesn't print anything
-
     // names not sanitized (even?)
     examplesDir / "pos" / "special_names.effekt",
 

diff --git a/effekt/shared/src/main/scala/effekt/core/PolymorphismBoxing.scala b/effekt/shared/src/main/scala/effekt/core/PolymorphismBoxing.scala
@@ -548,7 +548,7 @@ object PolymorphismBoxing extends Phase[CoreTransformed, CoreTransformed] {
           val bargs = (bcoercers zip bparams).map { case (c, p) => c(Block.BlockVar(p.id, p.tpe, Set.empty)) }
           Block.BlockLit(ftparams, bparams.map(_.id), vparams, bparams,
             Def(inner, block,
-              Stmt.Val(result, rcoercer.from, Stmt.App(Block.BlockVar(inner, block.tpe, block.capt), targs map transformArg, vargs, bargs),
+              Stmt.Val(result, rcoercer.from, Stmt.App(Block.BlockVar(inner, block.tpe, block.capt),  (targs map transformArg) ++ (ftparams map core.ValueType.Var.apply), vargs, bargs),
                 Stmt.Return(rcoercer(Pure.ValueVar(result, rcoercer.from))))))
         }