blob: e37ac5dece4b580ea59eb72829cb12dd564c3105 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
main is not found
tooltips:
./testdata/accept/primes.lc 4:6-4:10 Type->Type
./testdata/accept/primes.lc 4:6-4:10 Type
./testdata/accept/primes.lc 4:15-4:18 {a} -> 'List a
./testdata/accept/primes.lc 4:6-4:35 Type
./testdata/accept/primes.lc 4:26-4:27 Type
./testdata/accept/primes.lc 4:29-4:33 Type->Type
./testdata/accept/primes.lc 4:34-4:35 Type
./testdata/accept/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a
./testdata/accept/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b
./testdata/accept/primes.lc 12:1-12:3 {a} -> a->a
./testdata/accept/primes.lc 14:11-14:13 {a} -> a->a
./testdata/accept/primes.lc 14:1-14:8 {a} -> a->a
./testdata/accept/primes.lc 16:1-16:6 {a} -> a->a -> a
./testdata/accept/primes.lc 16:1-16:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
./testdata/accept/primes.lc 24:12-24:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
./testdata/accept/primes.lc 24:19-24:53 V0 -> V2->V3
./testdata/accept/primes.lc 24:19-24:53 V2->V3
./testdata/accept/primes.lc 24:28-24:53 V3
./testdata/accept/primes.lc 24:28-24:53 {a} -> 'Bool -> a -> a->a
./testdata/accept/primes.lc 24:33-24:34 'Bool
./testdata/accept/primes.lc 24:33-24:34 V6
./testdata/accept/primes.lc 24:40-24:45 V0
./testdata/accept/primes.lc 24:40-24:41 V0
./testdata/accept/primes.lc 24:40-24:41 V4
./testdata/accept/primes.lc 24:43-24:45 'List V2
./testdata/accept/primes.lc 24:43-24:45 V3
./testdata/accept/primes.lc 24:51-24:53 'List V2
./testdata/accept/primes.lc 24:1-24:7 {a} -> a->'Bool -> 'List a -> 'List a
./testdata/accept/primes.lc 27:14-27:19 V0
./testdata/accept/primes.lc 27:14-27:19 'Bool
./testdata/accept/primes.lc 26:1-26:5 'Bool
./testdata/accept/primes.lc 26:1-26:5 V2
./testdata/accept/primes.lc 26:6-26:8 'Bool -> 'Bool->'Bool
./testdata/accept/primes.lc 29:7-29:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
./testdata/accept/primes.lc 29:13-29:17 V0 -> V2->V3
./testdata/accept/primes.lc 29:13-29:17 'Bool -> 'Bool->'Bool
./testdata/accept/primes.lc 29:18-29:22 'Bool
./testdata/accept/primes.lc 29:1-29:4 'List 'Bool -> 'Bool
./testdata/accept/primes.lc 31:9-31:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
./testdata/accept/primes.lc 31:16-31:32 V0 -> V2->V3
./testdata/accept/primes.lc 31:16-31:32 V2->V3
./testdata/accept/primes.lc 31:27-31:32 V3
./testdata/accept/primes.lc 31:27-31:28 V0
./testdata/accept/primes.lc 31:27-31:28 V6
./testdata/accept/primes.lc 31:30-31:32 'List V0
./testdata/accept/primes.lc 31:1-31:4 {a} -> {b} -> a->b -> 'List a -> 'List b
./testdata/accept/primes.lc 33:7-33:17 'Int -> 'Int->'Int
./testdata/accept/primes.lc 33:1-33:4 'Int -> 'Int->'Int
./testdata/accept/primes.lc 34:11-34:20 'Float->'Int
./testdata/accept/primes.lc 34:22-34:51 'Float
./testdata/accept/primes.lc 34:22-34:35 'Float->'Float
./testdata/accept/primes.lc 34:37-34:51 'Float
./testdata/accept/primes.lc 34:37-34:51 'Int->'Float
./testdata/accept/primes.lc 34:1-34:6 'Int->'Int
./testdata/accept/primes.lc 35:7-35:17 'Int -> 'Int->'Int
./testdata/accept/primes.lc 35:1-35:4 'Int -> 'Int->'Int
./testdata/accept/primes.lc 36:7-36:17 'Int -> 'Int->'Int
./testdata/accept/primes.lc 36:1-36:4 'Int -> 'Int->'Int
./testdata/accept/primes.lc 40:10-40:15 V0
./testdata/accept/primes.lc 40:10-40:15 'Bool
./testdata/accept/primes.lc 39:11-39:15 'Bool
./testdata/accept/primes.lc 39:5-39:7 'Ordering
./testdata/accept/primes.lc 39:5-39:7 V1
./testdata/accept/primes.lc 38:15-38:29 'Ordering
./testdata/accept/primes.lc 38:15-38:29 'Int -> 'Int->'Ordering
./testdata/accept/primes.lc 38:3-38:5 'Int -> 'Int->'Bool
./testdata/accept/primes.lc 44:10-44:14 V0
./testdata/accept/primes.lc 44:10-44:14 'Bool
./testdata/accept/primes.lc 43:11-43:16 'Bool
./testdata/accept/primes.lc 43:5-43:7 'Ordering
./testdata/accept/primes.lc 43:5-43:7 V1
./testdata/accept/primes.lc 42:15-42:29 'Ordering
./testdata/accept/primes.lc 42:15-42:29 'Int -> 'Int->'Ordering
./testdata/accept/primes.lc 42:3-42:5 'Int -> 'Int->'Bool
./testdata/accept/primes.lc 46:13-46:17 V0
./testdata/accept/primes.lc 46:13-46:17 'Bool
./testdata/accept/primes.lc 47:12-47:17 'Bool
./testdata/accept/primes.lc 46:5-46:10 'Bool
./testdata/accept/primes.lc 46:5-46:10 V1
./testdata/accept/primes.lc 46:1-46:4 'Bool->'Bool
./testdata/accept/primes.lc 51:10-51:13 V1->V1
./testdata/accept/primes.lc 51:10-51:13 'Bool->'Bool
./testdata/accept/primes.lc 51:3-51:5 'Int -> 'Int->'Bool
./testdata/accept/primes.lc 53:1-53:10 {a} -> a->a -> a
./testdata/accept/primes.lc 53:14-53:26 V0->V1
./testdata/accept/primes.lc 53:14-53:26 V1
./testdata/accept/primes.lc 53:23-53:26 V1 -> 'List V2 -> 'List V2
./testdata/accept/primes.lc 53:23-53:26 'List V2 -> 'List V2
./testdata/accept/primes.lc 53:23-53:26 'List V2
./testdata/accept/primes.lc 53:23-53:26 'Bool
./testdata/accept/primes.lc 53:23-53:24 V6
./testdata/accept/primes.lc 53:25-53:26 V5
./testdata/accept/primes.lc 53:14-53:19 'List V0
./testdata/accept/primes.lc 53:14-53:19 V2
./testdata/accept/primes.lc 53:1-53:10 {a} -> a->'Bool -> 'List a -> 'List a
./testdata/accept/primes.lc 56:1-56:5 {a} -> a->a -> a
./testdata/accept/primes.lc 56:23-56:24 V0->V1
./testdata/accept/primes.lc 56:23-56:24 V1
./testdata/accept/primes.lc 56:23-56:24 'List V1
./testdata/accept/primes.lc 56:23-56:24 'Int
./testdata/accept/primes.lc 56:23-56:24 V0
./testdata/accept/primes.lc 56:1-56:5 'Int -> 'List 'Int
./testdata/accept/primes.lc 61:8-61:10 {a} -> a->a -> a
./testdata/accept/primes.lc 61:2-62:27 V0->V1
./testdata/accept/primes.lc 61:2-62:27 V1
./testdata/accept/primes.lc 61:11-62:27 V1 -> 'List V2 -> V2
./testdata/accept/primes.lc 61:11-62:27 'List V2 -> V2
./testdata/accept/primes.lc 61:11-62:27 V2
./testdata/accept/primes.lc 62:26-62:27 V0
./testdata/accept/primes.lc 62:26-62:27 'Int
./testdata/accept/primes.lc 62:26-62:27 V3
./testdata/accept/primes.lc 61:11-61:12 'Ordering
./testdata/accept/primes.lc 61:11-61:12 'Int
./testdata/accept/primes.lc 61:2-61:6 'List V0
./testdata/accept/primes.lc 61:2-61:6 V3
./testdata/accept/primes.lc 61:8-61:10 {a} -> 'List a -> 'Int->a
|