further bargs fixing

Author: konradbausch

effekt/shared/src/main/scala/effekt/core/ArityRaising.scala

@@ -108,16 +108,22 @@ object ArityRaising extends Phase[CoreTransformed, CoreTransformed] {
           case BlockVar(id, annotatedTpe, annotatedCapt) => 
             annotatedTpe match {
               case BlockType.Function(tparams, cparams, vparams, bparams, result) => 
-                val params = vparams.map { tpe =>
-                  // need to fix for propper implementation
-                  val freshId = Id("x_" + scala.util.Random.nextInt())
+                val types = tparams.map {id => 
+
+                  }
+                val values = vparams.map { tpe =>
+                  val freshId = Id("x")
                   (ValueParam(freshId, tpe), ValueVar(freshId, tpe))
                 }
-                val call = Stmt.App(barg, List(), params.map(_._2), List())
+                val blocks = bparams.zip(cparams).map { case (tpe, capt)=>
+                  val freshId = Id("f")
+                  (BlockParam(freshId, tpe, Set(capt)), BlockVar(freshId, tpe, Set(capt)))
+                }
+ 
+                val call = Stmt.App(barg, List(), values.map(_._2), List())
                 val transformedBody = transform(call)
 
-                // empty List for Bargs should be fine, since myList.map {myFunc} the myFunc cant have any bargs??
-                BlockLit(tparams, cparams, params.map(_._1), List(), transformedBody)
+                BlockLit(tparams, cparams, values.map(_._1), List(), transformedBody)
 
               case _ => transform(barg)
             }

project/metals.sbt

@@ -4,7 +4,7 @@
 // This plugin enables semantic information to be produced by sbt.
 // It also adds support for debugging using the Debug Adapter Protocol
 
-addSbtPlugin("org.scalameta" % "sbt-metals" % "1.6.3")
+addSbtPlugin("org.scalameta" % "sbt-metals" % "1.6.4")
 
 // This plugin adds the BSP debug capability to sbt server.
 

project/project/metals.sbt

@@ -4,7 +4,7 @@
 // This plugin enables semantic information to be produced by sbt.
 // It also adds support for debugging using the Debug Adapter Protocol
 
-addSbtPlugin("org.scalameta" % "sbt-metals" % "1.6.3")
+addSbtPlugin("org.scalameta" % "sbt-metals" % "1.6.4")
 
 // This plugin makes sure that the JDI tools are in the sbt classpath.
 // JDI tools are used by the debug adapter server.