From 9e232c77ee6d0948f7dd5727d3ec568bbedf4316 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Thu, 5 May 2016 17:55:01 +0200 Subject: improve pretty printing & try to fix local function handling --- testdata/zip01.out | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'testdata/zip01.out') diff --git a/testdata/zip01.out b/testdata/zip01.out index 650f67b5..06e95e78 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out @@ -1,6 +1,6 @@ main is not found ------------ desugared source code -zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [HList (a : b : '[])] +zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [(a, b)] zip2 = \(a :: _) (b :: _) -> case'List (\_ -> _) @@ -8,7 +8,7 @@ zip2 (\(c :: _) (d :: _) -> case'List (\_ -> _) (_rhs []) - (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)) + (\(e :: _) (f :: _) -> _rhs ((c, e) : zip2 d f)) b) a ------------ trace -- cgit v1.2.3