From 4a369e272310fb5e500f83278a42f09ebc24d073 Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Fri, 3 Jan 2025 20:14:48 +0100 Subject: [PATCH] New error message. --- tests/shapes/funshape2.fut | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/shapes/funshape2.fut b/tests/shapes/funshape2.fut index 4fb6523f0f..dc17af92aa 100644 --- 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)