]> gerrit.simantics Code Review - simantics/platform.git/commit
(refs #7508) Added missing effects in the simplification of EBind 76/1076/1
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 4 Oct 2017 19:24:31 +0000 (22:24 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 4 Oct 2017 19:24:31 +0000 (22:24 +0300)
commit2148e9b3fecb3385ac71f302eea7045cf370afe2
tree39fc564c9a423a541d9d99e39d42f11544c085e9
parentf9414daee0c65900deb73ab81a2d7f157c6bd5e4
(refs #7508) Added missing effects in the simplification of EBind

Change-Id: I648db6332ebc7d6501dd07c44271bab0b5ab7857
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EBind.java
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ELambda.java
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/MonadSyntax4.scl [new file with mode: 0644]