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/ambig.out | |
| parent | 1a7544763729938e7009ead1e375e9bbf413afb0 (diff) | |
improve pretty print layout & show desugared source code in .out files
Diffstat (limited to 'testdata/ambig.out')
| -rw-r--r-- | testdata/ambig.out | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testdata/ambig.out b/testdata/ambig.out index 35d323b3..ca10ff27 100644 --- a/testdata/ambig.out +++ b/testdata/ambig.out | |||
| @@ -1,3 +1,16 @@ | |||
| 1 | ------------ desugared source code | ||
| 2 | h | ||
| 3 | = \(a :: _) (b :: _) -> \_ -> _rhs | ||
| 4 | \(c | ||
| 5 | := _rhs | ||
| 6 | ((\(d :: _) -> hlistConsCase | ||
| 7 | (_ :: _) | ||
| 8 | \(e :: _) (f :: _) -> hlistConsCase | ||
| 9 | (_ :: _) | ||
| 10 | \(g :: _) (h :: _) -> hlistNilCase (_ :: _) (a e g) h | ||
| 11 | f | ||
| 12 | d) | ||
| 13 | b)) -> c | ||
| 1 | main is not found | 14 | main is not found |
| 2 | ------------ trace | 15 | ------------ trace |
| 3 | h :: [32mforall a b c d . ([32mb[0;32m -> [32md[0;32m -> [32mc[0;32m) -> ([32mb[0;32m, [32md[0;32m) -> [32ma[0;32m -> [32mc[0;32m[0m | 16 | h :: [32mforall a b c d . ([32mb[0;32m -> [32md[0;32m -> [32mc[0;32m) -> ([32mb[0;32m, [32md[0;32m) -> [32ma[0;32m -> [32mc[0;32m[0m |