diff options
| author | Alasdair Armstrong | 2019-01-08 17:08:34 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-01-08 17:11:48 +0000 |
| commit | eb837a0ae70ef5dc8a2a3a28d59a736c57a952b3 (patch) | |
| tree | 96f3fcfde01cc6798d00c969be4363c2bf055b38 /test | |
| parent | 36d876fd74d8fdcb9bb54a4c0aa220f0ab14e5da (diff) | |
Improvements for v85
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/exist_synonym/v4.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/typecheck/pass/exist_synonym/v4.expect b/test/typecheck/pass/exist_synonym/v4.expect index 1cbc3df8..abb232cb 100644 --- a/test/typecheck/pass/exist_synonym/v4.expect +++ b/test/typecheck/pass/exist_synonym/v4.expect @@ -1,3 +1,3 @@ Type error: -Could not prove constraints (0 <= 'n & ('n + 1) <= 32) in type synonym int('n) with (0 <= 2 & 2 <= 4), (0 <= '_x & '_x <= 8), (0 <= '_x#0 & '_x#0 <= 8) +Could not prove constraints (0 <= 'n & ('n + 1) <= 32) in type synonym int('n) with (0 <= '_x & '_x <= 8), (0 <= '_x#0 & '_x#0 <= 8) |