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.out38
1 files changed, 19 insertions, 19 deletions
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index a1aa694f..425f7213 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -5,12 +5,12 @@ already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
5 Value :: a -> forall m . M a m 5 Value :: a -> forall m . M a m
6 ^^^^^ 6 ^^^^^
7------------ trace 7------------ trace
8'M :: Type -> 'String->Type 8'M :: Type -> 'String -> Type
9Value :: {a} -> a -> {b:'String} -> 'M a b 9Value :: forall a . a -> forall (b :: 'String) . 'M a b
10'MCase :: (a : (b:Type) -> (c:'String) -> 'M b c -> Type) -> ({d} -> (e:d) -> {f:'String} -> a d f (Value d e f)) -> {g} -> {h:'String} -> (i : 'M g h) -> a g h i 10'MCase :: (a :: (b :: Type) -> (c :: 'String) -> 'M b c -> Type) -> (forall d . (e :: d) -> forall (f :: 'String) . a d f (Value d e f)) -> forall g (h :: 'String) . (i :: 'M g h) -> a g h i
11match'M :: (a : Type->Type) -> ((b:Type) -> (c:'String) -> a ('M b c)) -> (d:Type) -> a d -> a d 11match'M :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'String) -> a ('M b c)) -> (d :: Type) -> a d -> a d
12'M2 :: Type -> 'String->Type 12'M2 :: Type -> 'String -> Type
13Value :: {a} -> a -> {b:'String} -> 'M2 a b 13Value :: forall a . a -> forall (b :: 'String) . 'M2 a b
14!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: 14!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
15 Value :: a -> forall m . M2 a m 15 Value :: a -> forall m . M2 a m
16 ^^^^^ 16 ^^^^^
@@ -18,34 +18,34 @@ Value :: {a} -> a -> {b:'String} -> 'M2
18 Value :: a -> forall m . M a m 18 Value :: a -> forall m . M a m
19 ^^^^^ 19 ^^^^^
20------------ tooltips 20------------ tooltips
21testdata/language-features/adt/gadt04.reject.lc 2:6-2:7 Type | Type -> String->Type 21testdata/language-features/adt/gadt04.reject.lc 2:6-2:7 Type | Type -> String -> Type
22testdata/language-features/adt/gadt04.reject.lc 2:6-3:33 Type 22testdata/language-features/adt/gadt04.reject.lc 2:6-3:33 Type
23testdata/language-features/adt/gadt04.reject.lc 2:11-2:15 Type 23testdata/language-features/adt/gadt04.reject.lc 2:11-2:15 Type
24testdata/language-features/adt/gadt04.reject.lc 2:19-2:25 Type 24testdata/language-features/adt/gadt04.reject.lc 2:19-2:25 Type
25testdata/language-features/adt/gadt04.reject.lc 2:19-2:33 Type 25testdata/language-features/adt/gadt04.reject.lc 2:19-2:33 Type
26testdata/language-features/adt/gadt04.reject.lc 2:29-2:33 Type 26testdata/language-features/adt/gadt04.reject.lc 2:29-2:33 Type
27testdata/language-features/adt/gadt04.reject.lc 3:3-3:8 M c_ a_ | {a} -> a -> {b:String} -> M a b 27testdata/language-features/adt/gadt04.reject.lc 3:3-3:8 M _c _a | forall a . a -> forall (b :: String) . M a b
28testdata/language-features/adt/gadt04.reject.lc 3:3-3:33 Type 28testdata/language-features/adt/gadt04.reject.lc 3:3-3:33 Type
29testdata/language-features/adt/gadt04.reject.lc 3:12-3:13 b_ 29testdata/language-features/adt/gadt04.reject.lc 3:12-3:13 _b
30testdata/language-features/adt/gadt04.reject.lc 3:12-3:33 Type 30testdata/language-features/adt/gadt04.reject.lc 3:12-3:33 Type
31testdata/language-features/adt/gadt04.reject.lc 3:17-3:33 Type 31testdata/language-features/adt/gadt04.reject.lc 3:17-3:33 Type
32testdata/language-features/adt/gadt04.reject.lc 3:28-3:29 Type -> String->Type 32testdata/language-features/adt/gadt04.reject.lc 3:28-3:29 Type -> String -> Type
33testdata/language-features/adt/gadt04.reject.lc 3:28-3:31 String->Type 33testdata/language-features/adt/gadt04.reject.lc 3:28-3:31 String -> Type
34testdata/language-features/adt/gadt04.reject.lc 3:28-3:33 Type 34testdata/language-features/adt/gadt04.reject.lc 3:28-3:33 Type
35testdata/language-features/adt/gadt04.reject.lc 3:30-3:31 Type 35testdata/language-features/adt/gadt04.reject.lc 3:30-3:31 Type
36testdata/language-features/adt/gadt04.reject.lc 3:30-3:33 M c_ a_ -> Type 36testdata/language-features/adt/gadt04.reject.lc 3:30-3:33 M _c _a -> Type
37testdata/language-features/adt/gadt04.reject.lc 3:32-3:33 String | b_ 37testdata/language-features/adt/gadt04.reject.lc 3:32-3:33 String | _b
38testdata/language-features/adt/gadt04.reject.lc 5:6-5:8 Type -> String->Type 38testdata/language-features/adt/gadt04.reject.lc 5:6-5:8 Type -> String -> Type
39testdata/language-features/adt/gadt04.reject.lc 5:12-5:16 Type 39testdata/language-features/adt/gadt04.reject.lc 5:12-5:16 Type
40testdata/language-features/adt/gadt04.reject.lc 5:20-5:26 Type 40testdata/language-features/adt/gadt04.reject.lc 5:20-5:26 Type
41testdata/language-features/adt/gadt04.reject.lc 5:20-5:34 Type 41testdata/language-features/adt/gadt04.reject.lc 5:20-5:34 Type
42testdata/language-features/adt/gadt04.reject.lc 5:30-5:34 Type 42testdata/language-features/adt/gadt04.reject.lc 5:30-5:34 Type
43testdata/language-features/adt/gadt04.reject.lc 6:3-6:8 {a} -> a -> {b:String} -> M2 a b 43testdata/language-features/adt/gadt04.reject.lc 6:3-6:8 forall a . a -> forall (b :: String) . M2 a b
44testdata/language-features/adt/gadt04.reject.lc 6:12-6:13 b_ 44testdata/language-features/adt/gadt04.reject.lc 6:12-6:13 _b
45testdata/language-features/adt/gadt04.reject.lc 6:12-6:34 Type 45testdata/language-features/adt/gadt04.reject.lc 6:12-6:34 Type
46testdata/language-features/adt/gadt04.reject.lc 6:17-6:34 Type 46testdata/language-features/adt/gadt04.reject.lc 6:17-6:34 Type
47testdata/language-features/adt/gadt04.reject.lc 6:28-6:30 Type -> String->Type 47testdata/language-features/adt/gadt04.reject.lc 6:28-6:30 Type -> String -> Type
48testdata/language-features/adt/gadt04.reject.lc 6:28-6:32 String->Type 48testdata/language-features/adt/gadt04.reject.lc 6:28-6:32 String -> Type
49testdata/language-features/adt/gadt04.reject.lc 6:28-6:34 Type 49testdata/language-features/adt/gadt04.reject.lc 6:28-6:34 Type
50testdata/language-features/adt/gadt04.reject.lc 6:31-6:32 Type 50testdata/language-features/adt/gadt04.reject.lc 6:31-6:32 Type
51testdata/language-features/adt/gadt04.reject.lc 6:33-6:34 b_ 51testdata/language-features/adt/gadt04.reject.lc 6:33-6:34 _b
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 18:12:02 +0000