(refs #7377) Refactoring CHR query parsing

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHR3.scl

diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR3.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR3.scl
index 0bba5413dc824b1e7bada829c0ea81b881c2d6d1..98c3a4338aa639a517366f15532096f3490321d5 100644 (file)
--- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR3.scl
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR3.scl
@@ -1,11 +1,9 @@
-import "Prelude"\r
-\r
-main = ()\r
-  where\r
-    A ?x => print ?x\r
-    A ?x, not A (?x+1) => A (?x-1)\r
-    True => A 0\r
---\r
-()\r
-      \r
-\r
+import "Prelude"
+
+main = ()
+  where
+    A ?x => print ?x
+    A ?x, not A (?x+1) => A (?x-1)
+    True => A 0
+--
+6:11-6:23: CHR negation is not yet supported.
\ No newline at end of file