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

   1 module { export = [main], features = [chr] }
   2 import "Prelude"
   3
   4 main = ()
   5   where
   6     when Foo ?x
   7     then y = ?x + 1 :: Integer
   8          print y
   9
  10     when True
  11     then Foo 1
  12          Foo 2
  13 --
  14 3
  15 2
  16 ()