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

   1 module {
   2     features = [chr]
   3 }
   4 import "StandardLibrary"
   5
   6 main =
   7     select (?a,?b) where
   8         Foo ?a
   9         Bar ?b
  10   where
  11     True => Foo 1
  12     True => Foo 2
  13
  14     True => Bar 3
  15     True => Bar 4
  16 --
  17 [(2,4), (2,3), (1,4), (1,3)]