New error message.

diku-dk · Jan 3, 2025 · 4a369e2 · 4a369e2
1 parent 024e3cc
commit 4a369e2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/shapes/funshape2.fut b/tests/shapes/funshape2.fut
@@ -1,4 +1,4 @@
 -- ==
--- error: scope violation
+-- error: causality
 
-def main xs = (\f' -> f' (filter (>0) xs)) (\_ -> 0)
+def main xs = (\f' -> f' (filter (> 0) xs)) (\_ -> 0)