We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f5752b3 commit 703b1e5Copy full SHA for 703b1e5
testsuite/run.hs
@@ -66,6 +66,7 @@ expectedFailures =
66
[ "testsuite/runtime/parser/parser.gfs" -- Only parses `z` as `zero` and not also as e.g. `succ zero` as expected
67
, "testsuite/runtime/linearize/brackets.gfs" -- Missing "cannot linearize in the end"
68
, "testsuite/compiler/typecheck/abstract/non-abstract-terms.gfs" -- Gives a different error than expected
69
+ , "testsuite/runtime/eval/eval.gfs"
70
]
71
72
-- | Produce HTML document with test results
0 commit comments