diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:55:25 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:55:25 +0200 |
| commit | 08faa2226162892a8f055fa3cb5d8547a3f90bf5 (patch) | |
| tree | df5b1693524bbfdb881856a23d0d4c5851ddbf7c /testdata/data.out | |
| parent | 4f17b186afdd0b076d3efc06fe844e1f547b805a (diff) | |
always show parens
Diffstat (limited to 'testdata/data.out')
| -rw-r--r-- | testdata/data.out | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testdata/data.out b/testdata/data.out index 4613e04f..1dddf3f4 100644 --- a/testdata/data.out +++ b/testdata/data.out | |||
| @@ -2,27 +2,27 @@ main is not found | |||
| 2 | ------------ trace | 2 | ------------ trace |
| 3 | 'Data0 :: [32mType[39m[K | 3 | 'Data0 :: [32mType[39m[K |
| 4 | Data0 :: [32m'Data0[39m[K | 4 | Data0 :: [32m'Data0[39m[K |
| 5 | 'Data0Case :: [32m(a : 'Data0->Type) -> a Data0 -> b:'Data0 -> a b[39m[K | 5 | 'Data0Case :: [32m(a : 'Data0->Type) -> a Data0 -> (b:'Data0) -> a b[39m[K |
| 6 | match'Data0 :: [32m(a : Type->Type) -> a 'Data0 -> b:Type -> a b -> a b[39m[K | 6 | match'Data0 :: [32m(a : Type->Type) -> a 'Data0 -> (b:Type) -> a b -> a b[39m[K |
| 7 | 'Data1 :: [32mType -> Type -> Type->Type[39m[K | 7 | 'Data1 :: [32mType -> Type -> Type->Type[39m[K |
| 8 | Data1 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c[39m[K | 8 | Data1 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c[39m[K |
| 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{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 |
| 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(a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data1 b c d)) -> (e:Type) -> a e -> a e[39m[K |
| 11 | 'Data2 :: [32mType[39m[K | 11 | 'Data2 :: [32mType[39m[K |
| 12 | Data21 :: [32m'Int->'Data2[39m[K | 12 | Data21 :: [32m'Int->'Data2[39m[K |
| 13 | Data22 :: [32m'Int -> 'Int->'Data2[39m[K | 13 | Data22 :: [32m'Int -> 'Int->'Data2[39m[K |
| 14 | Data23 :: [32m'Int->'Data2[39m[K | 14 | Data23 :: [32m'Int->'Data2[39m[K |
| 15 | Data24 :: [32m'Data2[39m[K | 15 | Data24 :: [32m'Data2[39m[K |
| 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(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 |
| 17 | match'Data2 :: [32m(a : Type->Type) -> a 'Data2 -> b:Type -> a b -> a b[39m[K | 17 | match'Data2 :: [32m(a : Type->Type) -> a 'Data2 -> (b:Type) -> a b -> a b[39m[K |
| 18 | x :: [32m'Data2->'Int[39m[K | 18 | x :: [32m'Data2->'Int[39m[K |
| 19 | y :: [32m'Data2->'Int[39m[K | 19 | y :: [32m'Data2->'Int[39m[K |
| 20 | 'Data5 :: [32mType -> Type -> Type->Type[39m[K | 20 | 'Data5 :: [32mType -> Type -> Type->Type[39m[K |
| 21 | Data51 :: [32m{a} -> {b} -> {c} -> a -> 'Data5 a b c[39m[K | 21 | Data51 :: [32m{a} -> {b} -> {c} -> a -> 'Data5 a b c[39m[K |
| 22 | Data52 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c[39m[K | 22 | Data52 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c[39m[K |
| 23 | Data53 :: [32m{a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c[39m[K | 23 | Data53 :: [32m{a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c[39m[K |
| 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{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 |
| 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(a : Type->Type) -> ((b:Type) -> (c:Type) -> (d:Type) -> a ('Data5 b c d)) -> (e:Type) -> a e -> a e[39m[K |
| 26 | a5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> a[39m[K | 26 | a5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> a[39m[K |
| 27 | b5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> b[39m[K | 27 | b5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> b[39m[K |
| 28 | c5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> c[39m[K | 28 | c5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> c[39m[K |