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