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/Prelude.out | |
| parent | 2150cf6ecaa227696d2fc7ff9e2258c76a309ee7 (diff) | |
tweak pattern source infos
Diffstat (limited to 'testdata/Prelude.out')
| -rw-r--r-- | testdata/Prelude.out | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 6f5c5a87..89f6b9ac 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
| @@ -187,15 +187,11 @@ testdata/Prelude.lc 23:17-23:18 V5 | |||
| 187 | testdata/Prelude.lc 23:20-23:21 V6 | 187 | testdata/Prelude.lc 23:20-23:21 V6 |
| 188 | testdata/Prelude.lc 23:22-23:23 V7 | 188 | testdata/Prelude.lc 23:22-23:23 V7 |
| 189 | testdata/Prelude.lc 25:1-25:8 {a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b | 189 | testdata/Prelude.lc 25:1-25:8 {a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b |
| 190 | testdata/Prelude.lc 25:12-25:16 V4 | ||
| 191 | testdata/Prelude.lc 25:12-25:25 V1 | ||
| 192 | testdata/Prelude.lc 25:20-25:21 V14 | 190 | testdata/Prelude.lc 25:20-25:21 V14 |
| 193 | testdata/Prelude.lc 25:20-25:25 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V3 | 191 | testdata/Prelude.lc 25:20-25:25 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V3 |
| 194 | testdata/Prelude.lc 25:22-25:23 V13 | 192 | testdata/Prelude.lc 25:22-25:23 V13 |
| 195 | testdata/Prelude.lc 25:24-25:25 V9 | 193 | testdata/Prelude.lc 25:24-25:25 V9 |
| 196 | testdata/Prelude.lc 27:2-27:5 {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> (a, b)->(c, d) | 194 | testdata/Prelude.lc 27:2-27:5 {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> (a, b)->(c, d) |
| 197 | testdata/Prelude.lc 27:12-27:16 V5 | ||
| 198 | testdata/Prelude.lc 27:12-27:30 (V1, V0) | ||
| 199 | testdata/Prelude.lc 27:20-27:30 (V1, V0) | HList V2 -> V2 | V2 -> HList V2 -> V2 | 195 | testdata/Prelude.lc 27:20-27:30 (V1, V0) | HList V2 -> V2 | V2 -> HList V2 -> V2 |
| 200 | testdata/Prelude.lc 27:21-27:22 V18 | 196 | testdata/Prelude.lc 27:21-27:22 V18 |
| 201 | testdata/Prelude.lc 27:23-27:24 V15 | 197 | testdata/Prelude.lc 27:23-27:24 V15 |
| @@ -263,7 +259,7 @@ testdata/Prelude.lc 38:26-38:30 ((List V8)) | List V10 | |||
| 263 | testdata/Prelude.lc 38:27-38:28 {a} -> a -> List a -> List a | 259 | testdata/Prelude.lc 38:27-38:28 {a} -> a -> List a -> List a |
| 264 | testdata/Prelude.lc 38:28-38:30 List V5 | 260 | testdata/Prelude.lc 38:28-38:30 List V5 |
| 265 | testdata/Prelude.lc 39:10-39:12 HList V2 -> V2 | V10 | V2 -> HList V2 -> V2 | V3 | V7 | 261 | testdata/Prelude.lc 39:10-39:12 HList V2 -> V2 | V10 | V2 -> HList V2 -> V2 | V3 | V7 |
| 266 | testdata/Prelude.lc 39:10-39:15 (List V4, List V3) | (List V5, List V4) | V3 | 262 | testdata/Prelude.lc 39:10-39:15 (List V4, List V3) | (List V5, List V4) |
| 267 | testdata/Prelude.lc 39:13-39:15 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V5 | 263 | testdata/Prelude.lc 39:13-39:15 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V5 |
| 268 | testdata/Prelude.lc 39:19-39:24 {a} -> {b} -> List (a, b) -> (List a, List b) | 264 | testdata/Prelude.lc 39:19-39:24 {a} -> {b} -> List (a, b) -> (List a, List b) |
| 269 | testdata/Prelude.lc 39:19-39:27 (List V1, List V0) | 265 | testdata/Prelude.lc 39:19-39:27 (List V1, List V0) |
| @@ -439,12 +435,8 @@ testdata/Prelude.lc 74:31-74:32 V2->V3 | |||
| 439 | testdata/Prelude.lc 74:31-74:34 V2 | 435 | testdata/Prelude.lc 74:31-74:34 V2 |
| 440 | testdata/Prelude.lc 74:33-74:34 V2 | 436 | testdata/Prelude.lc 74:33-74:34 V2 |
| 441 | testdata/Prelude.lc 76:1-76:4 {a} -> {b} -> (a, b)->a | 437 | testdata/Prelude.lc 76:1-76:4 {a} -> {b} -> (a, b)->a |
| 442 | testdata/Prelude.lc 76:6-76:10 V3 | ||
| 443 | testdata/Prelude.lc 76:6-76:15 V1 | ||
| 444 | testdata/Prelude.lc 76:14-76:15 HList V2 -> V2 | V10 | V2 -> HList V2 -> V2 | V3 | V7 | 438 | testdata/Prelude.lc 76:14-76:15 HList V2 -> V2 | V10 | V2 -> HList V2 -> V2 | V3 | V7 |
| 445 | testdata/Prelude.lc 77:1-77:4 {a} -> {b} -> (a, b)->b | 439 | testdata/Prelude.lc 77:1-77:4 {a} -> {b} -> (a, b)->b |
| 446 | testdata/Prelude.lc 77:6-77:10 V3 | ||
| 447 | testdata/Prelude.lc 77:6-77:15 V0 | ||
| 448 | testdata/Prelude.lc 77:14-77:15 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V5 | 440 | testdata/Prelude.lc 77:14-77:15 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V5 |
| 449 | testdata/Prelude.lc 79:1-79:6 V2 | 441 | testdata/Prelude.lc 79:1-79:6 V2 |
| 450 | testdata/Prelude.lc 79:1-80:18 Bool | 442 | testdata/Prelude.lc 79:1-80:18 Bool |