Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174)

PR #174bis
2026-04-22 11:19:32 -06:00 · 2025-08-02 20:26:36 +02:00
parent f1a72a066f 703b1e5d92
commit 2324fe795c
5 changed files with 26 additions and 4 deletions
--- 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