-module {
- export = [main],
- chr
-}
-
+module { export = [main], features = [chr] }
import "StandardLibrary"
main = ()
where
X ?x => Y ?y
--
-10:15-10:17: New existential variables can be defined only in queries.
\ No newline at end of file
+6:15-6:17: New existential variables can be defined only in queries.
\ No newline at end of file