diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-01-21 23:50:27 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-21 23:50:27 +0100 |
commit | 23bbb0006279533d7f99c3cb7873cfed677ca608 (patch) | |
tree | ec0455c38b348cfd6aa9d2b540ef2ab7971f867b /testdata/zip01.out | |
parent | 2c5495fe76d2315ff241064d77a7a97014a7f898 (diff) |
better source range handling
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r-- | testdata/zip01.out | 23 |
1 files changed, 15 insertions, 8 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index 0995aa5c..9173f6c8 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
@@ -1,30 +1,37 @@ | |||
1 | main is not found | 1 | main is not found |
2 | tooltips: | 2 | tooltips: |
3 | testdata/zip01.lc 2:1-2:5 {a} -> a->a -> a | ||
4 | testdata/zip01.lc 1:9-4:40 V0->V1 | 3 | testdata/zip01.lc 1:9-4:40 V0->V1 |
5 | testdata/zip01.lc 1:9-4:40 V1 | 4 | testdata/zip01.lc 1:9-4:40 V1 |
6 | testdata/zip01.lc 1:9-1:30 Type | 5 | testdata/zip01.lc 1:9-1:30 Type |
6 | testdata/zip01.lc 1:9-1:30 Type->Type | ||
7 | testdata/zip01.lc 1:10-1:11 Type | 7 | testdata/zip01.lc 1:10-1:11 Type |
8 | testdata/zip01.lc 1:10-1:11 V3 | 8 | testdata/zip01.lc 1:10-1:11 V3 |
9 | testdata/zip01.lc 1:16-1:30 Type->Type | ||
9 | testdata/zip01.lc 1:16-1:30 Type | 10 | testdata/zip01.lc 1:16-1:30 Type |
10 | testdata/zip01.lc 1:17-1:18 Type | 11 | testdata/zip01.lc 1:17-1:18 Type |
11 | testdata/zip01.lc 1:17-1:18 V2 | 12 | testdata/zip01.lc 1:17-1:18 V2 |
13 | testdata/zip01.lc 1:23-1:30 Type->Type | ||
12 | testdata/zip01.lc 1:23-1:30 Type | 14 | testdata/zip01.lc 1:23-1:30 Type |
13 | testdata/zip01.lc 1:24-1:29 Type | 15 | testdata/zip01.lc 1:24-1:29 Type |
14 | testdata/zip01.lc 1:24-1:29 Type -> Type->Type | ||
15 | testdata/zip01.lc 1:25-1:26 Type | 16 | testdata/zip01.lc 1:25-1:26 Type |
16 | testdata/zip01.lc 1:27-1:28 Type | 17 | testdata/zip01.lc 1:27-1:28 Type |
17 | testdata/zip01.lc 4:22-4:40 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) | 18 | testdata/zip01.lc 2:22-4:40 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) |
18 | testdata/zip01.lc 4:22-4:40 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a) | 19 | testdata/zip01.lc 2:22-4:40 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a) |
19 | testdata/zip01.lc 4:22-4:40 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2) | 20 | testdata/zip01.lc 2:22-4:40 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2) |
20 | testdata/zip01.lc 4:22-4:40 'List V1 -> 'List ('Tuple2 V3 V2) | 21 | testdata/zip01.lc 2:22-4:40 'List V1 -> 'List ('Tuple2 V3 V2) |
21 | testdata/zip01.lc 4:22-4:40 'List ('Tuple2 V3 V2) | 22 | testdata/zip01.lc 2:22-4:40 'List ('Tuple2 V3 V2) |
23 | testdata/zip01.lc 2:22-2:24 V0 | ||
24 | testdata/zip01.lc 2:22-2:24 {a} -> 'List a | ||
25 | testdata/zip01.lc 3:22-4:40 V1 -> 'List V2 -> 'List V2 | ||
26 | testdata/zip01.lc 3:22-4:40 'List V2 -> 'List V2 | ||
27 | testdata/zip01.lc 3:22-4:40 'List V2 | ||
28 | testdata/zip01.lc 3:22-3:24 V0 | ||
29 | testdata/zip01.lc 3:22-3:24 {a} -> 'List a | ||
22 | testdata/zip01.lc 4:22-4:40 V1 -> 'List V2 -> 'List V2 | 30 | testdata/zip01.lc 4:22-4:40 V1 -> 'List V2 -> 'List V2 |
23 | testdata/zip01.lc 4:22-4:40 'List V2 -> 'List V2 | 31 | testdata/zip01.lc 4:22-4:40 'List V2 -> 'List V2 |
24 | testdata/zip01.lc 4:22-4:40 'List V2 | 32 | testdata/zip01.lc 4:22-4:40 'List V2 |
25 | testdata/zip01.lc 4:28-4:29 {a} -> a -> 'List a -> 'List a | 33 | testdata/zip01.lc 4:28-4:29 {a} -> a -> 'List a -> 'List a |
26 | testdata/zip01.lc 4:22-4:27 V0 | 34 | testdata/zip01.lc 4:22-4:27 V0 |
27 | testdata/zip01.lc 4:22-4:27 {a} -> {b} -> a -> b -> 'Tuple2 a b | ||
28 | testdata/zip01.lc 4:23-4:24 V1 | 35 | testdata/zip01.lc 4:23-4:24 V1 |
29 | testdata/zip01.lc 4:23-4:24 V10 | 36 | testdata/zip01.lc 4:23-4:24 V10 |
30 | testdata/zip01.lc 4:25-4:26 V0 | 37 | testdata/zip01.lc 4:25-4:26 V0 |