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)