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