summaryrefslogtreecommitdiff
path: root/testdata/language-features/adt/gadt01.reject.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/adt/gadt01.reject.out')
-rw-r--r--testdata/language-features/adt/gadt01.reject.out11
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 @@
1illegal data definition (parameters are not uniform) 1illegal data definition (parameters are not uniform)
2------------ trace 2------------ trace
3'M3 :: Type -> String -> Type 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
6testdata/language-features/adt/gadt01.reject.lc 5:6-5:8 Type -> String -> Type 6testdata/language-features/adt/gadt01.reject.lc 5:6-5:8
7testdata/language-features/adt/gadt01.reject.lc 5:15-5:19 Type 7 Type -> String -> Type
8testdata/language-features/adt/gadt01.reject.lc 5:27-5:33 Type 8testdata/language-features/adt/gadt01.reject.lc 5:15-5:19
9 Type
10testdata/language-features/adt/gadt01.reject.lc 5:27-5:33
11 Type | Type \ No newline at end of file