diff options
| author | Alasdair | 2019-11-01 01:49:13 +0000 |
|---|---|---|
| committer | Alasdair | 2019-11-01 01:51:42 +0000 |
| commit | 92a041233cc148fcfce2eccb43ae98a9b970de25 (patch) | |
| tree | 4170311779ac95a4517c26afb96af8929a6437e8 /test/typecheck | |
| parent | d61c5160a637479c264b74d8cefc5c0a67942795 (diff) | |
Add a missing well-formedness check
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/pass/existential_ast/v3.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/typecheck/pass/existential_ast/v3.expect b/test/typecheck/pass/existential_ast/v3.expect index e2823692..ca83adb9 100644 --- a/test/typecheck/pass/existential_ast/v3.expect +++ b/test/typecheck/pass/existential_ast/v3.expect @@ -3,5 +3,5 @@ Type error: 26[96m |[0m Some(Ctor1(a, x, c)) [91m |[0m [91m^------------^[0m [91m |[0m Could not resolve quantifiers for Ctor1 - [91m |[0m [94m*[0m datasize('ex270#) + [91m |[0m [94m*[0m datasize('ex273#) [91m |[0m |