b10257ca89a4144dcfbb75fbf001c6e129d918b4
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHR7.scl
1 module { export = [main], 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 ()