tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/Equality.scl

   1 import "Prelude"\r
   2 \r
   3 main = """\r
   4 \(newEq () ())\r
   5 \(newEq True True)\r
   6 \(newEq False False)\r
   7 \(newEq True False)\r
   8 \(newEq False True)\r
   9 \(newEq (1::Integer) (1::Integer))\r
  10 \(newEq (1::Integer) (2::Integer))\r
  11 \(newEq (1::Long) (1::Long))\r
  12 \(newEq (1::Long) (2::Long))\r
  13 \(newEq (1::Double) (1::Double))\r
  14 \(newEq (1::Double) (2::Double))\r
  15 \(newEq "a" "a")\r
  16 \(newEq "a" "b")\r
  17 \(newEq (Just "a") (Just "a"))\r
  18 \(newEq (Just "a") (Just "b"))\r
  19 \(newEq Nothing Nothing)\r
  20 \(newEq (Just "a") Nothing)\r
  21 \(newEq Nothing (Just "a"))\r
  22 """\r
  23 --\r
  24 True\r
  25 True\r
  26 True\r
  27 False\r
  28 False\r
  29 True\r
  30 False\r
  31 True\r
  32 False\r
  33 True\r
  34 False\r
  35 True\r
  36 False\r
  37 True\r
  38 False\r
  39 True\r
  40 False\r
  41 False