diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-10 16:32:23 +0200 |
| commit | 6ecef8f577432ffcaee07f09b2a73d4ea5eb5de2 (patch) | |
| tree | 82ed1f4401c3cf2cd4910e5f2e62d0d3a8ac6904 /testdata/localfun2.out | |
| parent | e061e1a91afc552fd7c3d7e5f7efb59746cc446f (diff) | |
explicit lhs marks, first step
Diffstat (limited to 'testdata/localfun2.out')
| -rw-r--r-- | testdata/localfun2.out | 62 |
1 files changed, 34 insertions, 28 deletions
diff --git a/testdata/localfun2.out b/testdata/localfun2.out index e4d0cd45..ca1f097b 100644 --- a/testdata/localfun2.out +++ b/testdata/localfun2.out | |||
| @@ -1,34 +1,40 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | ------------ desugared source code | 2 | ------------ desugared source code |
| 3 | split | 3 | split |
| 4 | = \(a :: _) -> case'List | 4 | = _lhs |
| 5 | (\(_ :: _) -> _) | 5 | split |
| 6 | (_rhs ([], [])) | 6 | \(a :: _) -> case'List |
| 7 | (\(b :: _) (c :: _) -> _rhs | 7 | (\(_ :: _) -> _) |
| 8 | let | 8 | (_rhs ([], [])) |
| 9 | d = _rhs (split c); | 9 | (\(b :: _) (c :: _) -> _rhs |
| 10 | e | 10 | let |
| 11 | = _rhs | 11 | d = _lhs _bs_as (_rhs (split c)); |
| 12 | ((\(g :: _) -> hlistConsCase | 12 | e |
| 13 | _ | 13 | = _lhs |
| 14 | (\(_ :: _) (h :: _) -> hlistConsCase | 14 | bs |
| 15 | _ | 15 | (_rhs |
| 16 | (\(i :: _) (j :: _) -> hlistNilCase _ i j) | 16 | ((\(g :: _) -> hlistConsCase |
| 17 | h) | 17 | _ |
| 18 | g) | 18 | (\(_ :: _) (h :: _) -> hlistConsCase |
| 19 | d); | 19 | _ |
| 20 | f | 20 | (\(i :: _) (j :: _) -> hlistNilCase _ i j) |
| 21 | = _rhs | 21 | h) |
| 22 | ((\(k :: _) -> hlistConsCase | 22 | g) |
| 23 | _ | 23 | d)); |
| 24 | (\(l :: _) (m :: _) -> hlistConsCase | 24 | f |
| 25 | _ | 25 | = _lhs |
| 26 | (\(_ :: _) (n :: _) -> hlistNilCase _ l n) | 26 | as |
| 27 | m) | 27 | (_rhs |
| 28 | k) | 28 | ((\(k :: _) -> hlistConsCase |
| 29 | d) | 29 | _ |
| 30 | in (b : e, f)) | 30 | (\(l :: _) (m :: _) -> hlistConsCase |
| 31 | a | 31 | _ |
| 32 | (\(_ :: _) (n :: _) -> hlistNilCase _ l n) | ||
| 33 | m) | ||
| 34 | k) | ||
| 35 | d)) | ||
| 36 | in (b : e, f)) | ||
| 37 | a | ||
| 32 | ------------ core code | 38 | ------------ core code |
| 33 | split :: forall a . [a] -> ([a], [a]) | 39 | split :: forall a . [a] -> ([a], [a]) |
| 34 | split | 40 | split |