diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 02:01:29 +0200 |
| commit | 7e9105793bd0d5ff7197a5860ac5339dea677e0e (patch) | |
| tree | fa003b495b78a8b5cb5e6505c72a32bc6e80e1b3 /testdata/language-features/adt/adt02.reject.out | |
| parent | a23ba9fced413f1b63640ba9bd81686a7eb59ee1 (diff) | |
switch to ansi-wl-pprint
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 | ||