X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FIfBranchesWithDifferentTypes.scl;fp=tests%2Forg.simantics.scl.compiler.tests%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Ftests%2Fscl%2FIfBranchesWithDifferentTypes.scl;h=97ce61f965da20c21918610175a10a4c2be6b6cd;hp=0000000000000000000000000000000000000000;hb=52b3c02e20d817f124f9024bd3f40518d19cbe94;hpb=b50d1ae1caae9706ebc9e24ce36bf1dfa5d6915f

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/IfBranchesWithDifferentTypes.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/IfBranchesWithDifferentTypes.scl
new file mode 100644
index 000000000..97ce61f96
--- /dev/null
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/IfBranchesWithDifferentTypes.scl
@@ -0,0 +1,15 @@
+import "StandardLibrary"
+
+find a = a
+foo x = True
+
+main = iter (\x -> do
+    if x == "A"
+    then foo $ find 23
+    else ()
+    ()
+  ) ["x"]
+ where
+  set = MSet.create () 
+--
+()
\ No newline at end of file