]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR4.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 / CHR4.scl
1 main = ()
2   where
3     when ?x <- ?y
4     then True
5 --
6 3:10-3:18: Cannot solve the query.
7 --
8 import "Prelude"
9
10 main = getRef r
11   where
12     r = ref 1
13   
14     when True
15     then Foo ()
16     
17     when Foo _
18     then r := 2
19 --
20 2