]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR8.scl
ce3064aa427359a46dd24c47126a636853fa9bcb
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHR8.scl
1 module {
2     export = [main],
3     chr
4 }
5
6 import "StandardLibrary"
7
8 main = ()
9   where
10     X ?x => Y ?y
11 --
12 10:15-10:17: New existential variables can be defined only in queries.