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

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