diff options
Diffstat (limited to 'testdata/language-features/adt/adt02.reject.out')
-rw-r--r-- | testdata/language-features/adt/adt02.reject.out | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out index 48ca3cb9..ab363b68 100644 --- a/testdata/language-features/adt/adt02.reject.out +++ b/testdata/language-features/adt/adt02.reject.out | |||
@@ -1,20 +1,20 @@ | |||
1 | type error: can not unify | 1 | type error: can not unify |
2 | [32m'Bool[m | 2 | [32m'Bool[0m |
3 | with | 3 | with |
4 | [32m'Int[m | 4 | [32m'Int[0m |
5 | 5 | ||
6 | in proj | 6 | in proj |
7 | 7 | ||
8 | ------------ trace | 8 | ------------ trace |
9 | 'Data3 :: [32mType[39m[K | 9 | 'Data3 :: [32mType[0m |
10 | Data3 :: [32m'Bool -> 'Char -> 'Bool->'Data3[39m[K | 10 | Data3 :: [32m'Bool -> 'Char -> 'Bool->'Data3[0m |
11 | Data31 :: [32m'Int -> 'String -> 'Int->'Data3[39m[K | 11 | Data31 :: [32m'Int -> 'String -> 'Int->'Data3[0m |
12 | 'Data3Case :: [32m(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[39m[K | 12 | 'Data3Case :: [32m([32ma[0;32m : 'Data3->Type) -> (([32mb[0;32m:'Bool) -> ([32mc[0;32m:'Char) -> ([32md[0;32m:'Bool) -> [32m[32ma[0;32m [32m(Data3 [32mb[0;32m [32mc[0;32m [32md[0;32m)[0;32m[0;32m) -> (([32me[0;32m:'Int) -> ([32mf[0;32m:'String) -> ([32mg[0;32m:'Int) -> [32m[32ma[0;32m [32m(Data31 [32me[0;32m [32mf[0;32m [32mg[0;32m)[0;32m[0;32m) -> ([32mh[0;32m:'Data3) -> [32m[32ma[0;32m [32m[32mh[0;32m[0;32m[0;32m[0m |
13 | match'Data3 :: [32m(a : Type->Type) -> a 'Data3 -> (b:Type) -> a b -> a b[39m[K | 13 | match'Data3 :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'Data3[0;32m[0;32m -> ([32mb[0;32m:Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
14 | !type error: can not unify | 14 | !type error: can not unify |
15 | [32m'Bool[m | 15 | [32m'Bool[0m |
16 | with | 16 | with |
17 | [32m'Int[m | 17 | [32m'Int[0m |
18 | 18 | ||
19 | in proj | 19 | in proj |
20 | 20 | ||