summaryrefslogtreecommitdiff
path: root/testdata/zip01.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-03 15:37:02 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-03 15:37:02 +0200
commit57d10e734217c6eeaaec61131861bfd2861a4eb0 (patch)
tree1ced06f37ea0902999341ea80bc646cdba7e5db4 /testdata/zip01.out
parentced2bb3b8d35d0e2faa21adeff04607a2174ae99 (diff)
fix pretty print parens
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r--testdata/zip01.out10
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
2zip2 2zip2
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 : '[])]
13main is not found 13main is not found