tests/scl/CHR4.scl

   1 main = ()
   2   where
   3     when ?x <- ?y
   4     then True
   5 --
   6 3:10-3:18: Cannot solve the query.
   7 --
   8 import "Prelude"
   9
  10 main = getRef r
  11   where
  12     r = ref 1
  13
  14     when True
  15     then Foo ()
  16
  17     when Foo _
  18     then r := 2
  19 --
  20 2