From 703b1e5d925a7e497f98f18b26bb16e7ca0f95b2 Mon Sep 17 00:00:00 2001 From: Arianna Masciolini Date: Sat, 2 Aug 2025 20:18:28 +0200 Subject: [PATCH] add eval.gfs to expected failures --- testsuite/run.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/testsuite/run.hs b/testsuite/run.hs index f8e6bf49f..287665fd4 100644 --- a/testsuite/run.hs +++ b/testsuite/run.hs @@ -66,6 +66,7 @@ expectedFailures = [ "testsuite/runtime/parser/parser.gfs" -- Only parses `z` as `zero` and not also as e.g. `succ zero` as expected , "testsuite/runtime/linearize/brackets.gfs" -- Missing "cannot linearize in the end" , "testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs" -- Gives a different error than expected + , "testsuite/runtime/eval/eval.gfs" ] -- | Produce HTML document with test results