Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.scl.compiler / tests / org / simantics / scl / compiler / tests / scl / Deriving3.scl

diff --git a/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Deriving3.scl b/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Deriving3.scl
new file mode 100644 (file)
index 0000000..ec2f5b7
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/tests/org/simantics/scl/compiler/tests/scl/Deriving3.scl
@@ -0,0 +1,29 @@
+import "Prelude"\r
+\r
+a,b,c,d :: Either Boolean Boolean\r
+a = Left False\r
+b = Left True \r
+c = Right False\r
+d = Right True\r
+\r
+main = a == a\r
+    && a < b\r
+    && a < c\r
+    && a < d\r
+    \r
+    && b > a\r
+    && b == b\r
+    && b < c\r
+    && b < d\r
+\r
+    && c > a\r
+    && c > b\r
+    && c == c\r
+    && c < d\r
+\r
+    && d > a\r
+    && d > b\r
+    && d > c\r
+    && d == d\r
+--\r
+true
\ No newline at end of file