summaryrefslogtreecommitdiff
path: root/testdata/language-features/adt/gadt04.reject.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/adt/gadt04.reject.out')
-rw-r--r--testdata/language-features/adt/gadt04.reject.out8
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index 515f2069..17c5a63b 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -1,7 +1,7 @@
1already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: 1already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
2 Value :: a -> forall m . M2 a m 2 Value :: a -> forall m . M2 a m
3 ^^^^^ 3 ^^^^^
4and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: 4and at testdata/language-features/adt/gadt04.reject.lc:3:3:
5 Value :: a -> forall m . M a m 5 Value :: a -> forall m . M a m
6 ^^^^^ 6 ^^^^^
7------------ trace 7------------ trace
@@ -16,10 +16,10 @@ match'M
16 -> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d 16 -> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d
17'M2 :: Type -> String -> Type 17'M2 :: Type -> String -> Type
18Value :: forall a . a -> forall (b :: String) . M2 a b 18Value :: forall a . a -> forall (b :: String) . M2 a b
19!already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: 19!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
20 Value :: a -> forall m . M2 a m 20 Value :: a -> forall m . M2 a m
21 ^^^^^ 21 ^^^^^
22and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: 22and at testdata/language-features/adt/gadt04.reject.lc:3:3:
23 Value :: a -> forall m . M a m 23 Value :: a -> forall m . M a m
24 ^^^^^ 24 ^^^^^
25------------ tooltips 25------------ tooltips