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/complex.out | |
| parent | 4f17b186afdd0b076d3efc06fe844e1f547b805a (diff) | |
always show parens
Diffstat (limited to 'testdata/complex.out')
| -rw-r--r-- | testdata/complex.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/complex.out b/testdata/complex.out index f751c2bb..7c33a18a 100644 --- a/testdata/complex.out +++ b/testdata/complex.out | |||
| @@ -3,12 +3,12 @@ main is not found | |||
| 3 | 'Repr :: [32mType[39m[K | 3 | 'Repr :: [32mType[39m[K |
| 4 | Normal :: [32m'Repr[39m[K | 4 | Normal :: [32m'Repr[39m[K |
| 5 | Polar :: [32m'Repr[39m[K | 5 | Polar :: [32m'Repr[39m[K |
| 6 | 'ReprCase :: [32m(a : 'Repr->Type) -> a Normal -> a Polar -> b:'Repr -> a b[39m[K | 6 | 'ReprCase :: [32m(a : 'Repr->Type) -> a Normal -> a Polar -> (b:'Repr) -> a b[39m[K |
| 7 | match'Repr :: [32m(a : Type->Type) -> a 'Repr -> b:Type -> a b -> a b[39m[K | 7 | match'Repr :: [32m(a : Type->Type) -> a 'Repr -> (b:Type) -> a b -> a b[39m[K |
| 8 | 'Complex :: [32m'Repr->Type[39m[K | 8 | 'Complex :: [32m'Repr->Type[39m[K |
| 9 | Complex :: [32m{a:'Repr} -> 'Float -> 'Float -> 'Complex a[39m[K | 9 | Complex :: [32m{a:'Repr} -> 'Float -> 'Float -> 'Complex a[39m[K |
| 10 | 'ComplexCase :: [32m(a : b:'Repr -> 'Complex b -> Type) -> ({c:'Repr} -> d:'Float -> e:'Float -> a c (Complex c d e)) -> {f:'Repr} -> (g : 'Complex f) -> a f g[39m[K | 10 | 'ComplexCase :: [32m(a : (b:'Repr) -> 'Complex b -> Type) -> ({c:'Repr} -> (d:'Float) -> (e:'Float) -> a c (Complex c d e)) -> {f:'Repr} -> (g : 'Complex f) -> a f g[39m[K |
| 11 | match'Complex :: [32m(a : Type->Type) -> (b:'Repr -> a ('Complex b)) -> c:Type -> a c -> a c[39m[K | 11 | match'Complex :: [32m(a : Type->Type) -> ((b:'Repr) -> a ('Complex b)) -> (c:Type) -> a c -> a c[39m[K |
| 12 | repr :: [32m{a:'Repr} -> 'Complex a -> 'Repr[39m[K | 12 | repr :: [32m{a:'Repr} -> 'Complex a -> 'Repr[39m[K |
| 13 | normal :: [32m'Float -> 'Float -> 'Complex Normal[39m[K | 13 | normal :: [32m'Float -> 'Float -> 'Complex Normal[39m[K |
| 14 | polar :: [32m'Float -> 'Float -> 'Complex Polar[39m[K | 14 | polar :: [32m'Float -> 'Float -> 'Complex Polar[39m[K |