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

   1 module { export = [main], features = [chr] }
   2 import "StandardLibrary"
   3
   4 ruleset RS where
   5     constraint X Integer
   6     -X ?value, X ?value => True
   7     X ?value => print "A \(?value)"
   8
   9 main :: ()
  10 main = ()
  11   where
  12     rs = createRS
  13     include RS rs
  14     X ?value => print "B \(?value)"
  15     True     => X 1
  16     True     => X 2
  17     True     => X 1
  18 --
  19 A 1
  20 B 1
  21 A 2
  22 B 2
  23 ()