]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR6.scl
Supply SVG text editor with element measurement context
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHR6.scl
1 module { export = [main], features = [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 ()