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 / BindStatement.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.java
index 654ff1093f1fb6192425a2d0b0d3b296dcea1e39..22f7f39078e83720dda5947b2c99f3a3bfce249f 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/BindStatement.java
@@ -17,10 +17,8 @@ public class BindStatement extends Statement {
     }
 
     @Override
-    public Expression toExpression(EnvironmentalContext context, boolean monadic, Expression in) {
-        //if(!monadic)
-        //    context.getErrorLog().log(location, "Bind statements are allowed only in mdo-blocks.");
-        return new EBind(location, pattern, value, in);
+    public Expression toExpression(EnvironmentalContext context, BlockType blockType, Expression in) {
+        return new EBind(location, blockType, pattern, value, in);
     }
     
     @Override