diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 16:10:43 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 16:10:49 +0100 |
commit | be93cb71dc582a4b40ce3e68bbd058b0e318b688 (patch) | |
tree | bcce84604c0d90b6888d367a55270ddaf589afdd /testdata/data.out | |
parent | 03c8e879558f8e16e49b21d493a82ba9657f7d13 (diff) |
update test output
Diffstat (limited to 'testdata/data.out')
-rw-r--r-- | testdata/data.out | 106 |
1 files changed, 53 insertions, 53 deletions
diff --git a/testdata/data.out b/testdata/data.out index 9eb8676d..ab8765f8 100644 --- a/testdata/data.out +++ b/testdata/data.out | |||
@@ -1,55 +1,55 @@ | |||
1 | main is not found | 1 | main is not found |
2 | tooltips: | 2 | tooltips: |
3 | ./testdata/accept/data.lc 1:6-1:11 Type | 3 | testdata/data.lc 1:6-1:11 Type |
4 | ./testdata/accept/data.lc 1:14-1:19 'Data0 | 4 | testdata/data.lc 1:14-1:19 'Data0 |
5 | ./testdata/accept/data.lc 3:6-3:11 Type -> Type -> Type->Type | 5 | testdata/data.lc 3:6-3:11 Type -> Type -> Type->Type |
6 | ./testdata/accept/data.lc 3:6-3:31 Type | 6 | testdata/data.lc 3:6-3:31 Type |
7 | ./testdata/accept/data.lc 3:26-3:27 Type | 7 | testdata/data.lc 3:26-3:27 Type |
8 | ./testdata/accept/data.lc 3:28-3:29 Type | 8 | testdata/data.lc 3:28-3:29 Type |
9 | ./testdata/accept/data.lc 3:30-3:31 Type | 9 | testdata/data.lc 3:30-3:31 Type |
10 | ./testdata/accept/data.lc 3:6-3:11 Type | 10 | testdata/data.lc 3:6-3:11 Type |
11 | ./testdata/accept/data.lc 3:20-3:25 {a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c | 11 | testdata/data.lc 3:20-3:25 {a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c |
12 | ./testdata/accept/data.lc 5:6-5:11 Type | 12 | testdata/data.lc 5:6-5:11 Type |
13 | ./testdata/accept/data.lc 5:21-5:24 Type | 13 | testdata/data.lc 5:21-5:24 Type |
14 | ./testdata/accept/data.lc 5:14-5:20 'Int->'Data2 | 14 | testdata/data.lc 5:14-5:20 'Int->'Data2 |
15 | ./testdata/accept/data.lc 6:28-6:31 Type | 15 | testdata/data.lc 6:28-6:31 Type |
16 | ./testdata/accept/data.lc 5:6-6:39 Type | 16 | testdata/data.lc 5:6-6:39 Type |
17 | ./testdata/accept/data.lc 6:36-6:39 Type | 17 | testdata/data.lc 6:36-6:39 Type |
18 | ./testdata/accept/data.lc 6:14-6:20 'Int -> 'Int->'Data2 | 18 | testdata/data.lc 6:14-6:20 'Int -> 'Int->'Data2 |
19 | ./testdata/accept/data.lc 7:28-7:31 Type | 19 | testdata/data.lc 7:28-7:31 Type |
20 | ./testdata/accept/data.lc 7:14-7:20 'Int->'Data2 | 20 | testdata/data.lc 7:14-7:20 'Int->'Data2 |
21 | ./testdata/accept/data.lc 8:14-8:20 'Data2 | 21 | testdata/data.lc 8:14-8:20 'Data2 |
22 | ./testdata/accept/data.lc 6:14-6:20 'Int -> 'Int->V2 | 22 | testdata/data.lc 6:14-6:20 'Int -> 'Int->V2 |
23 | ./testdata/accept/data.lc 6:14-6:20 'Int->V2 | 23 | testdata/data.lc 6:14-6:20 'Int->V2 |
24 | ./testdata/accept/data.lc 6:14-6:20 V2 | 24 | testdata/data.lc 6:14-6:20 V2 |
25 | ./testdata/accept/data.lc 6:14-6:20 'Int | 25 | testdata/data.lc 6:14-6:20 'Int |
26 | ./testdata/accept/data.lc 6:14-6:20 'Data2 | 26 | testdata/data.lc 6:14-6:20 'Data2 |
27 | ./testdata/accept/data.lc 6:14-6:20 V1 | 27 | testdata/data.lc 6:14-6:20 V1 |
28 | ./testdata/accept/data.lc 6:23-6:24 'Data2->'Int | 28 | testdata/data.lc 6:23-6:24 'Data2->'Int |
29 | ./testdata/accept/data.lc 10:6-10:11 Type -> Type -> Type->Type | 29 | testdata/data.lc 10:6-10:11 Type -> Type -> Type->Type |
30 | ./testdata/accept/data.lc 10:6-10:38 Type | 30 | testdata/data.lc 10:6-10:38 Type |
31 | ./testdata/accept/data.lc 10:36-10:38 Type | 31 | testdata/data.lc 10:36-10:38 Type |
32 | ./testdata/accept/data.lc 10:6-10:11 Type | 32 | testdata/data.lc 10:6-10:11 Type |
33 | ./testdata/accept/data.lc 10:23-10:29 {a} -> {b} -> {c} -> a -> 'Data5 a b c | 33 | testdata/data.lc 10:23-10:29 {a} -> {b} -> {c} -> a -> 'Data5 a b c |
34 | ./testdata/accept/data.lc 10:6-11:54 Type | 34 | testdata/data.lc 10:6-11:54 Type |
35 | ./testdata/accept/data.lc 11:36-11:38 Type | 35 | testdata/data.lc 11:36-11:38 Type |
36 | ./testdata/accept/data.lc 11:44-11:46 Type | 36 | testdata/data.lc 11:44-11:46 Type |
37 | ./testdata/accept/data.lc 11:52-11:54 Type | 37 | testdata/data.lc 11:52-11:54 Type |
38 | ./testdata/accept/data.lc 11:23-11:29 {a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c | 38 | testdata/data.lc 11:23-11:29 {a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c |
39 | ./testdata/accept/data.lc 10:6-12:48 Type | 39 | testdata/data.lc 10:6-12:48 Type |
40 | ./testdata/accept/data.lc 12:30-12:33 Type | 40 | testdata/data.lc 12:30-12:33 Type |
41 | ./testdata/accept/data.lc 12:34-12:36 Type | 41 | testdata/data.lc 12:34-12:36 Type |
42 | ./testdata/accept/data.lc 12:37-12:42 Type | 42 | testdata/data.lc 12:37-12:42 Type |
43 | ./testdata/accept/data.lc 12:43-12:45 Type | 43 | testdata/data.lc 12:43-12:45 Type |
44 | ./testdata/accept/data.lc 12:46-12:48 Type | 44 | testdata/data.lc 12:46-12:48 Type |
45 | ./testdata/accept/data.lc 12:23-12:29 {a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c | 45 | testdata/data.lc 12:23-12:29 {a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c |
46 | ./testdata/accept/data.lc 11:23-11:29 V3 -> V3 -> V3->V3 | 46 | testdata/data.lc 11:23-11:29 V3 -> V3 -> V3->V3 |
47 | ./testdata/accept/data.lc 11:23-11:29 V3 -> V3->V3 | 47 | testdata/data.lc 11:23-11:29 V3 -> V3->V3 |
48 | ./testdata/accept/data.lc 11:23-11:29 V3->V3 | 48 | testdata/data.lc 11:23-11:29 V3->V3 |
49 | ./testdata/accept/data.lc 11:23-11:29 V3 | 49 | testdata/data.lc 11:23-11:29 V3 |
50 | ./testdata/accept/data.lc 11:23-11:29 V5 | 50 | testdata/data.lc 11:23-11:29 V5 |
51 | ./testdata/accept/data.lc 11:23-11:29 'Data5 V2 V1 V0 | 51 | testdata/data.lc 11:23-11:29 'Data5 V2 V1 V0 |
52 | ./testdata/accept/data.lc 11:23-11:29 V4 | 52 | testdata/data.lc 11:23-11:29 V4 |
53 | ./testdata/accept/data.lc 11:40-11:42 {a} -> {b} -> {c} -> 'Data5 a b c -> b | 53 | testdata/data.lc 11:40-11:42 {a} -> {b} -> {c} -> 'Data5 a b c -> b |
54 | ./testdata/accept/data.lc 11:23-11:29 V6 | 54 | testdata/data.lc 11:23-11:29 V6 |
55 | ./testdata/accept/data.lc 11:32-11:34 {a} -> {b} -> {c} -> 'Data5 a b c -> a | 55 | testdata/data.lc 11:32-11:34 {a} -> {b} -> {c} -> 'Data5 a b c -> a |