need to use fresh

Author: konradbausch

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

@@ -33,6 +33,7 @@ object ArityRaising extends Phase[CoreTransformed, CoreTransformed] {
       DC.findData(name) match {
         case Some(Data(_, List(), List(Constructor(test, List(), List(Field(x, tpe1), Field(y, tpe2)))))) => 
           println(test)
+          //new names
           val vparams = List(ValueParam(x, tpe1), ValueParam(y, tpe2))
           val transformedBody = Let(param, ValueType.Data(name, targs), 
           Make(ValueType.Data(name, targs), test, List(), List(ValueVar(x, tpe1), ValueVar(y, tpe2))), transform(body))
@@ -84,9 +85,10 @@ object ArityRaising extends Phase[CoreTransformed, CoreTransformed] {
           println(annotatedCapt)
           DC.findData(name) match {
             case Some(Data(_, List(), List(Constructor(test, List(), List(Field(x, tpe1), Field(y, tpe2)))))) => 
-              val transformedVargs = List(ValueVar(x, tpe1), ValueVar(y, tpe2))
+              val xfresh = Id(x.name)
+              val transformedVargs = List(ValueVar(xfresh, tpe1), ValueVar(y, tpe2))
               val res = Stmt.App(BlockVar(id, BlockType.Function(List(), List(), List(tpe1, tpe2), List(), returnTpe), annotatedCapt), targs, transformedVargs, bargs)
-              val latermatch: BlockLit = Block.BlockLit(List(), List(), List(ValueParam(x,tpe1), ValueParam(y, tpe2)), List(), res)
+              val latermatch: BlockLit = Block.BlockLit(List(), List(), List(ValueParam(xfresh,tpe1), ValueParam(y, tpe2)), List(), res)
               val newMatch = Stmt.Match(vargs.head, List((test,  latermatch)), None)
               println("res $$$$###")
               println(stmt)

project/metals.sbt

@@ -0,0 +1,13 @@
+// format: off
+// DO NOT EDIT! This file is auto-generated.
+
+// 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")
+
+// This plugin adds the BSP debug capability to sbt server.
+
+addSbtPlugin("ch.epfl.scala" % "sbt-debug-adapter" % "4.2.8")
+
+// format: on

project/project/metals.sbt

@@ -0,0 +1,14 @@
+// format: off
+// DO NOT EDIT! This file is auto-generated.
+
+// 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")
+
+// This plugin makes sure that the JDI tools are in the sbt classpath.
+// JDI tools are used by the debug adapter server.
+
+addSbtPlugin("com.github.sbt" % "sbt-jdi-tools" % "1.2.0")
+
+// format: on

project/project/project/metals.sbt

@@ -0,0 +1,8 @@
+// format: off
+// DO NOT EDIT! This file is auto-generated.
+
+// This file enables sbt-bloop to create bloop config files.
+
+addSbtPlugin("ch.epfl.scala" % "sbt-bloop" % "2.0.13")
+
+// format: on