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