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

   1 module { export = [main], features = [chr] }
   2 import "StandardLibrary"
   3
   4 ruleset RS where
   5     constraint X Integer
   6     True => X 3
   7
   8 main = ()
   9   where
  10     include RS createRS
  11     -X ?value, ?value < 6 => print "X \(?value)", X (?value+1)
  12 --
  13 X 3
  14 X 4
  15 X 5
  16 ()