diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-20 11:39:57 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-20 11:39:57 +0200 |
| commit | f57422af1b60ddab1339138472de3aa83cc1b2a3 (patch) | |
| tree | c45a556b82aa54136ceb46b35a715924dc263833 /testdata/ambig.out | |
| parent | 2150cf6ecaa227696d2fc7ff9e2258c76a309ee7 (diff) | |
tweak pattern source infos
Diffstat (limited to 'testdata/ambig.out')
| -rw-r--r-- | testdata/ambig.out | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/testdata/ambig.out b/testdata/ambig.out index c57a8352..2e7ae187 100644 --- a/testdata/ambig.out +++ b/testdata/ambig.out | |||
| @@ -5,8 +5,6 @@ h :: [32m{a} -> {b} -> {c} -> {d} -> (b -> d->c) -> (b, d) -> a->c[39m[K | |||
| 5 | testdata/ambig.lc 4:1-4:2 {a} -> {b} -> {c} -> {d} -> (b -> d->c) -> (b, d) -> a->c | 5 | testdata/ambig.lc 4:1-4:2 {a} -> {b} -> {c} -> {d} -> (b -> d->c) -> (b, d) -> a->c |
| 6 | testdata/ambig.lc 4:11-4:12 V2 | 6 | testdata/ambig.lc 4:11-4:12 V2 |
| 7 | testdata/ambig.lc 7:9-7:29 V1 | 7 | testdata/ambig.lc 7:9-7:29 V1 |
| 8 | testdata/ambig.lc 7:12-7:16 V4 | ||
| 9 | testdata/ambig.lc 7:12-7:26 V1 | ||
| 10 | testdata/ambig.lc 7:21-7:22 V18 | 8 | testdata/ambig.lc 7:21-7:22 V18 |
| 11 | testdata/ambig.lc 7:21-7:26 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V3 | 9 | testdata/ambig.lc 7:21-7:26 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V3 |
| 12 | testdata/ambig.lc 7:23-7:24 V13 | 10 | testdata/ambig.lc 7:23-7:24 V13 |