diff options
| author | Arianna Masciolini <uzkamascio@gmail.com> | 2025-08-02 20:26:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-02 20:26:36 +0200 |
| commit | 2324fe795c5eb0106c0f29940df43405104ce243 (patch) | |
| tree | a0069f9dc355b80206171a9e46ff9f172936fb28 /testsuite/run.hs | |
| parent | f1a72a066ffd34ec2b7f597bc314137908dfc64c (diff) | |
| parent | 703b1e5d925a7e497f98f18b26bb16e7ca0f95b2 (diff) | |
Merge pull request #181 from GrammaticalFramework/pr-174bis (also close #174)
PR #174bis
Diffstat (limited to 'testsuite/run.hs')
| -rw-r--r-- | testsuite/run.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |