diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-05 17:55:01 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-05 17:55:01 +0200 |
| commit | 9e232c77ee6d0948f7dd5727d3ec568bbedf4316 (patch) | |
| tree | d9f64543cf48a964fd29e95b87b824f9b5c2a877 /testdata/zip01.out | |
| parent | f24ab8bd8d5cb60a7a75e52655b567f916f73a53 (diff) | |
improve pretty printing & try to fix local function handling
Diffstat (limited to 'testdata/zip01.out')
| -rw-r--r-- | testdata/zip01.out | 4 |
1 files changed, 2 insertions, 2 deletions
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 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ desugared source code | 2 | ------------ desugared source code |
| 3 | zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [HList (a : b : '[])] | 3 | zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [(a, b)] |
| 4 | zip2 | 4 | zip2 |
| 5 | = \(a :: _) (b :: _) -> case'List | 5 | = \(a :: _) (b :: _) -> case'List |
| 6 | (\_ -> _) | 6 | (\_ -> _) |
| @@ -8,7 +8,7 @@ zip2 | |||
| 8 | (\(c :: _) (d :: _) -> case'List | 8 | (\(c :: _) (d :: _) -> case'List |
| 9 | (\_ -> _) | 9 | (\_ -> _) |
| 10 | (_rhs []) | 10 | (_rhs []) |
| 11 | (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)) | 11 | (\(e :: _) (f :: _) -> _rhs ((c, e) : zip2 d f)) |
| 12 | b) | 12 | b) |
| 13 | a | 13 | a |
| 14 | ------------ trace | 14 | ------------ trace |