New type class MonadE and corresponding monad syntax with edo keyword

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / expressions / block / GuardStatement.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java
index 557dbbc882b66bd6dccf8bfa6bc0ca79395a30db..0089e935905635ad71914b4349e246147a548d88 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/GuardStatement.java
@@ -18,10 +18,10 @@ public class GuardStatement extends Statement {
     }
 
     @Override
-    public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) {
-        if(monadic) {
+    public Expression toExpression(EnvironmentalContext context, BlockType blockType, Expression in) {
+        if(blockType != BlockType.Normal) {
             Variable var = new Variable("_");
-            return new EBind(location, new EVariable(location, var), value, in);
+            return new EBind(location, blockType, new EVariable(location, var), value, in);
         }
         else
             return new ESimpleLet(location, null, value, in);