diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:34:31 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-03 16:34:31 +0200 |
| commit | fa47957b930c53d78d2da0bcb948e2fbff11f59d (patch) | |
| tree | 25ba37580c8a73e9a8cc7fce31030c8a1a7dbf72 /testdata/zip01.out | |
| parent | 9c258737a3a4cfabec6804947ccf64a552db4c27 (diff) | |
refactoring
Diffstat (limited to 'testdata/zip01.out')
| -rw-r--r-- | testdata/zip01.out | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index 8ba64e69..582866bb 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
| @@ -1,15 +1,15 @@ | |||
| 1 | ------------ desugared source code | 1 | ------------ desugared source code |
| 2 | zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [HList (a : b : '[])] | ||
| 2 | zip2 | 3 | zip2 |
| 3 | = (\(a :: _) (b :: _) -> case'List | 4 | = \(a :: _) (b :: _) -> case'List |
| 5 | (\_ -> _) | ||
| 6 | (_rhs []) | ||
| 7 | (\(c :: _) (d :: _) -> case'List | ||
| 4 | (\_ -> _) | 8 | (\_ -> _) |
| 5 | (_rhs []) | 9 | (_rhs []) |
| 6 | (\(c :: _) (d :: _) -> case'List | 10 | (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)) |
| 7 | (\_ -> _) | 11 | b) |
| 8 | (_rhs []) | 12 | a |
| 9 | (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)) | ||
| 10 | b) | ||
| 11 | a) | ||
| 12 | :: forall (g :: _) (h :: _) . [g] -> [h] -> [HList (g : h : '[])] | ||
| 13 | main is not found | 13 | main is not found |
| 14 | ------------ trace | 14 | ------------ trace |
| 15 | zip2 :: forall a b . [a] -> [b] -> [(a, b)] | 15 | zip2 :: forall a b . [a] -> [b] -> [(a, b)] |