Destructure resume parameters for better readability

effekt-lang · Sep 30, 2022 · 199dbf9 · 199dbf9
1 parent 1b99e48
commit 199dbf9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/effekt/shared/src/main/scala/effekt/machine/Transformer.scala b/effekt/shared/src/main/scala/effekt/machine/Transformer.scala
@@ -143,8 +143,9 @@ object Transformer {
             // TODO currently only scoped resumptions are supported
             // TODO assuming first parameter is evidence TODO actually use evidence?
             transform(args).run { values =>
+              val (evidence :: returnedValues) = values;
               PushStack(Variable(transform(id), Type.Stack()),
-                Return(values.tail))
+                Return(returnedValues))
             }
           case _ =>
             Context.abort(s"Unsupported blocksymbol: $id")