diff options
Diffstat (limited to 'testdata/language-features/adt/adt02.reject.out')
-rw-r--r-- | testdata/language-features/adt/adt02.reject.out | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out index 4df48b2c..e07abac2 100644 --- a/testdata/language-features/adt/adt02.reject.out +++ b/testdata/language-features/adt/adt02.reject.out | |||
@@ -1,9 +1,9 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | 'Internals.lc:63:6: | 2 | <<installed-prelude-path>>/Internals.lc:63:6: |
3 | data Bool = False | True | 3 | data Bool = False | True |
4 | ^^^^ | 4 | ^^^^ |
5 | with | 5 | with |
6 | 'Internals.lc:58:6: | 6 | <<installed-prelude-path>>/Internals.lc:58:6: |
7 | data Int | 7 | data Int |
8 | ^^^ | 8 | ^^^ |
9 | in proj | 9 | in proj |
@@ -18,36 +18,36 @@ case'Data3 | |||
18 | -> forall (h :: Data3) -> a h | 18 | -> forall (h :: Data3) -> a h |
19 | match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b | 19 | match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b |
20 | !type error: can not unify | 20 | !type error: can not unify |
21 | 'Internals.lc:63:6: | 21 | <<installed-prelude-path>>/Internals.lc:63:6: |
22 | data Bool = False | True | 22 | data Bool = False | True |
23 | ^^^^ | 23 | ^^^^ |
24 | with | 24 | with |
25 | 'Internals.lc:58:6: | 25 | <<installed-prelude-path>>/Internals.lc:58:6: |
26 | data Int | 26 | data Int |
27 | ^^^ | 27 | ^^^ |
28 | in proj | 28 | in proj |
29 | ------------ tooltips | 29 | ------------ tooltips |
30 | adt02.reject.lc 2:6-2:11 | 30 | 2:6-2:11 |
31 | Type | Type | Type | Type | Type | Type | Type | Type | 31 | Type | Type | Type | Type | Type | Type | Type | Type |
32 | adt02.reject.lc 2:6-5:25 | 32 | 2:6-5:25 |
33 | Type | Type | 33 | Type | Type |
34 | adt02.reject.lc 2:6-7:11 | 34 | 2:6-7:11 |
35 | Type | Type | 35 | Type | Type |
36 | adt02.reject.lc 2:6-10:20 | 36 | 2:6-10:20 |
37 | Type | Type | 37 | Type | Type |
38 | adt02.reject.lc 3:5-3:10 | 38 | 3:5-3:10 |
39 | Bool -> Char -> Bool -> Data3 | Data3 | Type | Type | Type | Type | 39 | Bool -> Char -> Bool -> Data3 | Data3 | Type | Type | Type | Type |
40 | adt02.reject.lc 3:21-3:25 | 40 | 3:21-3:25 |
41 | Type | 41 | Type |
42 | adt02.reject.lc 4:21-4:25 | 42 | 4:21-4:25 |
43 | Type | 43 | Type |
44 | adt02.reject.lc 5:21-5:25 | 44 | 5:21-5:25 |
45 | Type | 45 | Type |
46 | adt02.reject.lc 7:5-7:11 | 46 | 7:5-7:11 |
47 | Int -> String -> Int -> Data3 | Data3 | Type | Type | Type | Type | 47 | Int -> String -> Int -> Data3 | Data3 | Type | Type | Type | Type |
48 | adt02.reject.lc 8:17-8:20 | 48 | 8:17-8:20 |
49 | Type | 49 | Type |
50 | adt02.reject.lc 9:17-9:23 | 50 | 9:17-9:23 |
51 | Type | 51 | Type |
52 | adt02.reject.lc 10:17-10:20 | 52 | 10:17-10:20 |
53 | Type \ No newline at end of file | 53 | Type \ No newline at end of file |