diff options
Diffstat (limited to 'testdata/language-features/adt/gadt01.reject.out')
-rw-r--r-- | testdata/language-features/adt/gadt01.reject.out | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/testdata/language-features/adt/gadt01.reject.out b/testdata/language-features/adt/gadt01.reject.out index 48732b7d..ce6834db 100644 --- a/testdata/language-features/adt/gadt01.reject.out +++ b/testdata/language-features/adt/gadt01.reject.out | |||
@@ -1,8 +1,11 @@ | |||
1 | illegal data definition (parameters are not uniform) | 1 | illegal data definition (parameters are not uniform) |
2 | ------------ trace | 2 | ------------ trace |
3 | 'M3 :: [32mType -> String -> Type[0m | 3 | 'M3 :: Type -> String -> Type |
4 | !illegal data definition (parameters are not uniform) | 4 | !illegal data definition (parameters are not uniform) |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/adt/gadt01.reject.lc 5:6-5:8 Type -> String -> Type | 6 | testdata/language-features/adt/gadt01.reject.lc 5:6-5:8 |
7 | testdata/language-features/adt/gadt01.reject.lc 5:15-5:19 Type | 7 | Type -> String -> Type |
8 | testdata/language-features/adt/gadt01.reject.lc 5:27-5:33 Type | 8 | testdata/language-features/adt/gadt01.reject.lc 5:15-5:19 |
9 | Type | ||
10 | testdata/language-features/adt/gadt01.reject.lc 5:27-5:33 | ||
11 | Type | Type \ No newline at end of file | ||