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/data.out | |
parent | a23ba9fced413f1b63640ba9bd81686a7eb59ee1 (diff) |
switch to ansi-wl-pprint
Diffstat (limited to 'testdata/data.out')
-rw-r--r-- | testdata/data.out | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/testdata/data.out b/testdata/data.out index 1dddf3f4..1581a0c0 100644 --- a/testdata/data.out +++ b/testdata/data.out | |||
@@ -1,31 +1,31 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | 'Data0 :: [32mType[39m[K | 3 | 'Data0 :: [32mType[0m |
4 | Data0 :: [32m'Data0[39m[K | 4 | Data0 :: [32m'Data0[0m |
5 | 'Data0Case :: [32m(a : 'Data0->Type) -> a Data0 -> (b:'Data0) -> a b[39m[K | 5 | 'Data0Case :: [32m([32ma[0;32m : 'Data0->Type) -> [32m[32ma[0;32m [32mData0[0;32m[0;32m -> ([32mb[0;32m:'Data0) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
6 | match'Data0 :: [32m(a : Type->Type) -> a 'Data0 -> (b:Type) -> a b -> a b[39m[K | 6 | match'Data0 :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'Data0[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 |
7 | 'Data1 :: [32mType -> Type -> Type->Type[39m[K | 7 | 'Data1 :: [32mType -> Type -> Type->Type[0m |
8 | Data1 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c[39m[K | 8 | Data1 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> 'Data1 [32ma[0;32m [32mb[0;32m [32mc[0;32m[0m |
9 | 'Data1Case :: [32m{a} -> {b} -> {c} -> (d : 'Data1 a b c -> Type) -> ((e:a) -> (f:b) -> (g:c) -> d (Data1 e f g)) -> (h : 'Data1 a b c) -> d h[39m[K | 9 | 'Data1Case :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> ([32md[0;32m : 'Data1 [32ma[0;32m [32mb[0;32m [32mc[0;32m -> Type) -> (([32me[0;32m:[32ma[0;32m) -> ([32mf[0;32m:[32mb[0;32m) -> ([32mg[0;32m:[32mc[0;32m) -> [32m[32md[0;32m [32m(Data1 [32me[0;32m [32mf[0;32m [32mg[0;32m)[0;32m[0;32m) -> ([32mh[0;32m : 'Data1 [32ma[0;32m [32mb[0;32m [32mc[0;32m) -> [32m[32md[0;32m [32m[32mh[0;32m[0;32m[0;32m[0m |
10 | match'Data1 :: [32m(a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data1 b c d)) -> (e:Type) -> a e -> a e[39m[K | 10 | match'Data1 :: [32m([32ma[0;32m : Type->Type) -> (([32mb[0;32m:Type) -> ([32mc[0;32m:Type) -> ([32md[0;32m:Type) -> [32m[32ma[0;32m [32m('Data1 [32mb[0;32m [32mc[0;32m [32md[0;32m)[0;32m[0;32m) -> ([32me[0;32m:Type) -> [32m[32ma[0;32m [32m[32me[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32me[0;32m[0;32m[0;32m[0m |
11 | 'Data2 :: [32mType[39m[K | 11 | 'Data2 :: [32mType[0m |
12 | Data21 :: [32m'Int->'Data2[39m[K | 12 | Data21 :: [32m'Int->'Data2[0m |
13 | Data22 :: [32m'Int -> 'Int->'Data2[39m[K | 13 | Data22 :: [32m'Int -> 'Int->'Data2[0m |
14 | Data23 :: [32m'Int->'Data2[39m[K | 14 | Data23 :: [32m'Int->'Data2[0m |
15 | Data24 :: [32m'Data2[39m[K | 15 | Data24 :: [32m'Data2[0m |
16 | 'Data2Case :: [32m(a : 'Data2->Type) -> ((b:'Int) -> a (Data21 b)) -> ((c:'Int) -> (d:'Int) -> a (Data22 c d)) -> ((e:'Int) -> a (Data23 e)) -> a Data24 -> (f:'Data2) -> a f[39m[K | 16 | 'Data2Case :: [32m([32ma[0;32m : 'Data2->Type) -> (([32mb[0;32m:'Int) -> [32m[32ma[0;32m [32m(Data21 [32mb[0;32m)[0;32m[0;32m) -> (([32mc[0;32m:'Int) -> ([32md[0;32m:'Int) -> [32m[32ma[0;32m [32m(Data22 [32mc[0;32m [32md[0;32m)[0;32m[0;32m) -> (([32me[0;32m:'Int) -> [32m[32ma[0;32m [32m(Data23 [32me[0;32m)[0;32m[0;32m) -> [32m[32ma[0;32m [32mData24[0;32m[0;32m -> ([32mf[0;32m:'Data2) -> [32m[32ma[0;32m [32m[32mf[0;32m[0;32m[0;32m[0m |
17 | match'Data2 :: [32m(a : Type->Type) -> a 'Data2 -> (b:Type) -> a b -> a b[39m[K | 17 | match'Data2 :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'Data2[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 |
18 | x :: [32m'Data2->'Int[39m[K | 18 | x :: [32m'Data2->'Int[0m |
19 | y :: [32m'Data2->'Int[39m[K | 19 | y :: [32m'Data2->'Int[0m |
20 | 'Data5 :: [32mType -> Type -> Type->Type[39m[K | 20 | 'Data5 :: [32mType -> Type -> Type->Type[0m |
21 | Data51 :: [32m{a} -> {b} -> {c} -> a -> 'Data5 a b c[39m[K | 21 | Data51 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m[0m |
22 | Data52 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c[39m[K | 22 | Data52 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m[0m |
23 | Data53 :: [32m{a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c[39m[K | 23 | Data53 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> 'Int -> [32ma[0;32m -> 'Float -> [32mb[0;32m -> [32mc[0;32m -> 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m[0m |
24 | 'Data5Case :: [32m{a} -> {b} -> {c} -> (d : 'Data5 a b c -> Type) -> ((e:a) -> d (Data51 e)) -> ((f:a) -> (g:b) -> (h:c) -> d (Data52 f g h)) -> ((i:'Int) -> (j:a) -> (k:'Float) -> (l:b) -> (m:c) -> d (Data53 i j k l m)) -> (n : 'Data5 a b c) -> d n[39m[K | 24 | 'Data5Case :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> ([32md[0;32m : 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m -> Type) -> (([32me[0;32m:[32ma[0;32m) -> [32m[32md[0;32m [32m(Data51 [32me[0;32m)[0;32m[0;32m) -> (([32mf[0;32m:[32ma[0;32m) -> ([32mg[0;32m:[32mb[0;32m) -> ([32mh[0;32m:[32mc[0;32m) -> [32m[32md[0;32m [32m(Data52 [32mf[0;32m [32mg[0;32m [32mh[0;32m)[0;32m[0;32m) -> (([32mi[0;32m:'Int) -> ([32mj[0;32m:[32ma[0;32m) -> ([32mk[0;32m:'Float) -> ([32ml[0;32m:[32mb[0;32m) -> ([32mm[0;32m:[32mc[0;32m) -> [32m[32md[0;32m [32m(Data53 [32mi[0;32m [32mj[0;32m [32mk[0;32m [32ml[0;32m [32mm[0;32m)[0;32m[0;32m) -> ([32mn[0;32m : 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m) -> [32m[32md[0;32m [32m[32mn[0;32m[0;32m[0;32m[0m |
25 | match'Data5 :: [32m(a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data5 b c d)) -> (e:Type) -> a e -> a e[39m[K | 25 | match'Data5 :: [32m([32ma[0;32m : Type->Type) -> (([32mb[0;32m:Type) -> ([32mc[0;32m:Type) -> ([32md[0;32m:Type) -> [32m[32ma[0;32m [32m('Data5 [32mb[0;32m [32mc[0;32m [32md[0;32m)[0;32m[0;32m) -> ([32me[0;32m:Type) -> [32m[32ma[0;32m [32m[32me[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32me[0;32m[0;32m[0;32m[0m |
26 | a5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> a[39m[K | 26 | a5 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m -> [32ma[0;32m[0m |
27 | b5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> b[39m[K | 27 | b5 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m -> [32mb[0;32m[0m |
28 | c5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> c[39m[K | 28 | c5 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> 'Data5 [32ma[0;32m [32mb[0;32m [32mc[0;32m -> [32mc[0;32m[0m |
29 | ------------ tooltips | 29 | ------------ tooltips |
30 | testdata/data.lc 1:6-1:11 Type | 30 | testdata/data.lc 1:6-1:11 Type |
31 | testdata/data.lc 1:6-1:19 Type | 31 | testdata/data.lc 1:6-1:19 Type |