Note parameters (#677)

I'm not sure why this was still TODO, but this fixes the bidirectional tests.
effekt-lang · Nov 7, 2024 · 26e09b2 · 26e09b2
1 parent 6050bcf
commit 26e09b2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/effekt/jvm/src/test/scala/effekt/LLVMTests.scala b/effekt/jvm/src/test/scala/effekt/LLVMTests.scala
@@ -80,10 +80,6 @@ class LLVMTests extends EffektTests {
     examplesDir / "pos" / "capture" / "resources.effekt",
     examplesDir / "pos" / "io",
 
-    // Bidirectional effects are still a bit buggy
-    examplesDir / "pos" / "bidirectional" / "pingpong.effekt",
-    examplesDir / "pos" / "bidirectional" / "scheduler.effekt",
-
     // first class functions closing over capabilities
     examplesDir / "pos" / "capture" / "state_eff.effekt",
 

diff --git a/effekt/shared/src/main/scala/effekt/machine/Transformer.scala b/effekt/shared/src/main/scala/effekt/machine/Transformer.scala
@@ -488,7 +488,7 @@ object Transformer {
     op match {
       // No continuation, implementation of an object
       case core.Operation(name, tparams, cparams, vparams, bparams, body) =>
-        // TODO note block parameters
+        noteParameters(bparams)
         Clause(vparams.map(transform) ++ bparams.map(transform), transform(body))
     }