diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 19:13:34 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-01 19:13:34 +0200 |
commit | 90e336391673ac1cf9ff582e98e35faf89a8f09d (patch) | |
tree | 0b7a14dbfc5734c07c2ae4ed34cb679fecd10d3f /testdata/zip01.out | |
parent | 1a7544763729938e7009ead1e375e9bbf413afb0 (diff) |
improve pretty print layout & show desugared source code in .out files
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r-- | testdata/zip01.out | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index cd811cda..deb2cf14 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
@@ -1,3 +1,16 @@ | |||
1 | ------------ desugared source code | ||
2 | zip2 | ||
3 | = (\(a :: _) (b :: _) -> 'ListCase | ||
4 | \_ -> _ :: _ | ||
5 | (_rhs Nil) | ||
6 | \(c :: _) (d :: _) -> 'ListCase | ||
7 | \_ -> _ :: _ | ||
8 | (_rhs Nil) | ||
9 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f) | ||
10 | b | ||
11 | a) | ||
12 | :: forall (g :: _) (h :: _) | ||
13 | . List g -> List h -> List (HList ('Cons g ('Cons h 'Nil))) | ||
1 | main is not found | 14 | main is not found |
2 | ------------ trace | 15 | ------------ trace |
3 | zip2 :: [32mforall a b . List [32ma[0;32m -> List [32mb[0;32m -> List ([32ma[0;32m, [32mb[0;32m)[0m | 16 | zip2 :: [32mforall a b . List [32ma[0;32m -> List [32mb[0;32m -> List ([32ma[0;32m, [32mb[0;32m)[0m |