summaryrefslogtreecommitdiff
path: root/testdata/language-features/adt
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/adt')
-rw-r--r--testdata/language-features/adt/adt02.reject.out12
-rw-r--r--testdata/language-features/adt/gadt01.reject.out4
-rw-r--r--testdata/language-features/adt/gadt03.reject.out22
-rw-r--r--testdata/language-features/adt/gadt04.reject.out38
4 files changed, 38 insertions, 38 deletions
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index ab363b68..34674b0a 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -7,10 +7,10 @@ in proj
7 7
8------------ trace 8------------ trace
9'Data3 :: Type 9'Data3 :: Type
10Data3 :: 'Bool -> 'Char -> 'Bool->'Data3 10Data3 :: 'Bool -> 'Char -> 'Bool -> 'Data3
11Data31 :: 'Int -> 'String -> 'Int->'Data3 11Data31 :: 'Int -> 'String -> 'Int -> 'Data3
12'Data3Case :: (a : 'Data3->Type) -> ((b:'Bool) -> (c:'Char) -> (d:'Bool) -> a (Data3 b c d)) -> ((e:'Int) -> (f:'String) -> (g:'Int) -> a (Data31 e f g)) -> (h:'Data3) -> a h 12'Data3Case :: (a :: 'Data3 -> Type) -> ((b :: 'Bool) -> (c :: 'Char) -> (d :: 'Bool) -> a (Data3 b c d)) -> ((e :: 'Int) -> (f :: 'String) -> (g :: 'Int) -> a (Data31 e f g)) -> (h :: 'Data3) -> a h
13match'Data3 :: (a : Type->Type) -> a 'Data3 -> (b:Type) -> a b -> a b 13match'Data3 :: (a :: Type -> Type) -> a 'Data3 -> (b :: Type) -> a b -> a b
14!type error: can not unify 14!type error: can not unify
15'Bool 15'Bool
16with 16with
@@ -23,11 +23,11 @@ testdata/language-features/adt/adt02.reject.lc 2:6-2:11 Type
23testdata/language-features/adt/adt02.reject.lc 2:6-5:25 Type 23testdata/language-features/adt/adt02.reject.lc 2:6-5:25 Type
24testdata/language-features/adt/adt02.reject.lc 2:6-7:11 Type 24testdata/language-features/adt/adt02.reject.lc 2:6-7:11 Type
25testdata/language-features/adt/adt02.reject.lc 2:6-10:20 Type 25testdata/language-features/adt/adt02.reject.lc 2:6-10:20 Type
26testdata/language-features/adt/adt02.reject.lc 3:5-3:10 Bool -> Char -> Bool->Data3 | Data3 | Type 26testdata/language-features/adt/adt02.reject.lc 3:5-3:10 Bool -> Char -> Bool -> Data3 | Data3 | Type
27testdata/language-features/adt/adt02.reject.lc 3:21-3:25 Type 27testdata/language-features/adt/adt02.reject.lc 3:21-3:25 Type
28testdata/language-features/adt/adt02.reject.lc 4:21-4:25 Type 28testdata/language-features/adt/adt02.reject.lc 4:21-4:25 Type
29testdata/language-features/adt/adt02.reject.lc 5:21-5:25 Type 29testdata/language-features/adt/adt02.reject.lc 5:21-5:25 Type
30testdata/language-features/adt/adt02.reject.lc 7:5-7:11 Data3 | Int -> String -> Int->Data3 | Type 30testdata/language-features/adt/adt02.reject.lc 7:5-7:11 Data3 | Int -> String -> Int -> Data3 | Type
31testdata/language-features/adt/adt02.reject.lc 8:17-8:20 Type 31testdata/language-features/adt/adt02.reject.lc 8:17-8:20 Type
32testdata/language-features/adt/adt02.reject.lc 9:17-9:23 Type 32testdata/language-features/adt/adt02.reject.lc 9:17-9:23 Type
33testdata/language-features/adt/adt02.reject.lc 10:17-10:20 Type 33testdata/language-features/adt/adt02.reject.lc 10:17-10:20 Type
diff --git a/testdata/language-features/adt/gadt01.reject.out b/testdata/language-features/adt/gadt01.reject.out
index 39a78fe6..5d7c98fd 100644
--- a/testdata/language-features/adt/gadt01.reject.out
+++ b/testdata/language-features/adt/gadt01.reject.out
@@ -1,8 +1,8 @@
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 Type -> String -> Type
7testdata/language-features/adt/gadt01.reject.lc 5:15-5:19 Type 7testdata/language-features/adt/gadt01.reject.lc 5:15-5:19 Type
8testdata/language-features/adt/gadt01.reject.lc 5:27-5:33 Type 8testdata/language-features/adt/gadt01.reject.lc 5:27-5:33 Type
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out
index da32d15b..9d9361c0 100644
--- a/testdata/language-features/adt/gadt03.reject.out
+++ b/testdata/language-features/adt/gadt03.reject.out
@@ -1,29 +1,29 @@
1illegal data definition (parameters are not uniform) 1illegal data definition (parameters are not uniform)
2------------ trace 2------------ trace
3'M2 :: Type -> 'String->Type 3'M2 :: Type -> 'String -> Type
4Value2 :: {a} -> a -> {b:'String} -> 'M2 a b 4Value2 :: forall a . a -> forall (b :: 'String) . 'M2 a b
5'M2Case :: {a} -> (b : (c:'String) -> 'M2 a c -> Type) -> ((d:a) -> {e:'String} -> b e (Value2 d e)) -> {f:'String} -> (g : 'M2 a f) -> b f g 5'M2Case :: forall a . (b :: (c :: 'String) -> 'M2 a c -> Type) -> ((d :: a) -> forall (e :: 'String) . b e (Value2 d e)) -> forall (f :: 'String) . (g :: 'M2 a f) -> b f g
6match'M2 :: (a : Type->Type) -> ((b:Type) -> (c:'String) -> a ('M2 b c)) -> (d:Type) -> a d -> a d 6match'M2 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'String) -> a ('M2 b c)) -> (d :: Type) -> a d -> a d
7'M3 :: Type -> 'String->Type 7'M3 :: Type -> 'String -> Type
8!illegal data definition (parameters are not uniform) 8!illegal data definition (parameters are not uniform)
9------------ tooltips 9------------ tooltips
10testdata/language-features/adt/gadt03.reject.lc 2:6-2:8 Type | Type -> String->Type 10testdata/language-features/adt/gadt03.reject.lc 2:6-2:8 Type | Type -> String -> Type
11testdata/language-features/adt/gadt03.reject.lc 2:6-3:35 Type 11testdata/language-features/adt/gadt03.reject.lc 2:6-3:35 Type
12testdata/language-features/adt/gadt03.reject.lc 2:15-2:19 Type 12testdata/language-features/adt/gadt03.reject.lc 2:15-2:19 Type
13testdata/language-features/adt/gadt03.reject.lc 2:24-2:30 Type 13testdata/language-features/adt/gadt03.reject.lc 2:24-2:30 Type
14testdata/language-features/adt/gadt03.reject.lc 2:24-2:38 Type 14testdata/language-features/adt/gadt03.reject.lc 2:24-2:38 Type
15testdata/language-features/adt/gadt03.reject.lc 2:34-2:38 Type 15testdata/language-features/adt/gadt03.reject.lc 2:34-2:38 Type
16testdata/language-features/adt/gadt03.reject.lc 3:3-3:9 M2 d_ a_ | {a} -> a -> {b:String} -> M2 a b 16testdata/language-features/adt/gadt03.reject.lc 3:3-3:9 M2 _d _a | forall a . a -> forall (b :: String) . M2 a b
17testdata/language-features/adt/gadt03.reject.lc 3:3-3:35 Type 17testdata/language-features/adt/gadt03.reject.lc 3:3-3:35 Type
18testdata/language-features/adt/gadt03.reject.lc 3:13-3:14 Type 18testdata/language-features/adt/gadt03.reject.lc 3:13-3:14 Type
19testdata/language-features/adt/gadt03.reject.lc 3:13-3:35 Type 19testdata/language-features/adt/gadt03.reject.lc 3:13-3:35 Type
20testdata/language-features/adt/gadt03.reject.lc 3:18-3:35 Type 20testdata/language-features/adt/gadt03.reject.lc 3:18-3:35 Type
21testdata/language-features/adt/gadt03.reject.lc 3:29-3:31 Type -> String->Type 21testdata/language-features/adt/gadt03.reject.lc 3:29-3:31 Type -> String -> Type
22testdata/language-features/adt/gadt03.reject.lc 3:29-3:33 String->Type 22testdata/language-features/adt/gadt03.reject.lc 3:29-3:33 String -> Type
23testdata/language-features/adt/gadt03.reject.lc 3:29-3:35 Type 23testdata/language-features/adt/gadt03.reject.lc 3:29-3:35 Type
24testdata/language-features/adt/gadt03.reject.lc 3:32-3:33 Type 24testdata/language-features/adt/gadt03.reject.lc 3:32-3:33 Type
25testdata/language-features/adt/gadt03.reject.lc 3:34-3:35 String | b_ 25testdata/language-features/adt/gadt03.reject.lc 3:34-3:35 String | _b
26testdata/language-features/adt/gadt03.reject.lc 5:6-5:8 Type -> String->Type 26testdata/language-features/adt/gadt03.reject.lc 5:6-5:8 Type -> String -> Type
27testdata/language-features/adt/gadt03.reject.lc 5:15-5:19 Type 27testdata/language-features/adt/gadt03.reject.lc 5:15-5:19 Type
28testdata/language-features/adt/gadt03.reject.lc 5:24-5:30 Type 28testdata/language-features/adt/gadt03.reject.lc 5:24-5:30 Type
29testdata/language-features/adt/gadt03.reject.lc 5:24-5:38 Type 29testdata/language-features/adt/gadt03.reject.lc 5:24-5:38 Type
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 20:26:04 +0000