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