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

   1 import "Prelude"\r
   2 \r
   3 a,b,c,d :: Either Boolean Boolean\r
   4 a = Left False\r
   5 b = Left True \r
   6 c = Right False\r
   7 d = Right True\r
   8 \r
   9 main = a == a\r
  10     && a < b\r
  11     && a < c\r
  12     && a < d\r
  13     \r
  14     && b > a\r
  15     && b == b\r
  16     && b < c\r
  17     && b < d\r
  18 \r
  19     && c > a\r
  20     && c > b\r
  21     && c == c\r
  22     && c < d\r
  23 \r
  24     && d > a\r
  25     && d > b\r
  26     && d > c\r
  27     && d == d\r
  28 --\r
  29 true