(refs #7307) Added features field to SCL module header
[simantics/platform.git] / 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 ()