migrated to svn revision 33108

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

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ESimpleLet.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ESimpleLet.java
index 53984840d65ca851ecceec5a82c63a5e7f633772..8e73b2392fd3add380c8e656df2eae19777c2211 100755 (executable)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ESimpleLet.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ESimpleLet.java
@@ -141,7 +141,7 @@ public class ESimpleLet extends Expression {
 \r
     private void checkBinding(TypingContext context) {\r
         if(variable == null)\r
 \r
     private void checkBinding(TypingContext context) {\r
         if(variable == null)\r

-            value = value.inferType(context);\r
+            value = value.checkIgnoredType(context);\r

         else if(variable.getType() == null) {\r
             value = value.inferType(context);\r
             variable.setType(value.getType());\r
         else if(variable.getType() == null) {\r
             value = value.inferType(context);\r
             variable.setType(value.getType());\r


@@ -168,6 +168,13 @@ public class ESimpleLet extends Expression {
         in = in.checkType(context, requiredType);\r
         return this;\r
     }\r
         in = in.checkType(context, requiredType);\r
         return this;\r
     }\r

+    \r
+    @Override\r
+    public Expression checkIgnoredType(TypingContext context) {\r
+        checkBinding(context);\r
+        in = in.checkIgnoredType(context);\r
+        return this;\r
+    }\r

 \r
     @Override\r
     public Expression decorate(ExpressionDecorator decorator) {\r
 \r
     @Override\r
     public Expression decorate(ExpressionDecorator decorator) {\r