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