]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect3.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 / CHRSelect3.scl
1 module {
2     features = [chr]
3 }
4 import "StandardLibrary"
5
6 main = ()
7   where
8     constraint Edge Integer Integer
9   
10     True => Edge 2 3
11     True => Edge 1 2
12     True => Edge 3 4
13     
14     when -Edge ?x ?y
15          [] = select ?z where
16              Edge ?z ?x
17     then print "removed \(?x) \(?y)"
18 --
19 removed 1 2
20 removed 2 3
21 ()