diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-14 17:27:19 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-14 17:27:19 +0100 |
commit | 75dc96c2e0946f895efe3119fd43b8500ca18115 (patch) | |
tree | deac66777681aa004ed0e6e253bf0dadb53e06bd /testdata/Prelude.out | |
parent | 209f2c6bbfb919f8a34a96b6a04f8541f45bda3f (diff) |
refactoring: use less withRange
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r-- | testdata/Prelude.out | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index abd7a78b..f7098ef4 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -7,10 +7,10 @@ testdata/Prelude.lc 18:13-18:17 Bool | |||
7 | testdata/Prelude.lc 20:3-20:4 {a} -> {b} -> a -> a->b -> b | 7 | testdata/Prelude.lc 20:3-20:4 {a} -> {b} -> a -> a->b -> b |
8 | testdata/Prelude.lc 20:9-20:10 V1 | 8 | testdata/Prelude.lc 20:9-20:10 V1 |
9 | testdata/Prelude.lc 20:11-20:12 V6 | 9 | testdata/Prelude.lc 20:11-20:12 V6 |
10 | testdata/Prelude.lc 22:1-22:4 {a} -> {b} -> a->b -> a->b | 10 | testdata/Prelude.lc 22:2-22:3 {a} -> {b} -> a->b -> a->b |
11 | testdata/Prelude.lc 22:15-22:16 V3 | 11 | testdata/Prelude.lc 22:15-22:16 V3 |
12 | testdata/Prelude.lc 22:17-22:18 V4 | 12 | testdata/Prelude.lc 22:17-22:18 V4 |
13 | testdata/Prelude.lc 23:1-23:4 {a} -> {b} -> {c} -> b->c -> a->b -> a->c | 13 | testdata/Prelude.lc 23:2-23:3 {a} -> {b} -> {c} -> b->c -> a->b -> a->c |
14 | testdata/Prelude.lc 23:17-23:18 V5 | 14 | testdata/Prelude.lc 23:17-23:18 V5 |
15 | testdata/Prelude.lc 23:20-23:21 V6 | 15 | testdata/Prelude.lc 23:20-23:21 V6 |
16 | testdata/Prelude.lc 23:22-23:23 V7 | 16 | testdata/Prelude.lc 23:22-23:23 V7 |
@@ -21,7 +21,7 @@ testdata/Prelude.lc 25:20-25:21 V8 | |||
21 | testdata/Prelude.lc 25:20-25:25 V2 -> V2->V2 | V2->V2 | 21 | testdata/Prelude.lc 25:20-25:25 V2 -> V2->V2 | V2->V2 |
22 | testdata/Prelude.lc 25:22-25:23 V7 | 22 | testdata/Prelude.lc 25:22-25:23 V7 |
23 | testdata/Prelude.lc 25:24-25:25 V7 | 23 | testdata/Prelude.lc 25:24-25:25 V7 |
24 | testdata/Prelude.lc 27:1-27:6 {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> Tuple2 a b -> Tuple2 c d | 24 | testdata/Prelude.lc 27:2-27:5 {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> Tuple2 a b -> Tuple2 c d |
25 | testdata/Prelude.lc 27:12-27:16 V5 | 25 | testdata/Prelude.lc 27:12-27:16 V5 |
26 | testdata/Prelude.lc 27:12-27:30 Tuple2 V1 V0 | 26 | testdata/Prelude.lc 27:12-27:30 Tuple2 V1 V0 |
27 | testdata/Prelude.lc 27:20-27:30 Tuple2 V1 V0 | V2 -> V2->V2 | V2->V2 | 27 | testdata/Prelude.lc 27:20-27:30 Tuple2 V1 V0 | V2 -> V2->V2 | V2->V2 |