]> gerrit.simantics Code Review - simantics/platform.git/blob - tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR8.scl
Fixed multiple issues causing dangling references to discarded queries
[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHR8.scl
1 module { export = [main], features = [chr] }
2 import "StandardLibrary"
3
4 main = ()
5   where
6     X ?x => Y ?y
7 --
8 6:7-6:9: Existential variable ?x is referred only once. Replace by _ if this is a wildcard.
9 6:15-6:17: New existential variables can be defined only in queries.