diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 15:37:02 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 15:37:02 +0200 |
commit | 57d10e734217c6eeaaec61131861bfd2861a4eb0 (patch) | |
tree | 1ced06f37ea0902999341ea80bc646cdba7e5db4 /testdata/zip01.out | |
parent | ced2bb3b8d35d0e2faa21adeff04607a2174ae99 (diff) |
fix pretty print parens
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r-- | testdata/zip01.out | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index 6393822e..5471a160 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
@@ -1,13 +1,13 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | zip2 | 2 | zip2 |
3 | = (\(a :: _) (b :: _) -> case'List | 3 | = (\(a :: _) (b :: _) -> case'List |
4 | \_ -> _ :: _ | 4 | (\_ -> _ :: _) |
5 | (_rhs []) | 5 | (_rhs []) |
6 | \(c :: _) (d :: _) -> case'List | 6 | (\(c :: _) (d :: _) -> case'List |
7 | \_ -> _ :: _ | 7 | (\_ -> _ :: _) |
8 | (_rhs []) | 8 | (_rhs []) |
9 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f) | 9 | (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)) |
10 | b | 10 | b) |
11 | a) | 11 | a) |
12 | :: forall (g :: _) (h :: _) . [g] -> [h] -> [HList (g : h : '[])] | 12 | :: forall (g :: _) (h :: _) . [g] -> [h] -> [HList (g : h : '[])] |
13 | main is not found | 13 | main is not found |