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/Internals.out | |
parent | 2c5495fe76d2315ff241064d77a7a97014a7f898 (diff) |
better source range handling
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r-- | testdata/Internals.out | 91 |
1 files changed, 83 insertions, 8 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out index d879bffd..414b8176 100644 --- a/testdata/Internals.out +++ b/testdata/Internals.out | |||
@@ -1,166 +1,235 @@ | |||
1 | main is not found | 1 | main is not found |
2 | tooltips: | 2 | tooltips: |
3 | testdata/Internals.lc 5:27-5:31 Type | 3 | testdata/Internals.lc 5:27-5:31 Type |
4 | testdata/Internals.lc 5:35-5:36 Type->Type | ||
4 | testdata/Internals.lc 5:35-5:36 Type | 5 | testdata/Internals.lc 5:35-5:36 Type |
5 | testdata/Internals.lc 5:1-5:10 {a}->a | 6 | testdata/Internals.lc 5:1-5:10 {a}->a |
6 | testdata/Internals.lc 7:25-7:29 Type | 7 | testdata/Internals.lc 7:25-7:29 Type |
7 | testdata/Internals.lc 7:34-7:46 Type | 8 | testdata/Internals.lc 7:33-7:46 Type->Type |
9 | testdata/Internals.lc 7:33-7:46 Type | ||
8 | testdata/Internals.lc 7:34-7:35 Type | 10 | testdata/Internals.lc 7:34-7:35 Type |
11 | testdata/Internals.lc 7:39-7:40 Type->Type | ||
9 | testdata/Internals.lc 7:39-7:40 Type | 12 | testdata/Internals.lc 7:39-7:40 Type |
13 | testdata/Internals.lc 7:45-7:46 Type->Type | ||
10 | testdata/Internals.lc 7:45-7:46 Type | 14 | testdata/Internals.lc 7:45-7:46 Type |
11 | testdata/Internals.lc 7:1-7:8 {a} -> a->a -> a | 15 | testdata/Internals.lc 7:1-7:8 {a} -> a->a -> a |
12 | testdata/Internals.lc 9:6-9:10 Type | 16 | testdata/Internals.lc 9:6-9:10 Type |
13 | testdata/Internals.lc 9:13-9:15 'Unit | 17 | testdata/Internals.lc 9:13-9:15 'Unit |
18 | testdata/Internals.lc 9:6-9:15 Type->Type | ||
14 | testdata/Internals.lc 9:6-9:15 Type | 19 | testdata/Internals.lc 9:6-9:15 Type |
20 | testdata/Internals.lc 9:6-9:10 Type->Type | ||
15 | testdata/Internals.lc 10:6-10:12 Type | 21 | testdata/Internals.lc 10:6-10:12 Type |
22 | testdata/Internals.lc 10:6-10:12 Type->Type | ||
16 | testdata/Internals.lc 11:18-11:24 Type | 23 | testdata/Internals.lc 11:18-11:24 Type |
17 | testdata/Internals.lc 11:6-11:11 'String->Type | 24 | testdata/Internals.lc 11:6-11:11 'String->Type |
25 | testdata/Internals.lc 11:6-11:11 Type->Type | ||
18 | testdata/Internals.lc 11:6-11:11 Type | 26 | testdata/Internals.lc 11:6-11:11 Type |
19 | testdata/Internals.lc 14:6-14:12 Type | 27 | testdata/Internals.lc 14:6-14:12 Type |
20 | testdata/Internals.lc 14:15-14:21 'Tuple0 | 28 | testdata/Internals.lc 14:15-14:21 'Tuple0 |
29 | testdata/Internals.lc 14:6-14:21 Type->Type | ||
21 | testdata/Internals.lc 14:6-14:21 Type | 30 | testdata/Internals.lc 14:6-14:21 Type |
31 | testdata/Internals.lc 14:6-14:12 Type->Type | ||
22 | testdata/Internals.lc 15:6-15:12 Type->Type | 32 | testdata/Internals.lc 15:6-15:12 Type->Type |
33 | testdata/Internals.lc 15:6-15:25 Type->Type | ||
23 | testdata/Internals.lc 15:6-15:25 Type | 34 | testdata/Internals.lc 15:6-15:25 Type |
24 | testdata/Internals.lc 15:24-15:25 Type | 35 | testdata/Internals.lc 15:24-15:25 Type |
25 | testdata/Internals.lc 15:6-15:12 Type | 36 | testdata/Internals.lc 15:6-15:12 Type |
26 | testdata/Internals.lc 15:17-15:23 {a} -> a -> 'Tuple1 a | 37 | testdata/Internals.lc 15:17-15:23 {a} -> a -> 'Tuple1 a |
38 | testdata/Internals.lc 15:6-15:23 Type->Type | ||
27 | testdata/Internals.lc 15:6-15:23 Type | 39 | testdata/Internals.lc 15:6-15:23 Type |
40 | testdata/Internals.lc 15:17-15:23 Type->Type | ||
28 | testdata/Internals.lc 15:17-15:23 Type | 41 | testdata/Internals.lc 15:17-15:23 Type |
29 | testdata/Internals.lc 15:17-15:23 'Tuple1 V2 | 42 | testdata/Internals.lc 15:17-15:23 'Tuple1 V2 |
30 | testdata/Internals.lc 16:6-16:12 Type -> Type->Type | 43 | testdata/Internals.lc 16:6-16:12 Type -> Type->Type |
44 | testdata/Internals.lc 16:6-16:29 Type->Type | ||
31 | testdata/Internals.lc 16:6-16:29 Type | 45 | testdata/Internals.lc 16:6-16:29 Type |
32 | testdata/Internals.lc 16:26-16:27 Type | 46 | testdata/Internals.lc 16:26-16:27 Type |
33 | testdata/Internals.lc 16:28-16:29 Type | 47 | testdata/Internals.lc 16:28-16:29 Type |
48 | testdata/Internals.lc 16:6-16:12 Type->Type | ||
34 | testdata/Internals.lc 16:6-16:12 Type | 49 | testdata/Internals.lc 16:6-16:12 Type |
35 | testdata/Internals.lc 16:19-16:25 {a} -> {b} -> a -> b -> 'Tuple2 a b | 50 | testdata/Internals.lc 16:19-16:25 {a} -> {b} -> a -> b -> 'Tuple2 a b |
51 | testdata/Internals.lc 16:6-16:25 Type->Type | ||
36 | testdata/Internals.lc 16:6-16:25 Type | 52 | testdata/Internals.lc 16:6-16:25 Type |
53 | testdata/Internals.lc 16:19-16:25 Type->Type | ||
37 | testdata/Internals.lc 16:19-16:25 Type | 54 | testdata/Internals.lc 16:19-16:25 Type |
38 | testdata/Internals.lc 16:19-16:25 'Tuple2 V4 V3 | 55 | testdata/Internals.lc 16:19-16:25 'Tuple2 V4 V3 |
39 | testdata/Internals.lc 17:6-17:12 Type -> Type -> Type->Type | 56 | testdata/Internals.lc 17:6-17:12 Type -> Type -> Type->Type |
57 | testdata/Internals.lc 17:6-17:33 Type->Type | ||
40 | testdata/Internals.lc 17:6-17:33 Type | 58 | testdata/Internals.lc 17:6-17:33 Type |
41 | testdata/Internals.lc 17:28-17:29 Type | 59 | testdata/Internals.lc 17:28-17:29 Type |
42 | testdata/Internals.lc 17:30-17:31 Type | 60 | testdata/Internals.lc 17:30-17:31 Type |
43 | testdata/Internals.lc 17:32-17:33 Type | 61 | testdata/Internals.lc 17:32-17:33 Type |
62 | testdata/Internals.lc 17:6-17:12 Type->Type | ||
44 | testdata/Internals.lc 17:6-17:12 Type | 63 | testdata/Internals.lc 17:6-17:12 Type |
45 | testdata/Internals.lc 17:21-17:27 {a} -> {b} -> {c} -> a -> b -> c -> 'Tuple3 a b c | 64 | testdata/Internals.lc 17:21-17:27 {a} -> {b} -> {c} -> a -> b -> c -> 'Tuple3 a b c |
65 | testdata/Internals.lc 17:6-17:27 Type->Type | ||
46 | testdata/Internals.lc 17:6-17:27 Type | 66 | testdata/Internals.lc 17:6-17:27 Type |
67 | testdata/Internals.lc 17:21-17:27 Type->Type | ||
47 | testdata/Internals.lc 17:21-17:27 Type | 68 | testdata/Internals.lc 17:21-17:27 Type |
48 | testdata/Internals.lc 17:21-17:27 'Tuple3 V6 V5 V4 | 69 | testdata/Internals.lc 17:21-17:27 'Tuple3 V6 V5 V4 |
49 | testdata/Internals.lc 18:6-18:12 Type -> Type -> Type -> Type->Type | 70 | testdata/Internals.lc 18:6-18:12 Type -> Type -> Type -> Type->Type |
71 | testdata/Internals.lc 18:6-18:37 Type->Type | ||
50 | testdata/Internals.lc 18:6-18:37 Type | 72 | testdata/Internals.lc 18:6-18:37 Type |
51 | testdata/Internals.lc 18:30-18:31 Type | 73 | testdata/Internals.lc 18:30-18:31 Type |
52 | testdata/Internals.lc 18:32-18:33 Type | 74 | testdata/Internals.lc 18:32-18:33 Type |
53 | testdata/Internals.lc 18:34-18:35 Type | 75 | testdata/Internals.lc 18:34-18:35 Type |
54 | testdata/Internals.lc 18:36-18:37 Type | 76 | testdata/Internals.lc 18:36-18:37 Type |
77 | testdata/Internals.lc 18:6-18:12 Type->Type | ||
55 | testdata/Internals.lc 18:6-18:12 Type | 78 | testdata/Internals.lc 18:6-18:12 Type |
56 | testdata/Internals.lc 18:23-18:29 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> 'Tuple4 a b c d | 79 | testdata/Internals.lc 18:23-18:29 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> 'Tuple4 a b c d |
80 | testdata/Internals.lc 18:6-18:29 Type->Type | ||
57 | testdata/Internals.lc 18:6-18:29 Type | 81 | testdata/Internals.lc 18:6-18:29 Type |
82 | testdata/Internals.lc 18:23-18:29 Type->Type | ||
58 | testdata/Internals.lc 18:23-18:29 Type | 83 | testdata/Internals.lc 18:23-18:29 Type |
59 | testdata/Internals.lc 18:23-18:29 'Tuple4 V8 V7 V6 V5 | 84 | testdata/Internals.lc 18:23-18:29 'Tuple4 V8 V7 V6 V5 |
60 | testdata/Internals.lc 19:6-19:12 Type -> Type -> Type -> Type -> Type->Type | 85 | testdata/Internals.lc 19:6-19:12 Type -> Type -> Type -> Type -> Type->Type |
86 | testdata/Internals.lc 19:6-19:41 Type->Type | ||
61 | testdata/Internals.lc 19:6-19:41 Type | 87 | testdata/Internals.lc 19:6-19:41 Type |
62 | testdata/Internals.lc 19:32-19:33 Type | 88 | testdata/Internals.lc 19:32-19:33 Type |
63 | testdata/Internals.lc 19:34-19:35 Type | 89 | testdata/Internals.lc 19:34-19:35 Type |
64 | testdata/Internals.lc 19:36-19:37 Type | 90 | testdata/Internals.lc 19:36-19:37 Type |
65 | testdata/Internals.lc 19:38-19:39 Type | 91 | testdata/Internals.lc 19:38-19:39 Type |
66 | testdata/Internals.lc 19:40-19:41 Type | 92 | testdata/Internals.lc 19:40-19:41 Type |
93 | testdata/Internals.lc 19:6-19:12 Type->Type | ||
67 | testdata/Internals.lc 19:6-19:12 Type | 94 | testdata/Internals.lc 19:6-19:12 Type |
68 | testdata/Internals.lc 19:25-19:31 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> 'Tuple5 a b c d e | 95 | testdata/Internals.lc 19:25-19:31 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> 'Tuple5 a b c d e |
96 | testdata/Internals.lc 19:6-19:31 Type->Type | ||
69 | testdata/Internals.lc 19:6-19:31 Type | 97 | testdata/Internals.lc 19:6-19:31 Type |
98 | testdata/Internals.lc 19:25-19:31 Type->Type | ||
70 | testdata/Internals.lc 19:25-19:31 Type | 99 | testdata/Internals.lc 19:25-19:31 Type |
71 | testdata/Internals.lc 19:25-19:31 'Tuple5 V10 V9 V8 V7 V6 | 100 | testdata/Internals.lc 19:25-19:31 'Tuple5 V10 V9 V8 V7 V6 |
101 | testdata/Internals.lc 25:24-25:35 Type->Type | ||
72 | testdata/Internals.lc 25:24-25:35 Type | 102 | testdata/Internals.lc 25:24-25:35 Type |
73 | testdata/Internals.lc 25:24-25:25 V1 | 103 | testdata/Internals.lc 25:24-25:25 V1 |
104 | testdata/Internals.lc 25:29-25:35 Type->Type | ||
74 | testdata/Internals.lc 25:29-25:35 Type | 105 | testdata/Internals.lc 25:29-25:35 Type |
75 | testdata/Internals.lc 25:29-25:30 Type | 106 | testdata/Internals.lc 25:29-25:30 Type |
107 | testdata/Internals.lc 25:34-25:35 Type->Type | ||
76 | testdata/Internals.lc 25:34-25:35 Type | 108 | testdata/Internals.lc 25:34-25:35 Type |
77 | testdata/Internals.lc 25:1-25:8 a:Type -> a -> a->a | 109 | testdata/Internals.lc 25:1-25:8 a:Type -> a -> a->a |
78 | testdata/Internals.lc 27:24-27:28 Type | 110 | testdata/Internals.lc 27:24-27:28 Type |
111 | testdata/Internals.lc 27:36-27:46 Type->Type | ||
79 | testdata/Internals.lc 27:36-27:46 Type | 112 | testdata/Internals.lc 27:36-27:46 Type |
80 | testdata/Internals.lc 27:36-27:37 Type | 113 | testdata/Internals.lc 27:36-27:37 Type |
114 | testdata/Internals.lc 27:45-27:46 Type->Type | ||
81 | testdata/Internals.lc 27:45-27:46 Type | 115 | testdata/Internals.lc 27:45-27:46 Type |
82 | testdata/Internals.lc 27:13-27:17 a:Type -> a -> a->Type | 116 | testdata/Internals.lc 27:13-27:17 a:Type -> a -> a->Type |
83 | testdata/Internals.lc 28:13-28:15 Type -> Type->Type | 117 | testdata/Internals.lc 28:13-28:15 Type -> Type->Type |
84 | testdata/Internals.lc 31:8-31:12 Type | 118 | testdata/Internals.lc 31:8-31:12 Type |
119 | testdata/Internals.lc 31:16-31:28 Type->Type | ||
85 | testdata/Internals.lc 31:16-31:28 Type | 120 | testdata/Internals.lc 31:16-31:28 Type |
86 | testdata/Internals.lc 31:16-31:20 Type | 121 | testdata/Internals.lc 31:16-31:20 Type |
122 | testdata/Internals.lc 31:24-31:28 Type->Type | ||
87 | testdata/Internals.lc 31:24-31:28 Type | 123 | testdata/Internals.lc 31:24-31:28 Type |
88 | testdata/Internals.lc 31:1-31:4 'Unit -> 'Unit->'Unit | 124 | testdata/Internals.lc 31:1-31:4 'Unit -> 'Unit->'Unit |
89 | testdata/Internals.lc 34:6-34:9 Type | 125 | testdata/Internals.lc 34:6-34:9 Type |
126 | testdata/Internals.lc 34:6-34:9 Type->Type | ||
90 | testdata/Internals.lc 35:6-35:10 Type | 127 | testdata/Internals.lc 35:6-35:10 Type |
128 | testdata/Internals.lc 35:6-35:10 Type->Type | ||
91 | testdata/Internals.lc 36:6-36:11 Type | 129 | testdata/Internals.lc 36:6-36:11 Type |
130 | testdata/Internals.lc 36:6-36:11 Type->Type | ||
92 | testdata/Internals.lc 37:6-37:10 Type | 131 | testdata/Internals.lc 37:6-37:10 Type |
132 | testdata/Internals.lc 37:6-37:10 Type->Type | ||
93 | testdata/Internals.lc 39:6-39:10 Type | 133 | testdata/Internals.lc 39:6-39:10 Type |
94 | testdata/Internals.lc 39:13-39:18 'Bool | 134 | testdata/Internals.lc 39:13-39:18 'Bool |
95 | testdata/Internals.lc 39:21-39:25 'Bool | 135 | testdata/Internals.lc 39:21-39:25 'Bool |
136 | testdata/Internals.lc 39:6-39:25 Type->Type | ||
96 | testdata/Internals.lc 39:6-39:25 Type | 137 | testdata/Internals.lc 39:6-39:25 Type |
138 | testdata/Internals.lc 39:6-39:10 Type->Type | ||
97 | testdata/Internals.lc 41:6-41:14 Type | 139 | testdata/Internals.lc 41:6-41:14 Type |
98 | testdata/Internals.lc 41:17-41:19 'Ordering | 140 | testdata/Internals.lc 41:17-41:19 'Ordering |
99 | testdata/Internals.lc 41:22-41:24 'Ordering | 141 | testdata/Internals.lc 41:22-41:24 'Ordering |
100 | testdata/Internals.lc 41:27-41:29 'Ordering | 142 | testdata/Internals.lc 41:27-41:29 'Ordering |
143 | testdata/Internals.lc 41:6-41:29 Type->Type | ||
101 | testdata/Internals.lc 41:6-41:29 Type | 144 | testdata/Internals.lc 41:6-41:29 Type |
145 | testdata/Internals.lc 41:6-41:14 Type->Type | ||
102 | testdata/Internals.lc 44:24-44:27 Type | 146 | testdata/Internals.lc 44:24-44:27 Type |
147 | testdata/Internals.lc 44:33-44:37 Type->Type | ||
103 | testdata/Internals.lc 44:33-44:37 Type | 148 | testdata/Internals.lc 44:33-44:37 Type |
104 | testdata/Internals.lc 44:1-44:14 'Int->'Word | 149 | testdata/Internals.lc 44:1-44:14 'Int->'Word |
105 | testdata/Internals.lc 45:24-45:27 Type | 150 | testdata/Internals.lc 45:24-45:27 Type |
151 | testdata/Internals.lc 45:33-45:38 Type->Type | ||
106 | testdata/Internals.lc 45:33-45:38 Type | 152 | testdata/Internals.lc 45:33-45:38 Type |
107 | testdata/Internals.lc 45:1-45:15 'Int->'Float | 153 | testdata/Internals.lc 45:1-45:15 'Int->'Float |
108 | testdata/Internals.lc 46:24-46:27 Type | 154 | testdata/Internals.lc 46:24-46:27 Type |
155 | testdata/Internals.lc 46:33-46:50 Type->Type | ||
109 | testdata/Internals.lc 46:33-46:50 Type | 156 | testdata/Internals.lc 46:33-46:50 Type |
110 | testdata/Internals.lc 46:33-46:36 Type | 157 | testdata/Internals.lc 46:33-46:36 Type |
158 | testdata/Internals.lc 46:42-46:50 Type->Type | ||
111 | testdata/Internals.lc 46:42-46:50 Type | 159 | testdata/Internals.lc 46:42-46:50 Type |
112 | testdata/Internals.lc 46:1-46:15 'Int -> 'Int->'Ordering | 160 | testdata/Internals.lc 46:1-46:15 'Int -> 'Int->'Ordering |
113 | testdata/Internals.lc 47:24-47:28 Type | 161 | testdata/Internals.lc 47:24-47:28 Type |
162 | testdata/Internals.lc 47:33-47:50 Type->Type | ||
114 | testdata/Internals.lc 47:33-47:50 Type | 163 | testdata/Internals.lc 47:33-47:50 Type |
115 | testdata/Internals.lc 47:33-47:37 Type | 164 | testdata/Internals.lc 47:33-47:37 Type |
165 | testdata/Internals.lc 47:42-47:50 Type->Type | ||
116 | testdata/Internals.lc 47:42-47:50 Type | 166 | testdata/Internals.lc 47:42-47:50 Type |
117 | testdata/Internals.lc 47:1-47:16 'Word -> 'Word->'Ordering | 167 | testdata/Internals.lc 47:1-47:16 'Word -> 'Word->'Ordering |
118 | testdata/Internals.lc 48:24-48:29 Type | 168 | testdata/Internals.lc 48:24-48:29 Type |
169 | testdata/Internals.lc 48:33-48:50 Type->Type | ||
119 | testdata/Internals.lc 48:33-48:50 Type | 170 | testdata/Internals.lc 48:33-48:50 Type |
120 | testdata/Internals.lc 48:33-48:38 Type | 171 | testdata/Internals.lc 48:33-48:38 Type |
172 | testdata/Internals.lc 48:42-48:50 Type->Type | ||
121 | testdata/Internals.lc 48:42-48:50 Type | 173 | testdata/Internals.lc 48:42-48:50 Type |
122 | testdata/Internals.lc 48:1-48:17 'Float -> 'Float->'Ordering | 174 | testdata/Internals.lc 48:1-48:17 'Float -> 'Float->'Ordering |
123 | testdata/Internals.lc 49:24-49:30 Type | 175 | testdata/Internals.lc 49:24-49:30 Type |
176 | testdata/Internals.lc 49:34-49:52 Type->Type | ||
124 | testdata/Internals.lc 49:34-49:52 Type | 177 | testdata/Internals.lc 49:34-49:52 Type |
125 | testdata/Internals.lc 49:34-49:40 Type | 178 | testdata/Internals.lc 49:34-49:40 Type |
179 | testdata/Internals.lc 49:44-49:52 Type->Type | ||
126 | testdata/Internals.lc 49:44-49:52 Type | 180 | testdata/Internals.lc 49:44-49:52 Type |
127 | testdata/Internals.lc 49:1-49:18 'String -> 'String->'Ordering | 181 | testdata/Internals.lc 49:1-49:18 'String -> 'String->'Ordering |
128 | testdata/Internals.lc 50:24-50:27 Type | 182 | testdata/Internals.lc 50:24-50:27 Type |
183 | testdata/Internals.lc 50:33-50:36 Type->Type | ||
129 | testdata/Internals.lc 50:33-50:36 Type | 184 | testdata/Internals.lc 50:33-50:36 Type |
130 | testdata/Internals.lc 50:1-50:14 'Int->'Int | 185 | testdata/Internals.lc 50:1-50:14 'Int->'Int |
131 | testdata/Internals.lc 51:24-51:28 Type | 186 | testdata/Internals.lc 51:24-51:28 Type |
187 | testdata/Internals.lc 51:33-51:37 Type->Type | ||
132 | testdata/Internals.lc 51:33-51:37 Type | 188 | testdata/Internals.lc 51:33-51:37 Type |
133 | testdata/Internals.lc 51:1-51:15 'Word->'Word | 189 | testdata/Internals.lc 51:1-51:15 'Word->'Word |
134 | testdata/Internals.lc 52:24-52:29 Type | 190 | testdata/Internals.lc 52:24-52:29 Type |
191 | testdata/Internals.lc 52:33-52:38 Type->Type | ||
135 | testdata/Internals.lc 52:33-52:38 Type | 192 | testdata/Internals.lc 52:33-52:38 Type |
136 | testdata/Internals.lc 52:1-52:16 'Float->'Float | 193 | testdata/Internals.lc 52:1-52:16 'Float->'Float |
137 | testdata/Internals.lc 53:24-53:27 Type | 194 | testdata/Internals.lc 53:24-53:27 Type |
195 | testdata/Internals.lc 53:33-53:45 Type->Type | ||
138 | testdata/Internals.lc 53:33-53:45 Type | 196 | testdata/Internals.lc 53:33-53:45 Type |
139 | testdata/Internals.lc 53:33-53:36 Type | 197 | testdata/Internals.lc 53:33-53:36 Type |
198 | testdata/Internals.lc 53:42-53:45 Type->Type | ||
140 | testdata/Internals.lc 53:42-53:45 Type | 199 | testdata/Internals.lc 53:42-53:45 Type |
141 | testdata/Internals.lc 53:1-53:11 'Int -> 'Int->'Int | 200 | testdata/Internals.lc 53:1-53:11 'Int -> 'Int->'Int |
142 | testdata/Internals.lc 54:24-54:27 Type | 201 | testdata/Internals.lc 54:24-54:27 Type |
202 | testdata/Internals.lc 54:33-54:45 Type->Type | ||
143 | testdata/Internals.lc 54:33-54:45 Type | 203 | testdata/Internals.lc 54:33-54:45 Type |
144 | testdata/Internals.lc 54:33-54:36 Type | 204 | testdata/Internals.lc 54:33-54:36 Type |
205 | testdata/Internals.lc 54:42-54:45 Type->Type | ||
145 | testdata/Internals.lc 54:42-54:45 Type | 206 | testdata/Internals.lc 54:42-54:45 Type |
146 | testdata/Internals.lc 54:1-54:11 'Int -> 'Int->'Int | 207 | testdata/Internals.lc 54:1-54:11 'Int -> 'Int->'Int |
147 | testdata/Internals.lc 55:24-55:27 Type | 208 | testdata/Internals.lc 55:24-55:27 Type |
209 | testdata/Internals.lc 55:33-55:45 Type->Type | ||
148 | testdata/Internals.lc 55:33-55:45 Type | 210 | testdata/Internals.lc 55:33-55:45 Type |
149 | testdata/Internals.lc 55:33-55:36 Type | 211 | testdata/Internals.lc 55:33-55:36 Type |
212 | testdata/Internals.lc 55:42-55:45 Type->Type | ||
150 | testdata/Internals.lc 55:42-55:45 Type | 213 | testdata/Internals.lc 55:42-55:45 Type |
151 | testdata/Internals.lc 55:1-55:11 'Int -> 'Int->'Int | 214 | testdata/Internals.lc 55:1-55:11 'Int -> 'Int->'Int |
152 | testdata/Internals.lc 56:24-56:29 Type | 215 | testdata/Internals.lc 56:24-56:29 Type |
216 | testdata/Internals.lc 56:33-56:38 Type->Type | ||
153 | testdata/Internals.lc 56:33-56:38 Type | 217 | testdata/Internals.lc 56:33-56:38 Type |
154 | testdata/Internals.lc 56:1-56:14 'Float->'Float | 218 | testdata/Internals.lc 56:1-56:14 'Float->'Float |
155 | testdata/Internals.lc 57:24-57:29 Type | 219 | testdata/Internals.lc 57:24-57:29 Type |
220 | testdata/Internals.lc 57:33-57:36 Type->Type | ||
156 | testdata/Internals.lc 57:33-57:36 Type | 221 | testdata/Internals.lc 57:33-57:36 Type |
157 | testdata/Internals.lc 57:1-57:10 'Float->'Int | 222 | testdata/Internals.lc 57:1-57:10 'Float->'Int |
158 | testdata/Internals.lc 60:19-60:38 Type | 223 | testdata/Internals.lc 60:19-60:38 Type |
224 | testdata/Internals.lc 60:19-60:38 Type->Type | ||
159 | testdata/Internals.lc 60:19-60:23 Type | 225 | testdata/Internals.lc 60:19-60:23 Type |
226 | testdata/Internals.lc 60:27-60:38 Type->Type | ||
160 | testdata/Internals.lc 60:27-60:38 Type | 227 | testdata/Internals.lc 60:27-60:38 Type |
161 | testdata/Internals.lc 60:27-60:28 V2 | 228 | testdata/Internals.lc 60:27-60:28 V2 |
229 | testdata/Internals.lc 60:32-60:38 Type->Type | ||
162 | testdata/Internals.lc 60:32-60:38 Type | 230 | testdata/Internals.lc 60:32-60:38 Type |
163 | testdata/Internals.lc 60:32-60:33 Type | 231 | testdata/Internals.lc 60:32-60:33 Type |
232 | testdata/Internals.lc 60:37-60:38 Type->Type | ||
164 | testdata/Internals.lc 60:37-60:38 Type | 233 | testdata/Internals.lc 60:37-60:38 Type |
165 | testdata/Internals.lc 61:16-62:29 {a} -> 'Bool -> a -> a->a | 234 | testdata/Internals.lc 61:16-62:29 {a} -> 'Bool -> a -> a->a |
166 | testdata/Internals.lc 61:16-62:29 'Bool -> V1 -> V2->V3 | 235 | testdata/Internals.lc 61:16-62:29 'Bool -> V1 -> V2->V3 |
@@ -172,20 +241,19 @@ testdata/Internals.lc 62:28-62:29 V4 | |||
172 | testdata/Internals.lc 61:28-61:29 V3 | 241 | testdata/Internals.lc 61:28-61:29 V3 |
173 | testdata/Internals.lc 61:16-61:20 'Bool | 242 | testdata/Internals.lc 61:16-61:20 'Bool |
174 | testdata/Internals.lc 61:1-61:15 {a} -> 'Bool -> a -> a->a | 243 | testdata/Internals.lc 61:1-61:15 {a} -> 'Bool -> a -> a->a |
175 | testdata/Internals.lc 70:10-78:19 Type->Type | 244 | testdata/Internals.lc 70:14-78:19 Type->Type |
176 | testdata/Internals.lc 70:10-78:19 Type | 245 | testdata/Internals.lc 70:14-78:19 Type |
177 | testdata/Internals.lc 70:10-70:13 Type | ||
178 | testdata/Internals.lc 70:14-70:17 Type | 246 | testdata/Internals.lc 70:14-70:17 Type |
179 | testdata/Internals.lc 74:10-78:19 Type | 247 | testdata/Internals.lc 74:14-78:19 Type |
180 | testdata/Internals.lc 74:10-74:13 Type | ||
181 | testdata/Internals.lc 74:14-74:18 Type | 248 | testdata/Internals.lc 74:14-74:18 Type |
182 | testdata/Internals.lc 78:10-78:19 Type | ||
183 | testdata/Internals.lc 78:10-78:13 Type | ||
184 | testdata/Internals.lc 78:14-78:19 Type | 249 | testdata/Internals.lc 78:14-78:19 Type |
185 | testdata/Internals.lc 65:7-65:10 Type->Type | 250 | testdata/Internals.lc 65:7-65:10 Type->Type |
186 | testdata/Internals.lc 65:7-66:22 Type | 251 | testdata/Internals.lc 65:7-66:22 Type |
252 | testdata/Internals.lc 65:7-66:22 Type->Type | ||
253 | testdata/Internals.lc 66:14-66:22 Type->Type | ||
187 | testdata/Internals.lc 66:14-66:22 Type | 254 | testdata/Internals.lc 66:14-66:22 Type |
188 | testdata/Internals.lc 66:14-66:17 Type | 255 | testdata/Internals.lc 66:14-66:17 Type |
256 | testdata/Internals.lc 66:21-66:22 Type->Type | ||
189 | testdata/Internals.lc 66:21-66:22 Type | 257 | testdata/Internals.lc 66:21-66:22 Type |
190 | testdata/Internals.lc 70:14-79:27 {a} -> {b : 'Num a} -> 'Int->a | 258 | testdata/Internals.lc 70:14-79:27 {a} -> {b : 'Num a} -> 'Int->a |
191 | testdata/Internals.lc 70:14-79:27 {a : 'Num V0} -> 'Int->V2 | 259 | testdata/Internals.lc 70:14-79:27 {a : 'Num V0} -> 'Int->V2 |
@@ -200,10 +268,14 @@ testdata/Internals.lc 79:13-79:27 {a:'Unit} -> 'Int->'Float | |||
200 | testdata/Internals.lc 79:13-79:27 'Int->'Float | 268 | testdata/Internals.lc 79:13-79:27 'Int->'Float |
201 | testdata/Internals.lc 66:3-66:10 {a} -> {b : 'Num a} -> 'Int->a | 269 | testdata/Internals.lc 66:3-66:10 {a} -> {b : 'Num a} -> 'Int->a |
202 | testdata/Internals.lc 65:7-67:32 Type | 270 | testdata/Internals.lc 65:7-67:32 Type |
271 | testdata/Internals.lc 65:7-67:32 Type->Type | ||
272 | testdata/Internals.lc 67:14-67:32 Type->Type | ||
203 | testdata/Internals.lc 67:14-67:32 Type | 273 | testdata/Internals.lc 67:14-67:32 Type |
204 | testdata/Internals.lc 67:14-67:15 Type | 274 | testdata/Internals.lc 67:14-67:15 Type |
275 | testdata/Internals.lc 67:19-67:32 Type->Type | ||
205 | testdata/Internals.lc 67:19-67:32 Type | 276 | testdata/Internals.lc 67:19-67:32 Type |
206 | testdata/Internals.lc 67:19-67:20 Type | 277 | testdata/Internals.lc 67:19-67:20 Type |
278 | testdata/Internals.lc 67:24-67:32 Type->Type | ||
207 | testdata/Internals.lc 67:24-67:32 Type | 279 | testdata/Internals.lc 67:24-67:32 Type |
208 | testdata/Internals.lc 70:14-80:29 {a} -> {b : 'Num a} -> a -> a->'Ordering | 280 | testdata/Internals.lc 70:14-80:29 {a} -> {b : 'Num a} -> a -> a->'Ordering |
209 | testdata/Internals.lc 70:14-80:29 {a : 'Num V0} -> V1 -> V2->'Ordering | 281 | testdata/Internals.lc 70:14-80:29 {a : 'Num V0} -> V1 -> V2->'Ordering |
@@ -217,8 +289,11 @@ testdata/Internals.lc 80:13-80:29 {a:'Unit} -> 'Float -> 'Float->'Ordering | |||
217 | testdata/Internals.lc 80:13-80:29 'Float -> 'Float->'Ordering | 289 | testdata/Internals.lc 80:13-80:29 'Float -> 'Float->'Ordering |
218 | testdata/Internals.lc 67:3-67:10 {a} -> {b : 'Num a} -> a -> a->'Ordering | 290 | testdata/Internals.lc 67:3-67:10 {a} -> {b : 'Num a} -> a -> a->'Ordering |
219 | testdata/Internals.lc 65:7-68:19 Type | 291 | testdata/Internals.lc 65:7-68:19 Type |
292 | testdata/Internals.lc 65:7-68:19 Type->Type | ||
293 | testdata/Internals.lc 68:13-68:19 Type->Type | ||
220 | testdata/Internals.lc 68:13-68:19 Type | 294 | testdata/Internals.lc 68:13-68:19 Type |
221 | testdata/Internals.lc 68:13-68:14 Type | 295 | testdata/Internals.lc 68:13-68:14 Type |
296 | testdata/Internals.lc 68:18-68:19 Type->Type | ||
222 | testdata/Internals.lc 68:18-68:19 Type | 297 | testdata/Internals.lc 68:18-68:19 Type |
223 | testdata/Internals.lc 70:14-81:28 {a} -> {b : 'Num a} -> a->a | 298 | testdata/Internals.lc 70:14-81:28 {a} -> {b : 'Num a} -> a->a |
224 | testdata/Internals.lc 70:14-81:28 {a : 'Num V0} -> V1->V2 | 299 | testdata/Internals.lc 70:14-81:28 {a : 'Num V0} -> V1->V2 |