]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Deriving3.scl
Supply SVG text editor with element measurement context
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / Deriving3.scl
1 import "Prelude"
2
3 a,b,c,d :: Either Boolean Boolean
4 a = Left False
5 b = Left True 
6 c = Right False
7 d = Right True
8
9 main = a == a
10     && a < b
11     && a < c
12     && a < d
13     
14     && b > a
15     && b == b
16     && b < c
17     && b < d
18
19     && c > a
20     && c > b
21     && c == c
22     && c < d
23
24     && d > a
25     && d > b
26     && d > c
27     && d == d
28 --
29 true