CHR12.scl

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