diff options
Diffstat (limited to 'testdata/language-features/adt/gadt04.reject.out')
-rw-r--r-- | testdata/language-features/adt/gadt04.reject.out | 8 |
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 @@ | |||
1 | already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3: | 1 | already 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 | ^^^^^ |
4 | and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: | 4 | and 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 |
18 | Value :: forall a . a -> forall (b :: String) . M2 a b | 18 | Value :: 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 | ^^^^^ |
22 | and at ./testdata/language-features/adt/gadt04.reject.lc:3:3: | 22 | and 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 |