diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 14:49:17 +0200 |
| commit | 1b49cc7e377e6c16d6c5bc4cced39dc20b8c0bec (patch) | |
| tree | 79931726bcef4f09d556d588e00cd917f43b86e3 /testdata/zip01.out | |
| parent | 05521f428c8805a693b8ad4fa5dd139eaf562362 (diff) | |
refactoring
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 1f7d4c25..6393822e 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
| @@ -1,9 +1,9 @@ | |||
| 1 | ------------ desugared source code | 1 | ------------ desugared source code |
| 2 | zip2 | 2 | zip2 |
| 3 | = (\(a :: _) (b :: _) -> 'ListCase | 3 | = (\(a :: _) (b :: _) -> case'List |
| 4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
| 5 | (_rhs []) | 5 | (_rhs []) |
| 6 | \(c :: _) (d :: _) -> 'ListCase | 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) |