]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Equality.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 / Equality.scl
1 import "Prelude"
2
3 newEq = (==)
4
5 main = """
6 \(newEq () ())
7 \(newEq True True)
8 \(newEq False False)
9 \(newEq True False)
10 \(newEq False True)
11 \(newEq (1::Integer) (1::Integer))
12 \(newEq (1::Integer) (2::Integer))
13 \(newEq (1::Long) (1::Long))
14 \(newEq (1::Long) (2::Long))
15 \(newEq (1::Double) (1::Double))
16 \(newEq (1::Double) (2::Double))
17 \(newEq "a" "a")
18 \(newEq "a" "b")
19 \(newEq (Just "a") (Just "a"))
20 \(newEq (Just "a") (Just "b"))
21 \(newEq Nothing Nothing)
22 \(newEq (Just "a") Nothing)
23 \(newEq Nothing (Just "a"))
24 """
25 --
26 True
27 True
28 True
29 False
30 False
31 True
32 False
33 True
34 False
35 True
36 False
37 True
38 False
39 True
40 False
41 True
42 False
43 False