summaryrefslogtreecommitdiff
path: root/testdata/Prelude.out
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2016-01-19 15:59:35 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2016-01-19 16:10:49 +0100
commitcb69693769ebfcdac605c90f38a20c788b08eaf3 (patch)
tree3689094c7ff13f45cc928a7dfaafff2652ed4c03 /testdata/Prelude.out
parentd5f3ef4a65218b966f7463511896fd901a4d1d77 (diff)
normalise paths and fix self export handling
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r--testdata/Prelude.out926
1 files changed, 926 insertions, 0 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
new file mode 100644
index 00000000..5931e398
--- /dev/null
+++ b/testdata/Prelude.out
@@ -0,0 +1,926 @@
1main is not found
2tooltips:
3./testdata/accept/Prelude.lc 16:1-16:6 {a} -> {b} -> a -> b->a
4./testdata/accept/Prelude.lc 18:13-18:17 'Bool
5./testdata/accept/Prelude.lc 18:1-18:10 'Bool
6./testdata/accept/Prelude.lc 20:3-20:4 {a} -> {b} -> a -> a->b -> b
7./testdata/accept/Prelude.lc 22:15-22:16 V3
8./testdata/accept/Prelude.lc 22:17-22:18 V4
9./testdata/accept/Prelude.lc 22:1-22:4 {a} -> {b} -> a->b -> a->b
10./testdata/accept/Prelude.lc 23:17-23:18 V5
11./testdata/accept/Prelude.lc 23:20-23:21 V6
12./testdata/accept/Prelude.lc 23:22-23:23 V7
13./testdata/accept/Prelude.lc 23:1-23:4 {a} -> {b} -> {c} -> b->c -> a->b -> a->c
14./testdata/accept/Prelude.lc 25:12-25:16 'Tuple2 V2 V1
15./testdata/accept/Prelude.lc 25:12-25:16 V4
16./testdata/accept/Prelude.lc 25:1-25:8 {a} -> {b} -> {c} -> (a -> b->c) -> 'Tuple2 a b -> c
17./testdata/accept/Prelude.lc 27:20-27:30 V2 -> V2->V2
18./testdata/accept/Prelude.lc 27:20-27:30 V2->V2
19./testdata/accept/Prelude.lc 27:20-27:30 V2
20./testdata/accept/Prelude.lc 27:20-27:30 {a} -> {b} -> a -> b -> 'Tuple2 a b
21./testdata/accept/Prelude.lc 27:12-27:16 'Tuple2 V3 V2
22./testdata/accept/Prelude.lc 27:12-27:16 V5
23./testdata/accept/Prelude.lc 27:1-27:6 {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> 'Tuple2 a b -> 'Tuple2 c d
24./testdata/accept/Prelude.lc 29:6-29:10 'Float
25./testdata/accept/Prelude.lc 29:1-29:3 'Float
26./testdata/accept/Prelude.lc 32:1-32:4 {a} -> a->a -> a
27./testdata/accept/Prelude.lc 31:8-34:28 V0->V1
28./testdata/accept/Prelude.lc 31:8-34:28 V1
29./testdata/accept/Prelude.lc 31:8-31:29 Type
30./testdata/accept/Prelude.lc 31:8-31:29 V3
31./testdata/accept/Prelude.lc 31:8-31:29 V2
32./testdata/accept/Prelude.lc 31:23-31:28 Type -> Type->Type
33./testdata/accept/Prelude.lc 34:23-34:28 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
34./testdata/accept/Prelude.lc 34:23-34:28 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a)
35./testdata/accept/Prelude.lc 34:23-34:28 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2)
36./testdata/accept/Prelude.lc 34:23-34:28 'List V1 -> 'List ('Tuple2 V3 V2)
37./testdata/accept/Prelude.lc 34:23-34:28 'List ('Tuple2 V3 V2)
38./testdata/accept/Prelude.lc 34:23-34:28 V1 -> 'List V2 -> 'List V2
39./testdata/accept/Prelude.lc 34:23-34:28 'List V2 -> 'List V2
40./testdata/accept/Prelude.lc 34:23-34:28 'List V2
41./testdata/accept/Prelude.lc 34:23-34:28 V0
42./testdata/accept/Prelude.lc 34:23-34:28 {a} -> {b} -> a -> b -> 'Tuple2 a b
43./testdata/accept/Prelude.lc 32:1-32:4 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
44./testdata/accept/Prelude.lc 37:1-37:6 {a} -> a->a -> a
45./testdata/accept/Prelude.lc 36:10-39:27 V0->V1
46./testdata/accept/Prelude.lc 36:10-39:27 V1
47./testdata/accept/Prelude.lc 36:10-36:30 Type
48./testdata/accept/Prelude.lc 36:11-36:16 Type -> Type->Type
49./testdata/accept/Prelude.lc 36:10-36:30 V3
50./testdata/accept/Prelude.lc 36:10-36:30 V1
51./testdata/accept/Prelude.lc 36:21-36:30 Type -> Type->Type
52./testdata/accept/Prelude.lc 37:12-39:27 {a} -> {b} -> 'List ('Tuple2 a b) -> 'Tuple2 ('List a) ('List b)
53./testdata/accept/Prelude.lc 37:12-39:27 {a} -> 'List ('Tuple2 V1 a) -> 'Tuple2 ('List V2) ('List a)
54./testdata/accept/Prelude.lc 37:12-39:27 'List ('Tuple2 V1 V0) -> 'Tuple2 ('List V2) ('List V1)
55./testdata/accept/Prelude.lc 37:12-39:27 'Tuple2 ('List V2) ('List V1)
56./testdata/accept/Prelude.lc 37:12-37:19 V0
57./testdata/accept/Prelude.lc 37:12-37:19 {a} -> {b} -> a -> b -> 'Tuple2 a b
58./testdata/accept/Prelude.lc 38:20-39:27 V2 -> 'List V3 -> 'Tuple2 ('List V3) ('List V2)
59./testdata/accept/Prelude.lc 38:20-39:27 'List V3 -> 'Tuple2 ('List V3) ('List V2)
60./testdata/accept/Prelude.lc 38:20-39:27 'Tuple2 ('List V3) ('List V2)
61./testdata/accept/Prelude.lc 38:20-39:27 V2 -> V2->V2
62./testdata/accept/Prelude.lc 38:20-39:27 V2->V2
63./testdata/accept/Prelude.lc 38:20-39:27 V2
64./testdata/accept/Prelude.lc 38:20-38:31 V2 -> V2->V2
65./testdata/accept/Prelude.lc 38:20-38:31 V2->V2
66./testdata/accept/Prelude.lc 38:20-38:31 V2
67./testdata/accept/Prelude.lc 38:20-38:31 {a} -> {b} -> a -> b -> 'Tuple2 a b
68./testdata/accept/Prelude.lc 38:20-38:31 V1
69./testdata/accept/Prelude.lc 38:20-38:31 'List V12
70./testdata/accept/Prelude.lc 38:20-38:31 V5
71./testdata/accept/Prelude.lc 38:20-38:31 V0
72./testdata/accept/Prelude.lc 38:20-38:31 'List V8
73./testdata/accept/Prelude.lc 39:10-39:15 'Tuple2 ('List V6) ('List V5)
74./testdata/accept/Prelude.lc 39:10-39:15 V1
75./testdata/accept/Prelude.lc 39:19-39:27 'Tuple2 ('List V3) ('List V2)
76./testdata/accept/Prelude.lc 39:19-39:24 {a} -> {b} -> 'List ('Tuple2 a b) -> 'Tuple2 ('List a) ('List b)
77./testdata/accept/Prelude.lc 39:25-39:27 'List ('Tuple2 V1 V0)
78./testdata/accept/Prelude.lc 39:25-39:27 'List V10
79./testdata/accept/Prelude.lc 37:1-37:6 {a} -> {b} -> 'List ('Tuple2 a b) -> 'Tuple2 ('List a) ('List b)
80./testdata/accept/Prelude.lc 41:1-41:7 {a} -> a->a -> a
81./testdata/accept/Prelude.lc 43:24-43:28 V0->V1
82./testdata/accept/Prelude.lc 43:24-43:28 V1
83./testdata/accept/Prelude.lc 43:24-43:28 V1 -> 'List V2 -> 'List V2
84./testdata/accept/Prelude.lc 43:24-43:28 'List V2 -> 'List V2
85./testdata/accept/Prelude.lc 43:24-43:28 'List V2
86./testdata/accept/Prelude.lc 43:24-43:28 'Bool
87./testdata/accept/Prelude.lc 41:1-41:7 {a} -> a->'Bool -> 'List a -> 'List a
88./testdata/accept/Prelude.lc 46:9-46:17 Type
89./testdata/accept/Prelude.lc 46:9-46:17 V1
90./testdata/accept/Prelude.lc 47:7-47:11 {a} -> 'List a -> a
91./testdata/accept/Prelude.lc 47:7-47:11 'List V0 -> V1
92./testdata/accept/Prelude.lc 47:7-47:11 V1
93./testdata/accept/Prelude.lc 47:7-47:11 'List V1
94./testdata/accept/Prelude.lc 47:1-47:5 {a} -> 'List a -> a
95./testdata/accept/Prelude.lc 49:9-49:19 Type
96./testdata/accept/Prelude.lc 49:9-49:19 V1
97./testdata/accept/Prelude.lc 50:7-50:12 {a} -> 'List a -> 'List a
98./testdata/accept/Prelude.lc 50:7-50:12 'List V0 -> 'List V1
99./testdata/accept/Prelude.lc 50:7-50:12 'List V1
100./testdata/accept/Prelude.lc 50:1-50:5 {a} -> 'List a -> 'List a
101./testdata/accept/Prelude.lc 52:10-52:25 Type
102./testdata/accept/Prelude.lc 52:10-52:25 V1
103./testdata/accept/Prelude.lc 52:18-52:24 Type -> Type->Type
104./testdata/accept/Prelude.lc 53:11-53:22 {a} -> 'List a -> 'List ('Tuple2 a a)
105./testdata/accept/Prelude.lc 53:11-53:22 'List V0 -> 'List ('Tuple2 V1 V1)
106./testdata/accept/Prelude.lc 53:11-53:22 'List ('Tuple2 V1 V1)
107./testdata/accept/Prelude.lc 53:11-53:14 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
108./testdata/accept/Prelude.lc 53:18-53:22 'List V1
109./testdata/accept/Prelude.lc 53:18-53:22 {a} -> 'List a -> 'List a
110./testdata/accept/Prelude.lc 53:1-53:6 {a} -> 'List a -> 'List ('Tuple2 a a)
111./testdata/accept/Prelude.lc 55:1-55:7 {a} -> a->a -> a
112./testdata/accept/Prelude.lc 55:1-55:7 {a} -> {b} -> (a -> b->a) -> a -> 'List b -> a
113./testdata/accept/Prelude.lc 58:1-58:10 {a} -> a -> 'List a
114./testdata/accept/Prelude.lc 60:1-60:7 {a} -> a->a -> a
115./testdata/accept/Prelude.lc 60:1-60:7 {a} -> 'List a -> 'List a -> 'List a
116./testdata/accept/Prelude.lc 63:10-63:16 {a} -> {b} -> (a -> b->a) -> a -> 'List b -> a
117./testdata/accept/Prelude.lc 63:17-63:23 V1 -> V1->V3
118./testdata/accept/Prelude.lc 63:17-63:23 {a} -> 'List a -> 'List a -> 'List a
119./testdata/accept/Prelude.lc 63:1-63:7 {a} -> 'List ('List a) -> 'List a
120./testdata/accept/Prelude.lc 65:1-65:4 {a} -> a->a -> a
121./testdata/accept/Prelude.lc 65:1-65:4 {a} -> {b} -> a->b -> 'List a -> 'List b
122./testdata/accept/Prelude.lc 68:15-68:38 Type
123./testdata/accept/Prelude.lc 68:15-68:38 V3
124./testdata/accept/Prelude.lc 68:15-68:38 V2
125./testdata/accept/Prelude.lc 69:17-69:28 {a} -> {b} -> (a -> 'List b) -> 'List a -> 'List b
126./testdata/accept/Prelude.lc 69:17-69:28 {a} -> (V1 -> 'List a) -> 'List V2 -> 'List a
127./testdata/accept/Prelude.lc 69:17-69:28 (V1 -> 'List V1) -> 'List V2 -> 'List V2
128./testdata/accept/Prelude.lc 69:17-69:28 'List V2 -> 'List V2
129./testdata/accept/Prelude.lc 69:17-69:28 'List V2
130./testdata/accept/Prelude.lc 69:17-69:23 {a} -> 'List ('List a) -> 'List a
131./testdata/accept/Prelude.lc 69:25-69:28 'List ('List V0)
132./testdata/accept/Prelude.lc 69:25-69:28 {a} -> {b} -> a->b -> 'List a -> 'List b
133./testdata/accept/Prelude.lc 69:1-69:10 {a} -> {b} -> (a -> 'List b) -> 'List a -> 'List b
134./testdata/accept/Prelude.lc 71:1-71:6 {a} -> a->a -> a
135./testdata/accept/Prelude.lc 71:12-72:55 V0->V1
136./testdata/accept/Prelude.lc 71:12-72:55 V1
137./testdata/accept/Prelude.lc 71:12-71:20 V0
138./testdata/accept/Prelude.lc 71:12-71:20 {a} -> {b} -> a -> b -> 'Tuple2 a b
139./testdata/accept/Prelude.lc 72:17-72:55 V2 -> 'List V3 -> 'Tuple2 ('List V3) ('List V2)
140./testdata/accept/Prelude.lc 72:17-72:55 'List V3 -> 'Tuple2 ('List V3) ('List V2)
141./testdata/accept/Prelude.lc 72:17-72:55 'Tuple2 ('List V3) ('List V2)
142./testdata/accept/Prelude.lc 72:17-72:28 V2 -> V2->V2
143./testdata/accept/Prelude.lc 72:17-72:28 V2->V2
144./testdata/accept/Prelude.lc 72:17-72:28 V2
145./testdata/accept/Prelude.lc 72:17-72:28 {a} -> {b} -> a -> b -> 'Tuple2 a b
146./testdata/accept/Prelude.lc 72:17-72:28 V1
147./testdata/accept/Prelude.lc 72:17-72:28 'List V12
148./testdata/accept/Prelude.lc 72:17-72:28 V4
149./testdata/accept/Prelude.lc 72:17-72:28 V0
150./testdata/accept/Prelude.lc 72:17-72:28 V3
151./testdata/accept/Prelude.lc 72:37-72:43 'Tuple2 V0 ('List V7)
152./testdata/accept/Prelude.lc 72:37-72:43 V2
153./testdata/accept/Prelude.lc 72:47-72:55 'Tuple2 ('List V2) ('List V3)
154./testdata/accept/Prelude.lc 72:47-72:52 V7
155./testdata/accept/Prelude.lc 72:53-72:55 'List V6
156./testdata/accept/Prelude.lc 71:1-71:6 {a} -> 'List a -> 'Tuple2 ('List a) ('List a)
157./testdata/accept/Prelude.lc 74:1-74:8 {a} -> a->a -> a
158./testdata/accept/Prelude.lc 74:12-75:7 V0->V1
159./testdata/accept/Prelude.lc 74:12-75:7 V1
160./testdata/accept/Prelude.lc 74:19-75:7 V0 -> 'List V1 -> V4
161./testdata/accept/Prelude.lc 74:19-75:7 'List V1 -> V4
162./testdata/accept/Prelude.lc 74:19-75:7 V4
163./testdata/accept/Prelude.lc 75:5-75:7 V0 -> 'List V1 -> V9
164./testdata/accept/Prelude.lc 75:5-75:7 'List V1 -> V9
165./testdata/accept/Prelude.lc 75:5-75:7 V9
166./testdata/accept/Prelude.lc 75:5-75:7 'Ordering
167./testdata/accept/Prelude.lc 75:5-75:7 V1
168./testdata/accept/Prelude.lc 74:19-74:23 'List V2
169./testdata/accept/Prelude.lc 74:12-74:16 'List V0
170./testdata/accept/Prelude.lc 74:1-74:8 {a} -> (a -> a->'Ordering) -> 'List a -> 'List a -> 'List a
171./testdata/accept/Prelude.lc 80:1-80:7 {a} -> a->a -> a
172./testdata/accept/Prelude.lc 81:16-82:66 V0->V1
173./testdata/accept/Prelude.lc 81:16-82:66 V1
174./testdata/accept/Prelude.lc 81:16-82:66 V1 -> 'List V2 -> 'List V2
175./testdata/accept/Prelude.lc 81:16-82:66 'List V2 -> 'List V2
176./testdata/accept/Prelude.lc 81:16-82:66 'List V2
177./testdata/accept/Prelude.lc 81:16-81:19 V0
178./testdata/accept/Prelude.lc 82:15-82:66 V0 -> 'List V1 -> 'List V6
179./testdata/accept/Prelude.lc 82:15-82:66 'List V1 -> 'List V6
180./testdata/accept/Prelude.lc 82:15-82:66 'List V6
181./testdata/accept/Prelude.lc 82:15-82:22 {a} -> {b} -> {c} -> (a -> b->c) -> 'Tuple2 a b -> c
182./testdata/accept/Prelude.lc 82:24-82:31 V2 -> V2->V2
183./testdata/accept/Prelude.lc 82:24-82:31 {a} -> (a -> a->'Ordering) -> 'List a -> 'List a -> 'List a
184./testdata/accept/Prelude.lc 82:61-82:66 'Tuple2 ('List V6) ('List V6)
185./testdata/accept/Prelude.lc 82:61-82:66 'Tuple2 V0 V0
186./testdata/accept/Prelude.lc 82:61-82:66 {a} -> 'List a -> 'Tuple2 ('List a) ('List a)
187./testdata/accept/Prelude.lc 80:1-80:7 {a} -> (a -> a->'Ordering) -> 'List a -> 'List a
188./testdata/accept/Prelude.lc 84:8-84:14 {a} -> 'List a -> 'List a -> 'List a
189./testdata/accept/Prelude.lc 84:1-84:5 {a} -> 'List a -> 'List a -> 'List a
190./testdata/accept/Prelude.lc 87:6-87:11 Type->Type
191./testdata/accept/Prelude.lc 87:6-87:11 Type
192./testdata/accept/Prelude.lc 88:7-88:14 {a} -> 'Maybe a
193./testdata/accept/Prelude.lc 87:6-89:13 Type
194./testdata/accept/Prelude.lc 89:12-89:13 Type
195./testdata/accept/Prelude.lc 89:7-89:11 {a} -> a -> 'Maybe a
196./testdata/accept/Prelude.lc 93:6-93:10 'Tuple2 V1 V0
197./testdata/accept/Prelude.lc 93:6-93:10 V3
198./testdata/accept/Prelude.lc 93:1-93:4 {a} -> {b} -> 'Tuple2 a b -> a
199./testdata/accept/Prelude.lc 94:6-94:10 'Tuple2 V1 V0
200./testdata/accept/Prelude.lc 94:6-94:10 V3
201./testdata/accept/Prelude.lc 94:1-94:4 {a} -> {b} -> 'Tuple2 a b -> b
202./testdata/accept/Prelude.lc 97:1-97:8 {a} -> a->a -> a
203./testdata/accept/Prelude.lc 96:12-98:34 V0->V1
204./testdata/accept/Prelude.lc 96:12-98:34 V1
205./testdata/accept/Prelude.lc 96:12-96:26 Type
206./testdata/accept/Prelude.lc 96:13-96:17 Type
207./testdata/accept/Prelude.lc 96:22-96:26 Type
208./testdata/accept/Prelude.lc 97:15-98:34 'List Type -> Type
209./testdata/accept/Prelude.lc 97:15-98:34 Type
210./testdata/accept/Prelude.lc 97:15-97:17 V0
211./testdata/accept/Prelude.lc 97:15-97:17 Type
212./testdata/accept/Prelude.lc 98:19-98:34 V0 -> 'List V1 -> Type
213./testdata/accept/Prelude.lc 98:19-98:34 'List V1 -> Type
214./testdata/accept/Prelude.lc 98:19-98:34 Type
215./testdata/accept/Prelude.lc 98:19-98:34 Type -> Type->Type
216./testdata/accept/Prelude.lc 97:1-97:8 'List Type -> Type
217./testdata/accept/Prelude.lc 100:22-100:36 Type
218./testdata/accept/Prelude.lc 100:22-100:36 Type -> Type->Type
219./testdata/accept/Prelude.lc 100:23-100:29 Type
220./testdata/accept/Prelude.lc 100:31-100:35 Type
221./testdata/accept/Prelude.lc 100:6-100:13 'List ('Tuple2 'String Type) -> Type
222./testdata/accept/Prelude.lc 100:6-101:38 Type
223./testdata/accept/Prelude.lc 101:19-101:26 'List Type -> Type
224./testdata/accept/Prelude.lc 101:28-101:38 'List Type
225./testdata/accept/Prelude.lc 101:28-101:31 {a} -> {b} -> a->b -> 'List a -> 'List b
226./testdata/accept/Prelude.lc 101:32-101:35 V1->V1
227./testdata/accept/Prelude.lc 101:32-101:35 {a} -> {b} -> 'Tuple2 a b -> b
228./testdata/accept/Prelude.lc 101:36-101:38 'List ('Tuple2 V0 Type)
229./testdata/accept/Prelude.lc 101:36-101:38 'List ('Tuple2 'String Type)
230./testdata/accept/Prelude.lc 100:6-100:13 Type
231./testdata/accept/Prelude.lc 101:7-101:17 {a : 'List ('Tuple2 'String Type)} -> tuptype (map ('Tuple2 'String Type) Type (\(b : 'Tuple2 'String Type) -> snd 'String Type b) a) -> 'RecordC a
232./testdata/accept/Prelude.lc 103:1-103:7 {a} -> a->a -> a
233./testdata/accept/Prelude.lc 103:11-103:12 V0->V1
234./testdata/accept/Prelude.lc 103:11-103:12 V1
235./testdata/accept/Prelude.lc 103:11-103:12 'List V1
236./testdata/accept/Prelude.lc 103:11-103:12 V3
237./testdata/accept/Prelude.lc 103:1-103:7 {a} -> (a -> a->a) -> 'List a -> a
238./testdata/accept/Prelude.lc 107:10-107:15 V0
239./testdata/accept/Prelude.lc 107:10-107:15 'Bool
240./testdata/accept/Prelude.lc 106:11-106:15 'Bool
241./testdata/accept/Prelude.lc 106:6-106:8 'Ordering
242./testdata/accept/Prelude.lc 106:6-106:8 V1
243./testdata/accept/Prelude.lc 106:1-106:5 'Ordering->'Bool
244./testdata/accept/Prelude.lc 110:14-110:18 V1
245./testdata/accept/Prelude.lc 110:14-110:18 'Bool
246./testdata/accept/Prelude.lc 109:1-109:6 'Bool
247./testdata/accept/Prelude.lc 109:1-109:6 V2
248./testdata/accept/Prelude.lc 109:7-109:10 'Bool -> 'Bool->'Bool
249./testdata/accept/Prelude.lc 115:15-115:20 V0
250./testdata/accept/Prelude.lc 115:15-115:20 'Bool
251./testdata/accept/Prelude.lc 114:1-114:5 'Bool
252./testdata/accept/Prelude.lc 114:1-114:5 V2
253./testdata/accept/Prelude.lc 114:6-114:9 'Bool -> 'Bool->'Bool
254./testdata/accept/Prelude.lc 124:10-124:19 V0->Type
255./testdata/accept/Prelude.lc 124:10-124:19 Type
256./testdata/accept/Prelude.lc 124:10-124:12 Type
257./testdata/accept/Prelude.lc 124:13-124:19 Type
258./testdata/accept/Prelude.lc 124:13-124:19 V1
259./testdata/accept/Prelude.lc 119:7-119:9 Type->Type
260./testdata/accept/Prelude.lc 119:7-120:28 Type
261./testdata/accept/Prelude.lc 120:14-120:28 Type
262./testdata/accept/Prelude.lc 120:14-120:15 Type
263./testdata/accept/Prelude.lc 120:19-120:28 Type
264./testdata/accept/Prelude.lc 120:19-120:20 Type
265./testdata/accept/Prelude.lc 120:24-120:28 Type
266./testdata/accept/Prelude.lc 124:13-125:38 {a} -> {b : 'Eq a} -> a -> a->'Bool
267./testdata/accept/Prelude.lc 124:13-125:38 {a : 'Eq V0} -> V1 -> V2->'Bool
268./testdata/accept/Prelude.lc 125:15-125:38 {a:'Unit} -> 'String -> 'String->'Bool
269./testdata/accept/Prelude.lc 125:15-125:38 'String -> 'String->'Bool
270./testdata/accept/Prelude.lc 125:15-125:38 'String->'Bool
271./testdata/accept/Prelude.lc 125:15-125:38 'Bool
272./testdata/accept/Prelude.lc 125:15-125:19 'Ordering->'Bool
273./testdata/accept/Prelude.lc 125:21-125:38 'Ordering
274./testdata/accept/Prelude.lc 125:21-125:38 'String -> 'String->'Ordering
275./testdata/accept/Prelude.lc 120:5-120:10 {a} -> {b : 'Eq a} -> a -> a->'Bool
276./testdata/accept/Prelude.lc 130:1-130:6 {a} -> a->a -> a
277./testdata/accept/Prelude.lc 130:14-130:19 V0->V1
278./testdata/accept/Prelude.lc 130:14-130:19 V1
279./testdata/accept/Prelude.lc 130:14-130:19 V0
280./testdata/accept/Prelude.lc 130:14-130:19 'Bool
281./testdata/accept/Prelude.lc 130:1-130:6 {a} -> {b} -> {c : 'Eq a} -> a -> 'List ('Tuple2 a b) -> 'Bool
282./testdata/accept/Prelude.lc 133:1-133:7 {a} -> a->a -> a
283./testdata/accept/Prelude.lc 133:18-134:71 V0->V1
284./testdata/accept/Prelude.lc 133:18-134:71 V1
285./testdata/accept/Prelude.lc 133:18-133:26 V0
286./testdata/accept/Prelude.lc 133:18-133:23 'String->Type
287./testdata/accept/Prelude.lc 133:24-133:26 'String
288./testdata/accept/Prelude.lc 134:29-134:71 V0 -> 'List V1 -> Type
289./testdata/accept/Prelude.lc 134:29-134:71 'List V1 -> Type
290./testdata/accept/Prelude.lc 134:29-134:71 Type
291./testdata/accept/Prelude.lc 134:29-134:71 V2 -> V2->V2
292./testdata/accept/Prelude.lc 134:29-134:71 V2->V2
293./testdata/accept/Prelude.lc 134:29-134:71 V2
294./testdata/accept/Prelude.lc 134:29-134:71 {a} -> 'Bool -> a -> a->a
295./testdata/accept/Prelude.lc 133:1-133:7 {a} -> {b : 'Eq a} -> a -> Type -> 'List ('Tuple2 a Type) -> Type
296./testdata/accept/Prelude.lc 136:1-136:8 {a} -> a->a -> a
297./testdata/accept/Prelude.lc 137:27-137:86 V0->V1
298./testdata/accept/Prelude.lc 137:27-137:86 V1
299./testdata/accept/Prelude.lc 137:27-137:86 V1 -> 'List V2 -> 'List V2
300./testdata/accept/Prelude.lc 137:27-137:86 'List V2 -> 'List V2
301./testdata/accept/Prelude.lc 137:27-137:86 'List V2
302./testdata/accept/Prelude.lc 137:27-137:86 V2 -> V2->V2
303./testdata/accept/Prelude.lc 137:27-137:86 V2->V2
304./testdata/accept/Prelude.lc 137:27-137:86 V2
305./testdata/accept/Prelude.lc 137:27-137:86 {a} -> 'Bool -> a -> a->a
306./testdata/accept/Prelude.lc 137:30-137:35 'Bool
307./testdata/accept/Prelude.lc 137:30-137:35 {a} -> {b} -> {c : 'Eq a} -> a -> 'List ('Tuple2 a b) -> 'Bool
308./testdata/accept/Prelude.lc 137:65-137:71 V4
309./testdata/accept/Prelude.lc 137:65-137:71 V0
310./testdata/accept/Prelude.lc 137:65-137:71 {a} -> {b} -> a -> b -> 'Tuple2 a b
311./testdata/accept/Prelude.lc 136:1-136:8 {a} -> {b} -> {c} -> {d : 'Eq a} -> 'List ('Tuple2 a b) -> 'List ('Tuple2 a c) -> 'List ('Tuple2 a b)
312./testdata/accept/Prelude.lc 139:1-139:8 {a} -> a->a -> a
313./testdata/accept/Prelude.lc 140:27-140:86 V0->V1
314./testdata/accept/Prelude.lc 140:27-140:86 V1
315./testdata/accept/Prelude.lc 140:27-140:86 V0 -> 'List V1 -> V4
316./testdata/accept/Prelude.lc 140:27-140:86 'List V1 -> V4
317./testdata/accept/Prelude.lc 140:27-140:86 V4
318./testdata/accept/Prelude.lc 140:27-140:86 V2 -> V2->V2
319./testdata/accept/Prelude.lc 140:27-140:86 V2->V2
320./testdata/accept/Prelude.lc 140:27-140:86 V2
321./testdata/accept/Prelude.lc 140:27-140:86 {a} -> 'Bool -> a -> a->a
322./testdata/accept/Prelude.lc 140:30-140:35 'Bool
323./testdata/accept/Prelude.lc 140:30-140:35 {a} -> {b} -> {c : 'Eq a} -> a -> 'List ('Tuple2 a b) -> 'Bool
324./testdata/accept/Prelude.lc 140:65-140:71 V4
325./testdata/accept/Prelude.lc 140:65-140:71 V0
326./testdata/accept/Prelude.lc 140:65-140:71 {a} -> {b} -> a -> b -> 'Tuple2 a b
327./testdata/accept/Prelude.lc 139:1-139:8 {a} -> {b} -> {c : 'Eq a} -> 'List ('Tuple2 a b) -> 'List ('Tuple2 a b) -> 'List ('Tuple2 a b)
328./testdata/accept/Prelude.lc 142:1-142:7 {a} -> a->a -> a
329./testdata/accept/Prelude.lc 142:16-143:101 V0->V1
330./testdata/accept/Prelude.lc 142:16-143:101 V1
331./testdata/accept/Prelude.lc 142:16-142:20 V0
332./testdata/accept/Prelude.lc 142:16-142:20 Type
333./testdata/accept/Prelude.lc 143:9-143:101 V0 -> 'List V1 -> Type
334./testdata/accept/Prelude.lc 143:9-143:101 'List V1 -> Type
335./testdata/accept/Prelude.lc 143:9-143:101 Type
336./testdata/accept/Prelude.lc 143:31-143:101 V2 -> V2->V2
337./testdata/accept/Prelude.lc 143:31-143:101 V2->V2
338./testdata/accept/Prelude.lc 143:31-143:101 V2
339./testdata/accept/Prelude.lc 143:31-143:101 {a} -> 'Bool -> a -> a->a
340./testdata/accept/Prelude.lc 143:49-143:75 V1
341./testdata/accept/Prelude.lc 143:49-143:51 Type -> Type->Type
342./testdata/accept/Prelude.lc 143:69-143:75 Type
343./testdata/accept/Prelude.lc 143:69-143:75 {a} -> {b} -> a -> b -> 'Tuple2 a b
344./testdata/accept/Prelude.lc 143:92-143:98 Type
345./testdata/accept/Prelude.lc 143:92-143:98 'Tuple2 V6 Type
346./testdata/accept/Prelude.lc 143:92-143:98 {a} -> {b} -> a -> b -> 'Tuple2 a b
347./testdata/accept/Prelude.lc 143:9-143:13 'Tuple2 V1 Type
348./testdata/accept/Prelude.lc 143:9-143:13 V7
349./testdata/accept/Prelude.lc 142:1-142:7 {a} -> {b : 'Eq a} -> 'Tuple2 a Type -> 'List ('Tuple2 a Type) -> Type
350./testdata/accept/Prelude.lc 145:1-145:7 {a} -> a->a -> a
351./testdata/accept/Prelude.lc 145:16-146:32 V0->V1
352./testdata/accept/Prelude.lc 145:16-146:32 V1
353./testdata/accept/Prelude.lc 145:16-145:20 V0
354./testdata/accept/Prelude.lc 145:16-145:20 Type
355./testdata/accept/Prelude.lc 146:22-146:32 V0 -> 'List V1 -> Type
356./testdata/accept/Prelude.lc 146:22-146:32 'List V1 -> Type
357./testdata/accept/Prelude.lc 146:22-146:32 Type
358./testdata/accept/Prelude.lc 146:22-146:24 Type -> Type->Type
359./testdata/accept/Prelude.lc 146:26-146:32 Type
360./testdata/accept/Prelude.lc 146:26-146:32 {a} -> {b : 'Eq a} -> 'Tuple2 a Type -> 'List ('Tuple2 a Type) -> Type
361./testdata/accept/Prelude.lc 145:1-145:7 {a} -> {b : 'Eq a} -> 'List ('Tuple2 a Type) -> 'List ('Tuple2 a Type) -> Type
362./testdata/accept/Prelude.lc 148:1-148:8 {a} -> a->a -> a
363./testdata/accept/Prelude.lc 148:14-148:18 V0->V1
364./testdata/accept/Prelude.lc 148:14-148:18 V1
365./testdata/accept/Prelude.lc 148:14-148:18 V0
366./testdata/accept/Prelude.lc 148:14-148:18 'Bool
367./testdata/accept/Prelude.lc 148:1-148:8 {a} -> 'List a -> 'Bool
368./testdata/accept/Prelude.lc 152:30-154:118 Type -> Type -> Type->Type
369./testdata/accept/Prelude.lc 152:30-154:118 Type -> Type->Type
370./testdata/accept/Prelude.lc 152:30-154:118 Type->Type
371./testdata/accept/Prelude.lc 152:30-154:118 Type
372./testdata/accept/Prelude.lc 152:30-152:118 V0
373./testdata/accept/Prelude.lc 152:43-152:118 'List ('Tuple2 'String Type) -> V1
374./testdata/accept/Prelude.lc 152:43-152:118 V1
375./testdata/accept/Prelude.lc 152:51-152:118 'List ('Tuple2 'String Type) -> V2
376./testdata/accept/Prelude.lc 152:51-152:118 V2
377./testdata/accept/Prelude.lc 152:79-152:118 V0
378./testdata/accept/Prelude.lc 152:79-152:81 Type -> Type->Type
379./testdata/accept/Prelude.lc 152:83-152:89 Type
380./testdata/accept/Prelude.lc 152:83-152:89 {a} -> {b : 'Eq a} -> 'List ('Tuple2 a Type) -> 'List ('Tuple2 a Type) -> Type
381./testdata/accept/Prelude.lc 152:102-152:118 Type
382./testdata/accept/Prelude.lc 152:102-152:109 'List ('Tuple2 'String Type) -> Type
383./testdata/accept/Prelude.lc 152:111-152:118 'List ('Tuple2 'String Type)
384./testdata/accept/Prelude.lc 152:111-152:118 {a} -> {b} -> {c} -> {d : 'Eq a} -> 'List ('Tuple2 a b) -> 'List ('Tuple2 a c) -> 'List ('Tuple2 a b)
385./testdata/accept/Prelude.lc 152:51-152:76 'Bool
386./testdata/accept/Prelude.lc 152:51-152:61 'Bool
387./testdata/accept/Prelude.lc 152:51-152:58 {a} -> 'List a -> 'Bool
388./testdata/accept/Prelude.lc 152:59-152:61 'List V0
389./testdata/accept/Prelude.lc 152:59-152:61 'List ('Tuple2 'String Type)
390./testdata/accept/Prelude.lc 152:66-152:76 'Bool
391./testdata/accept/Prelude.lc 152:66-152:73 {a} -> 'List a -> 'Bool
392./testdata/accept/Prelude.lc 152:74-152:76 'List V0
393./testdata/accept/Prelude.lc 152:74-152:76 'List ('Tuple2 'String Type)
394./testdata/accept/Prelude.lc 152:43-152:45 Type
395./testdata/accept/Prelude.lc 152:30-152:32 Type
396./testdata/accept/Prelude.lc 153:30-154:118 Type
397./testdata/accept/Prelude.lc 153:30-153:118 V0
398./testdata/accept/Prelude.lc 153:45-153:118 'List ('Tuple2 'String Type) -> V1
399./testdata/accept/Prelude.lc 153:45-153:118 V1
400./testdata/accept/Prelude.lc 153:51-153:118 'List ('Tuple2 'String Type) -> V2
401./testdata/accept/Prelude.lc 153:51-153:118 V2
402./testdata/accept/Prelude.lc 153:79-153:118 V0
403./testdata/accept/Prelude.lc 153:79-153:81 Type -> Type->Type
404./testdata/accept/Prelude.lc 153:83-153:89 Type
405./testdata/accept/Prelude.lc 153:83-153:89 {a} -> {b : 'Eq a} -> 'List ('Tuple2 a Type) -> 'List ('Tuple2 a Type) -> Type
406./testdata/accept/Prelude.lc 153:102-153:118 Type
407./testdata/accept/Prelude.lc 153:102-153:109 'List ('Tuple2 'String Type) -> Type
408./testdata/accept/Prelude.lc 153:111-153:118 'List ('Tuple2 'String Type)
409./testdata/accept/Prelude.lc 153:111-153:118 {a} -> {b} -> {c} -> {d : 'Eq a} -> 'List ('Tuple2 a b) -> 'List ('Tuple2 a c) -> 'List ('Tuple2 a b)
410./testdata/accept/Prelude.lc 153:51-153:76 'Bool
411./testdata/accept/Prelude.lc 153:51-153:61 'Bool
412./testdata/accept/Prelude.lc 153:51-153:58 {a} -> 'List a -> 'Bool
413./testdata/accept/Prelude.lc 153:59-153:61 'List V0
414./testdata/accept/Prelude.lc 153:59-153:61 'List ('Tuple2 'String Type)
415./testdata/accept/Prelude.lc 153:66-153:76 'Bool
416./testdata/accept/Prelude.lc 153:66-153:73 {a} -> 'List a -> 'Bool
417./testdata/accept/Prelude.lc 153:74-153:76 'List V0
418./testdata/accept/Prelude.lc 153:74-153:76 'List ('Tuple2 'String Type)
419./testdata/accept/Prelude.lc 153:45-153:47 Type
420./testdata/accept/Prelude.lc 153:30-153:32 Type
421./testdata/accept/Prelude.lc 154:32-154:118 Type
422./testdata/accept/Prelude.lc 154:45-154:118 'List ('Tuple2 'String Type) -> Type
423./testdata/accept/Prelude.lc 154:45-154:118 Type
424./testdata/accept/Prelude.lc 154:51-154:118 'List ('Tuple2 'String Type) -> Type
425./testdata/accept/Prelude.lc 154:51-154:118 Type
426./testdata/accept/Prelude.lc 154:79-154:118 V0
427./testdata/accept/Prelude.lc 154:79-154:81 Type -> Type->Type
428./testdata/accept/Prelude.lc 154:83-154:89 Type
429./testdata/accept/Prelude.lc 154:83-154:89 {a} -> {b : 'Eq a} -> 'List ('Tuple2 a Type) -> 'List ('Tuple2 a Type) -> Type
430./testdata/accept/Prelude.lc 154:102-154:118 Type
431./testdata/accept/Prelude.lc 154:102-154:109 'List ('Tuple2 'String Type) -> Type
432./testdata/accept/Prelude.lc 154:111-154:118 'List ('Tuple2 'String Type)
433./testdata/accept/Prelude.lc 154:111-154:118 {a} -> {b} -> {c : 'Eq a} -> 'List ('Tuple2 a b) -> 'List ('Tuple2 a b) -> 'List ('Tuple2 a b)
434./testdata/accept/Prelude.lc 154:51-154:76 'Bool
435./testdata/accept/Prelude.lc 154:51-154:61 'Bool
436./testdata/accept/Prelude.lc 154:51-154:58 {a} -> 'List a -> 'Bool
437./testdata/accept/Prelude.lc 154:59-154:61 'List V0
438./testdata/accept/Prelude.lc 154:59-154:61 'List ('Tuple2 'String Type)
439./testdata/accept/Prelude.lc 154:66-154:76 'Bool
440./testdata/accept/Prelude.lc 154:66-154:73 {a} -> 'List a -> 'Bool
441./testdata/accept/Prelude.lc 154:74-154:76 'List V0
442./testdata/accept/Prelude.lc 154:74-154:76 'List ('Tuple2 'String Type)
443./testdata/accept/Prelude.lc 154:45-154:47 Type
444./testdata/accept/Prelude.lc 154:32-154:34 Type
445./testdata/accept/Prelude.lc 152:15-152:20 Type -> Type -> Type->Type
446./testdata/accept/Prelude.lc 158:12-158:26 Type
447./testdata/accept/Prelude.lc 158:12-158:26 Type -> Type->Type
448./testdata/accept/Prelude.lc 158:13-158:19 Type
449./testdata/accept/Prelude.lc 158:21-158:25 Type
450./testdata/accept/Prelude.lc 158:31-158:35 Type
451./testdata/accept/Prelude.lc 158:1-158:7 'List ('Tuple2 'String Type) -> Type
452./testdata/accept/Prelude.lc 162:30-162:36 Type
453./testdata/accept/Prelude.lc 162:30-162:31 V3
454./testdata/accept/Prelude.lc 162:35-162:36 Type
455./testdata/accept/Prelude.lc 162:35-162:36 V2
456./testdata/accept/Prelude.lc 162:1-162:13 {a} -> {b} -> a->b
457./testdata/accept/Prelude.lc 166:1-166:8 {a} -> a->a -> a
458./testdata/accept/Prelude.lc 165:28-167:139 V0->V1
459./testdata/accept/Prelude.lc 165:28-167:139 V1
460./testdata/accept/Prelude.lc 165:28-165:105 Type
461./testdata/accept/Prelude.lc 165:29-165:43 Type
462./testdata/accept/Prelude.lc 165:29-165:43 Type -> Type->Type
463./testdata/accept/Prelude.lc 165:30-165:36 Type
464./testdata/accept/Prelude.lc 165:38-165:42 Type
465./testdata/accept/Prelude.lc 165:61-165:105 Type
466./testdata/accept/Prelude.lc 165:61-165:67 Type
467./testdata/accept/Prelude.lc 165:73-165:105 Type
468./testdata/accept/Prelude.lc 165:73-165:79 {a} -> {b : 'Eq a} -> a -> Type -> 'List ('Tuple2 a Type) -> Type
469./testdata/accept/Prelude.lc 165:80-165:81 V1
470./testdata/accept/Prelude.lc 165:80-165:81 'String
471./testdata/accept/Prelude.lc 165:82-165:83 Type
472./testdata/accept/Prelude.lc 165:82-165:83 V3
473./testdata/accept/Prelude.lc 165:84-165:86 'List ('Tuple2 'String Type)
474./testdata/accept/Prelude.lc 165:90-165:105 Type
475./testdata/accept/Prelude.lc 165:90-165:97 'List ('Tuple2 'String Type) -> Type
476./testdata/accept/Prelude.lc 165:98-165:100 'List ('Tuple2 'String Type)
477./testdata/accept/Prelude.lc 165:104-165:105 Type
478./testdata/accept/Prelude.lc 166:15-167:139 {a} -> {b : 'List ('Tuple2 'String Type)} -> c:'String -> {d : isKeyC 'String TT c a b} -> 'RecordC b -> a
479./testdata/accept/Prelude.lc 166:15-167:139 {a : 'List ('Tuple2 'String Type)} -> b:'String -> {c : isKeyC 'String TT b V2 a} -> 'RecordC a -> V4
480./testdata/accept/Prelude.lc 166:15-167:139 a:'String -> {b : isKeyC 'String TT a V2 V1} -> 'RecordC V2 -> V4
481./testdata/accept/Prelude.lc 166:15-167:139 {a : isKeyC 'String TT V0 V2 V1} -> 'RecordC V2 -> V4
482./testdata/accept/Prelude.lc 166:15-167:139 'RecordC V2 -> V4
483./testdata/accept/Prelude.lc 166:15-167:139 V4
484./testdata/accept/Prelude.lc 166:45-167:139 V1 -> 'List V2 -> V2
485./testdata/accept/Prelude.lc 166:45-167:139 'List V2 -> V2
486./testdata/accept/Prelude.lc 166:45-167:139 V2
487./testdata/accept/Prelude.lc 166:45-167:139 V2 -> V2->V2
488./testdata/accept/Prelude.lc 166:45-167:139 V2->V2
489./testdata/accept/Prelude.lc 166:51-167:139 tuptype (map ('Tuple2 'String Type) Type (\(a : 'Tuple2 'String Type) -> snd 'String Type a) V1) -> V1
490./testdata/accept/Prelude.lc 166:51-167:139 V1
491./testdata/accept/Prelude.lc 167:69-167:139 V0
492./testdata/accept/Prelude.lc 167:69-167:78 isKeyC 'String TT V14 V16 V9
493./testdata/accept/Prelude.lc 167:80-167:139 'RecordC V8
494./testdata/accept/Prelude.lc 167:80-167:90 {a : 'List ('Tuple2 'String Type)} -> tuptype (map ('Tuple2 'String Type) Type (\(b : 'Tuple2 'String Type) -> snd 'String Type b) a) -> 'RecordC a
495./testdata/accept/Prelude.lc 167:92-167:139 tuptype (map ('Tuple2 'String Type) Type (\(a : 'Tuple2 'String Type) -> snd 'String Type a) V0)
496./testdata/accept/Prelude.lc 167:92-167:95 {a} -> {b} -> 'Tuple2 a b -> b
497./testdata/accept/Prelude.lc 167:97-167:139 'Tuple2 V1 V0
498./testdata/accept/Prelude.lc 167:97-167:109 {a} -> {b} -> a->b
499./testdata/accept/Prelude.lc 167:114-167:139 Type
500./testdata/accept/Prelude.lc 167:114-167:139 Type -> Type->Type
501./testdata/accept/Prelude.lc 167:118-167:134 Type
502./testdata/accept/Prelude.lc 167:118-167:125 'List Type -> Type
503./testdata/accept/Prelude.lc 167:127-167:134 'List Type
504./testdata/accept/Prelude.lc 167:127-167:130 {a} -> {b} -> a->b -> 'List a -> 'List b
505./testdata/accept/Prelude.lc 167:131-167:134 V1->V1
506./testdata/accept/Prelude.lc 167:131-167:134 {a} -> {b} -> 'Tuple2 a b -> b
507./testdata/accept/Prelude.lc 166:62-166:109 V15
508./testdata/accept/Prelude.lc 166:62-166:65 {a} -> {b} -> 'Tuple2 a b -> a
509./testdata/accept/Prelude.lc 166:67-166:109 'Tuple2 V1 V0
510./testdata/accept/Prelude.lc 166:67-166:79 {a} -> {b} -> a->b
511./testdata/accept/Prelude.lc 166:84-166:109 Type
512./testdata/accept/Prelude.lc 166:84-166:109 Type -> Type->Type
513./testdata/accept/Prelude.lc 166:88-166:104 Type
514./testdata/accept/Prelude.lc 166:88-166:95 'List Type -> Type
515./testdata/accept/Prelude.lc 166:97-166:104 'List Type
516./testdata/accept/Prelude.lc 166:97-166:100 {a} -> {b} -> a->b -> 'List a -> 'List b
517./testdata/accept/Prelude.lc 166:101-166:104 V1->V1
518./testdata/accept/Prelude.lc 166:101-166:104 {a} -> {b} -> 'Tuple2 a b -> b
519./testdata/accept/Prelude.lc 166:51-166:59 'Bool
520./testdata/accept/Prelude.lc 166:51-166:52 V1
521./testdata/accept/Prelude.lc 166:51-166:52 'String
522./testdata/accept/Prelude.lc 166:57-166:59 'String
523./testdata/accept/Prelude.lc 166:57-166:59 V6
524./testdata/accept/Prelude.lc 166:45-166:47 'RecordC V0
525./testdata/accept/Prelude.lc 166:45-166:47 'RecordC V10
526./testdata/accept/Prelude.lc 166:15-166:26 'List ('Tuple2 'String Type)
527./testdata/accept/Prelude.lc 166:1-166:8 {a} -> {b : 'List ('Tuple2 'String Type)} -> c:'String -> {d : isKeyC 'String TT c a b} -> 'RecordC b -> a
528./testdata/accept/Prelude.lc 171:13-171:15 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
529./testdata/accept/Prelude.lc 171:22-171:25 V3
530./testdata/accept/Prelude.lc 171:22-171:25 'Float
531./testdata/accept/Prelude.lc 171:1-171:4 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
532./testdata/accept/Prelude.lc 173:11-173:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
533./testdata/accept/Prelude.lc 173:15-173:18 'Float
534./testdata/accept/Prelude.lc 173:19-173:22 'Float
535./testdata/accept/Prelude.lc 173:23-173:26 'Float
536./testdata/accept/Prelude.lc 173:1-173:6 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
537./testdata/accept/Prelude.lc 174:11-174:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
538./testdata/accept/Prelude.lc 174:15-174:18 'Float
539./testdata/accept/Prelude.lc 174:19-174:22 'Float
540./testdata/accept/Prelude.lc 174:23-174:26 'Float
541./testdata/accept/Prelude.lc 174:1-174:5 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
542./testdata/accept/Prelude.lc 175:11-175:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
543./testdata/accept/Prelude.lc 175:15-175:19 'Float
544./testdata/accept/Prelude.lc 175:20-175:24 'Float
545./testdata/accept/Prelude.lc 175:25-175:29 'Float
546./testdata/accept/Prelude.lc 175:1-175:7 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
547./testdata/accept/Prelude.lc 176:11-176:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
548./testdata/accept/Prelude.lc 176:15-176:18 'Float
549./testdata/accept/Prelude.lc 176:19-176:22 'Float
550./testdata/accept/Prelude.lc 176:23-176:26 'Float
551./testdata/accept/Prelude.lc 176:1-176:6 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
552./testdata/accept/Prelude.lc 177:11-177:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
553./testdata/accept/Prelude.lc 177:15-177:18 'Float
554./testdata/accept/Prelude.lc 177:19-177:22 'Float
555./testdata/accept/Prelude.lc 177:23-177:26 'Float
556./testdata/accept/Prelude.lc 177:1-177:7 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
557./testdata/accept/Prelude.lc 178:11-178:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
558./testdata/accept/Prelude.lc 178:15-178:18 'Float
559./testdata/accept/Prelude.lc 178:19-178:22 'Float
560./testdata/accept/Prelude.lc 178:23-178:26 'Float
561./testdata/accept/Prelude.lc 178:1-178:4 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
562./testdata/accept/Prelude.lc 179:11-179:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
563./testdata/accept/Prelude.lc 179:15-179:18 'Float
564./testdata/accept/Prelude.lc 179:19-179:22 'Float
565./testdata/accept/Prelude.lc 179:23-179:26 'Float
566./testdata/accept/Prelude.lc 179:1-179:6 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
567./testdata/accept/Prelude.lc 180:11-180:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
568./testdata/accept/Prelude.lc 180:15-180:18 'Float
569./testdata/accept/Prelude.lc 180:19-180:22 'Float
570./testdata/accept/Prelude.lc 180:23-180:26 'Float
571./testdata/accept/Prelude.lc 180:1-180:7 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
572./testdata/accept/Prelude.lc 181:11-181:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
573./testdata/accept/Prelude.lc 181:15-181:18 'Float
574./testdata/accept/Prelude.lc 181:19-181:22 'Float
575./testdata/accept/Prelude.lc 181:23-181:26 'Float
576./testdata/accept/Prelude.lc 181:1-181:6 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
577./testdata/accept/Prelude.lc 182:11-182:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
578./testdata/accept/Prelude.lc 182:15-182:18 'Float
579./testdata/accept/Prelude.lc 182:19-182:22 'Float
580./testdata/accept/Prelude.lc 182:23-182:26 'Float
581./testdata/accept/Prelude.lc 182:1-182:5 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
582./testdata/accept/Prelude.lc 183:11-183:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
583./testdata/accept/Prelude.lc 183:15-183:18 'Float
584./testdata/accept/Prelude.lc 183:19-183:22 'Float
585./testdata/accept/Prelude.lc 183:23-183:26 'Float
586./testdata/accept/Prelude.lc 183:1-183:5 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
587./testdata/accept/Prelude.lc 184:11-184:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
588./testdata/accept/Prelude.lc 184:15-184:18 'Float
589./testdata/accept/Prelude.lc 184:19-184:22 'Float
590./testdata/accept/Prelude.lc 184:23-184:26 'Float
591./testdata/accept/Prelude.lc 184:1-184:5 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
592./testdata/accept/Prelude.lc 185:11-185:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
593./testdata/accept/Prelude.lc 185:15-185:18 'Float
594./testdata/accept/Prelude.lc 185:19-185:22 'Float
595./testdata/accept/Prelude.lc 185:23-185:26 'Float
596./testdata/accept/Prelude.lc 185:1-185:5 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
597./testdata/accept/Prelude.lc 186:11-186:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
598./testdata/accept/Prelude.lc 186:15-186:18 'Float
599./testdata/accept/Prelude.lc 186:19-186:22 'Float
600./testdata/accept/Prelude.lc 186:23-186:26 'Float
601./testdata/accept/Prelude.lc 186:1-186:5 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
602./testdata/accept/Prelude.lc 187:11-187:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
603./testdata/accept/Prelude.lc 187:15-187:18 'Float
604./testdata/accept/Prelude.lc 187:19-187:22 'Float
605./testdata/accept/Prelude.lc 187:23-187:26 'Float
606./testdata/accept/Prelude.lc 187:1-187:7 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
607./testdata/accept/Prelude.lc 188:11-188:14 'Float -> 'Float -> 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
608./testdata/accept/Prelude.lc 188:15-188:18 'Float
609./testdata/accept/Prelude.lc 188:19-188:22 'Float
610./testdata/accept/Prelude.lc 188:23-188:26 'Float
611./testdata/accept/Prelude.lc 188:1-188:8 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
612./testdata/accept/Prelude.lc 190:15-190:25 {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {e : 'Num c} -> {f : d ~ 'VecScalar b c} -> d -> 'Image a ('Color d)
613./testdata/accept/Prelude.lc 190:1-190:12 {a:'Nat} -> {b} -> {c} -> {d : 'Num b} -> {e : c ~ 'VecScalar a b} -> c -> 'Image (Succ Zero) ('Color c)
614./testdata/accept/Prelude.lc 191:15-191:25 {a:'Nat} -> {b:'Nat} -> {c} -> {d} -> {e : 'Num c} -> {f : d ~ 'VecScalar b c} -> d -> 'Image a ('Color d)
615./testdata/accept/Prelude.lc 191:1-191:12 {a:'Nat} -> {b} -> {c} -> {d : 'Num b} -> {e : c ~ 'VecScalar a b} -> c -> 'Image (Succ (Succ Zero)) ('Color c)
616./testdata/accept/Prelude.lc 193:15-193:25 {a:'Nat} -> 'Float -> 'Image a ('Depth 'Float)
617./testdata/accept/Prelude.lc 193:1-193:12 'Float -> 'Image (Succ Zero) ('Depth 'Float)
618./testdata/accept/Prelude.lc 195:13-195:39 Type
619./testdata/accept/Prelude.lc 195:13-195:16 'Nat -> Type->Type
620./testdata/accept/Prelude.lc 195:19-195:24 Type
621./testdata/accept/Prelude.lc 195:28-195:39 Type
622./testdata/accept/Prelude.lc 195:28-195:31 'Nat -> Type->Type
623./testdata/accept/Prelude.lc 195:34-195:39 Type
624./testdata/accept/Prelude.lc 196:14-196:32 'VecS 'Float (Succ (Succ (Succ Zero))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
625./testdata/accept/Prelude.lc 196:14-196:32 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
626./testdata/accept/Prelude.lc 196:14-196:16 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
627./testdata/accept/Prelude.lc 196:17-196:20 V0
628./testdata/accept/Prelude.lc 196:17-196:20 'Float
629./testdata/accept/Prelude.lc 196:21-196:24 'Float
630./testdata/accept/Prelude.lc 196:25-196:28 'Float
631./testdata/accept/Prelude.lc 196:29-196:32 'Float
632./testdata/accept/Prelude.lc 196:1-196:9 'VecS 'Float (Succ (Succ (Succ Zero))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
633./testdata/accept/Prelude.lc 203:11-203:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
634./testdata/accept/Prelude.lc 203:1-203:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
635./testdata/accept/Prelude.lc 204:11-204:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
636./testdata/accept/Prelude.lc 204:1-204:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
637./testdata/accept/Prelude.lc 205:7-205:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
638./testdata/accept/Prelude.lc 205:1-205:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
639./testdata/accept/Prelude.lc 206:7-206:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
640./testdata/accept/Prelude.lc 206:1-206:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
641./testdata/accept/Prelude.lc 207:7-207:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
642./testdata/accept/Prelude.lc 207:1-207:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
643./testdata/accept/Prelude.lc 208:8-208:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
644./testdata/accept/Prelude.lc 208:1-208:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
645./testdata/accept/Prelude.lc 209:8-209:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
646./testdata/accept/Prelude.lc 209:1-209:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
647./testdata/accept/Prelude.lc 210:8-210:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
648./testdata/accept/Prelude.lc 210:1-210:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
649./testdata/accept/Prelude.lc 211:9-211:18 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
650./testdata/accept/Prelude.lc 211:1-211:6 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
651./testdata/accept/Prelude.lc 214:7-214:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
652./testdata/accept/Prelude.lc 214:1-214:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
653./testdata/accept/Prelude.lc 215:7-215:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
654./testdata/accept/Prelude.lc 215:1-215:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
655./testdata/accept/Prelude.lc 216:7-216:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
656./testdata/accept/Prelude.lc 216:1-216:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
657./testdata/accept/Prelude.lc 217:8-217:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
658./testdata/accept/Prelude.lc 217:1-217:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
659./testdata/accept/Prelude.lc 218:8-218:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
660./testdata/accept/Prelude.lc 218:1-218:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
661./testdata/accept/Prelude.lc 219:8-219:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
662./testdata/accept/Prelude.lc 219:1-219:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
663./testdata/accept/Prelude.lc 220:15-220:26 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
664./testdata/accept/Prelude.lc 220:1-220:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
665./testdata/accept/Prelude.lc 223:7-223:14 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
666./testdata/accept/Prelude.lc 223:1-223:4 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
667./testdata/accept/Prelude.lc 224:8-224:16 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
668./testdata/accept/Prelude.lc 224:1-224:5 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
669./testdata/accept/Prelude.lc 225:9-225:18 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
670./testdata/accept/Prelude.lc 225:1-225:6 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
671./testdata/accept/Prelude.lc 226:8-226:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
672./testdata/accept/Prelude.lc 226:1-226:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
673./testdata/accept/Prelude.lc 227:9-227:18 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
674./testdata/accept/Prelude.lc 227:1-227:6 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
675./testdata/accept/Prelude.lc 228:7-228:14 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
676./testdata/accept/Prelude.lc 228:1-228:4 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
677./testdata/accept/Prelude.lc 229:7-229:14 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
678./testdata/accept/Prelude.lc 229:1-229:4 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
679./testdata/accept/Prelude.lc 230:7-230:14 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
680./testdata/accept/Prelude.lc 230:1-230:4 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
681./testdata/accept/Prelude.lc 231:9-231:18 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b -> b->b
682./testdata/accept/Prelude.lc 231:1-231:6 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b -> b->b
683./testdata/accept/Prelude.lc 232:10-232:20 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a -> a->b
684./testdata/accept/Prelude.lc 232:1-232:7 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a -> a->b
685./testdata/accept/Prelude.lc 233:7-233:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
686./testdata/accept/Prelude.lc 233:1-233:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
687./testdata/accept/Prelude.lc 234:8-234:16 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a->a
688./testdata/accept/Prelude.lc 234:1-234:5 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a->a
689./testdata/accept/Prelude.lc 235:14-235:28 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a -> a->a
690./testdata/accept/Prelude.lc 235:1-235:11 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a -> a->a
691./testdata/accept/Prelude.lc 238:10-238:20 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->'Float
692./testdata/accept/Prelude.lc 238:1-238:7 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->'Float
693./testdata/accept/Prelude.lc 239:12-239:24 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
694./testdata/accept/Prelude.lc 239:1-239:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
695./testdata/accept/Prelude.lc 240:7-240:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
696./testdata/accept/Prelude.lc 240:1-240:4 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
697./testdata/accept/Prelude.lc 241:9-241:18 {a} -> {b : a ~ 'VecS 'Float (Succ (Succ (Succ Zero)))} -> a -> a->a
698./testdata/accept/Prelude.lc 241:1-241:6 {a} -> {b : a ~ 'VecS 'Float (Succ (Succ (Succ Zero)))} -> a -> a->a
699./testdata/accept/Prelude.lc 242:13-242:26 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
700./testdata/accept/Prelude.lc 242:1-242:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
701./testdata/accept/Prelude.lc 243:15-243:30 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
702./testdata/accept/Prelude.lc 243:1-243:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
703./testdata/accept/Prelude.lc 244:11-244:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
704./testdata/accept/Prelude.lc 244:1-244:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
705./testdata/accept/Prelude.lc 245:11-245:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
706./testdata/accept/Prelude.lc 245:1-245:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
707./testdata/accept/Prelude.lc 263:9-263:16 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
708./testdata/accept/Prelude.lc 263:3-263:4 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
709./testdata/accept/Prelude.lc 264:9-264:16 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
710./testdata/accept/Prelude.lc 264:3-264:4 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
711./testdata/accept/Prelude.lc 265:9-265:16 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
712./testdata/accept/Prelude.lc 265:3-265:4 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
713./testdata/accept/Prelude.lc 266:9-266:16 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
714./testdata/accept/Prelude.lc 266:3-266:4 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b a
715./testdata/accept/Prelude.lc 267:9-267:16 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
716./testdata/accept/Prelude.lc 267:3-267:4 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b a
717./testdata/accept/Prelude.lc 269:9-269:16 {a} -> {b : 'Signed ('MatVecScalarElem a)} -> a->a
718./testdata/accept/Prelude.lc 269:1-269:4 {a} -> {b : 'Signed ('MatVecScalarElem a)} -> a->a
719./testdata/accept/Prelude.lc 272:10-272:19 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool
720./testdata/accept/Prelude.lc 272:3-272:5 {a} -> a -> a->'Bool
721./testdata/accept/Prelude.lc 273:10-273:22 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool
722./testdata/accept/Prelude.lc 273:3-273:5 {a} -> a -> a->'Bool
723./testdata/accept/Prelude.lc 274:9-274:21 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
724./testdata/accept/Prelude.lc 274:3-274:4 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b 'Bool
725./testdata/accept/Prelude.lc 275:10-275:27 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
726./testdata/accept/Prelude.lc 275:3-275:5 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b 'Bool
727./testdata/accept/Prelude.lc 276:10-276:30 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
728./testdata/accept/Prelude.lc 276:3-276:5 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b 'Bool
729./testdata/accept/Prelude.lc 277:9-277:24 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
730./testdata/accept/Prelude.lc 277:3-277:4 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> 'VecScalar b a -> 'VecScalar b 'Bool
731./testdata/accept/Prelude.lc 280:10-280:17 'Bool -> 'Bool->'Bool
732./testdata/accept/Prelude.lc 280:3-280:5 'Bool -> 'Bool->'Bool
733./testdata/accept/Prelude.lc 281:10-281:16 'Bool -> 'Bool->'Bool
734./testdata/accept/Prelude.lc 281:3-281:5 'Bool -> 'Bool->'Bool
735./testdata/accept/Prelude.lc 282:9-282:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Bool} -> a->a
736./testdata/accept/Prelude.lc 282:1-282:4 {a:'Nat} -> 'VecScalar a 'Bool -> 'VecScalar a 'Bool
737./testdata/accept/Prelude.lc 283:9-283:16 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
738./testdata/accept/Prelude.lc 283:1-283:4 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
739./testdata/accept/Prelude.lc 284:9-284:16 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
740./testdata/accept/Prelude.lc 284:1-284:4 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
741./testdata/accept/Prelude.lc 287:11-287:24 {a} -> {b} -> {c} -> 'TFMat a b -> 'TFMat b c -> 'TFMat a c
742./testdata/accept/Prelude.lc 287:3-287:6 {a} -> {b} -> {c} -> 'TFMat a b -> 'TFMat b c -> 'TFMat a c
743./testdata/accept/Prelude.lc 288:10-288:23 {a} -> {b} -> 'TFMat a b -> b->a
744./testdata/accept/Prelude.lc 288:3-288:5 {a} -> {b} -> 'TFMat b a -> a->b
745./testdata/accept/Prelude.lc 289:10-289:23 {a} -> {b} -> a -> 'TFMat a b -> b
746./testdata/accept/Prelude.lc 289:3-289:5 {a} -> {b} -> a -> 'TFMat a b -> b
747./testdata/accept/Prelude.lc 291:8-291:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
748./testdata/accept/Prelude.lc 291:1-291:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
749./testdata/accept/Prelude.lc 292:8-292:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
750./testdata/accept/Prelude.lc 292:1-292:5 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
751./testdata/accept/Prelude.lc 295:9-295:18 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
752./testdata/accept/Prelude.lc 295:1-295:6 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
753./testdata/accept/Prelude.lc 303:10-303:18 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
754./testdata/accept/Prelude.lc 303:3-303:5 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a
755./testdata/accept/Prelude.lc 304:10-304:18 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
756./testdata/accept/Prelude.lc 304:3-304:5 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a
757./testdata/accept/Prelude.lc 305:10-305:18 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
758./testdata/accept/Prelude.lc 305:3-305:5 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a
759./testdata/accept/Prelude.lc 306:10-306:18 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
760./testdata/accept/Prelude.lc 306:3-306:5 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a
761./testdata/accept/Prelude.lc 307:10-307:18 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
762./testdata/accept/Prelude.lc 307:3-307:5 {a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a
763./testdata/accept/Prelude.lc 332:9-332:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
764./testdata/accept/Prelude.lc 333:9-333:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
765./testdata/accept/Prelude.lc 330:16-330:20 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
766./testdata/accept/Prelude.lc 330:16-333:12 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
767./testdata/accept/Prelude.lc 330:22-330:24 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
768./testdata/accept/Prelude.lc 330:16-333:12 V0
769./testdata/accept/Prelude.lc 330:16-333:12 'VecScalar V3 'Float
770./testdata/accept/Prelude.lc 330:16-330:74 'VecScalar V2 'Float
771./testdata/accept/Prelude.lc 330:29-330:30 'VecScalar V2 'Float
772./testdata/accept/Prelude.lc 330:29-330:30 'Int
773./testdata/accept/Prelude.lc 330:31-330:32 'Float
774./testdata/accept/Prelude.lc 330:31-330:32 'Int
775./testdata/accept/Prelude.lc 330:35-330:37 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
776./testdata/accept/Prelude.lc 330:16-330:74 V0
777./testdata/accept/Prelude.lc 330:39-330:41 V1
778./testdata/accept/Prelude.lc 330:39-330:41 'Int
779./testdata/accept/Prelude.lc 330:16-330:74 'MatVecScalarElem V2
780./testdata/accept/Prelude.lc 330:16-330:74 'Float
781./testdata/accept/Prelude.lc 330:16-333:12 V3
782./testdata/accept/Prelude.lc 330:16-333:12 'Float
783./testdata/accept/Prelude.lc 330:45-330:46 'Float
784./testdata/accept/Prelude.lc 330:45-330:46 'Int
785./testdata/accept/Prelude.lc 330:47-330:48 'Float
786./testdata/accept/Prelude.lc 330:47-330:48 'Int
787./testdata/accept/Prelude.lc 330:51-330:61 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
788./testdata/accept/Prelude.lc 330:51-330:53 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
789./testdata/accept/Prelude.lc 330:54-330:55 V0
790./testdata/accept/Prelude.lc 330:54-330:55 'Int
791./testdata/accept/Prelude.lc 330:56-330:57 V1
792./testdata/accept/Prelude.lc 330:56-330:57 'Int
793./testdata/accept/Prelude.lc 330:58-330:59 V1
794./testdata/accept/Prelude.lc 330:58-330:59 'Int
795./testdata/accept/Prelude.lc 330:60-330:61 'Float
796./testdata/accept/Prelude.lc 330:60-330:61 'Int
797./testdata/accept/Prelude.lc 330:64-330:74 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
798./testdata/accept/Prelude.lc 330:64-330:66 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
799./testdata/accept/Prelude.lc 330:67-330:68 V0
800./testdata/accept/Prelude.lc 330:67-330:68 'Int
801./testdata/accept/Prelude.lc 330:69-330:70 V1
802./testdata/accept/Prelude.lc 330:69-330:70 'Int
803./testdata/accept/Prelude.lc 330:71-330:72 V1
804./testdata/accept/Prelude.lc 330:71-330:72 'Int
805./testdata/accept/Prelude.lc 330:73-330:74 'Float
806./testdata/accept/Prelude.lc 330:73-330:74 'Int
807./testdata/accept/Prelude.lc 330:1-330:11 'Float -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
808./testdata/accept/Prelude.lc 337:9-337:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
809./testdata/accept/Prelude.lc 338:9-338:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
810./testdata/accept/Prelude.lc 335:16-335:20 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
811./testdata/accept/Prelude.lc 335:16-338:12 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
812./testdata/accept/Prelude.lc 335:22-335:24 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
813./testdata/accept/Prelude.lc 335:16-338:12 V0
814./testdata/accept/Prelude.lc 335:16-338:12 'VecScalar V3 'Float
815./testdata/accept/Prelude.lc 335:27-335:28 'VecScalar V2 'Float
816./testdata/accept/Prelude.lc 335:27-335:28 'Int
817./testdata/accept/Prelude.lc 335:16-335:74 'VecScalar V3 'Float
818./testdata/accept/Prelude.lc 335:30-335:32 V1
819./testdata/accept/Prelude.lc 335:30-335:32 'Int
820./testdata/accept/Prelude.lc 335:16-335:74 'MatVecScalarElem ('VecScalar V5 'Float)
821./testdata/accept/Prelude.lc 335:16-335:74 'VecScalar V5 'Float
822./testdata/accept/Prelude.lc 335:34-335:35 'Float
823./testdata/accept/Prelude.lc 335:34-335:35 'Int
824./testdata/accept/Prelude.lc 335:38-335:48 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
825./testdata/accept/Prelude.lc 335:38-335:40 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
826./testdata/accept/Prelude.lc 335:41-335:42 V0
827./testdata/accept/Prelude.lc 335:41-335:42 'Int
828./testdata/accept/Prelude.lc 335:43-335:44 V1
829./testdata/accept/Prelude.lc 335:43-335:44 'Int
830./testdata/accept/Prelude.lc 335:45-335:46 V1
831./testdata/accept/Prelude.lc 335:45-335:46 'Int
832./testdata/accept/Prelude.lc 335:47-335:48 'Float
833./testdata/accept/Prelude.lc 335:47-335:48 'Int
834./testdata/accept/Prelude.lc 335:51-335:53 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
835./testdata/accept/Prelude.lc 335:16-335:74 V0
836./testdata/accept/Prelude.lc 335:16-335:74 'Float
837./testdata/accept/Prelude.lc 335:56-335:57 'Float
838./testdata/accept/Prelude.lc 335:56-335:57 'Int
839./testdata/accept/Prelude.lc 335:16-338:12 'Float
840./testdata/accept/Prelude.lc 335:60-335:61 'Float
841./testdata/accept/Prelude.lc 335:60-335:61 'Int
842./testdata/accept/Prelude.lc 335:64-335:74 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
843./testdata/accept/Prelude.lc 335:64-335:66 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
844./testdata/accept/Prelude.lc 335:67-335:68 V0
845./testdata/accept/Prelude.lc 335:67-335:68 'Int
846./testdata/accept/Prelude.lc 335:69-335:70 V1
847./testdata/accept/Prelude.lc 335:69-335:70 'Int
848./testdata/accept/Prelude.lc 335:71-335:72 V1
849./testdata/accept/Prelude.lc 335:71-335:72 'Int
850./testdata/accept/Prelude.lc 335:73-335:74 'Float
851./testdata/accept/Prelude.lc 335:73-335:74 'Int
852./testdata/accept/Prelude.lc 335:1-335:11 'Float -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
853./testdata/accept/Prelude.lc 342:9-342:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
854./testdata/accept/Prelude.lc 343:9-343:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
855./testdata/accept/Prelude.lc 340:16-340:20 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
856./testdata/accept/Prelude.lc 340:22-340:32 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
857./testdata/accept/Prelude.lc 340:22-340:24 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
858./testdata/accept/Prelude.lc 340:25-340:26 V0
859./testdata/accept/Prelude.lc 340:25-340:26 'Int
860./testdata/accept/Prelude.lc 340:27-340:28 V1
861./testdata/accept/Prelude.lc 340:27-340:28 'Int
862./testdata/accept/Prelude.lc 340:29-340:30 V1
863./testdata/accept/Prelude.lc 340:29-340:30 'Int
864./testdata/accept/Prelude.lc 340:31-340:32 'Float
865./testdata/accept/Prelude.lc 340:31-340:32 'Int
866./testdata/accept/Prelude.lc 340:16-343:12 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
867./testdata/accept/Prelude.lc 340:35-340:37 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
868./testdata/accept/Prelude.lc 340:38-340:39 V0
869./testdata/accept/Prelude.lc 340:38-340:39 'Int
870./testdata/accept/Prelude.lc 340:16-343:12 V1
871./testdata/accept/Prelude.lc 340:16-343:12 'VecScalar V4 'Float
872./testdata/accept/Prelude.lc 340:16-340:74 'VecScalar V3 'Float
873./testdata/accept/Prelude.lc 340:44-340:45 'Float
874./testdata/accept/Prelude.lc 340:44-340:45 'Int
875./testdata/accept/Prelude.lc 340:48-340:50 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
876./testdata/accept/Prelude.lc 340:51-340:52 V0
877./testdata/accept/Prelude.lc 340:51-340:52 'Int
878./testdata/accept/Prelude.lc 340:16-340:74 V1
879./testdata/accept/Prelude.lc 340:54-340:56 V1
880./testdata/accept/Prelude.lc 340:54-340:56 'Int
881./testdata/accept/Prelude.lc 340:16-340:74 'MatVecScalarElem V3
882./testdata/accept/Prelude.lc 340:16-340:74 'Float
883./testdata/accept/Prelude.lc 340:16-343:12 V4
884./testdata/accept/Prelude.lc 340:16-343:12 'Float
885./testdata/accept/Prelude.lc 340:60-340:61 'Float
886./testdata/accept/Prelude.lc 340:60-340:61 'Int
887./testdata/accept/Prelude.lc 340:64-340:74 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
888./testdata/accept/Prelude.lc 340:64-340:66 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
889./testdata/accept/Prelude.lc 340:67-340:68 V0
890./testdata/accept/Prelude.lc 340:67-340:68 'Int
891./testdata/accept/Prelude.lc 340:69-340:70 V1
892./testdata/accept/Prelude.lc 340:69-340:70 'Int
893./testdata/accept/Prelude.lc 340:71-340:72 V1
894./testdata/accept/Prelude.lc 340:71-340:72 'Int
895./testdata/accept/Prelude.lc 340:73-340:74 'Float
896./testdata/accept/Prelude.lc 340:73-340:74 'Int
897./testdata/accept/Prelude.lc 340:1-340:11 'Float -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
898./testdata/accept/Prelude.lc 345:23-345:50 'TFMat V2 V1
899./testdata/accept/Prelude.lc 345:23-345:33 'TFMat V2 V1
900./testdata/accept/Prelude.lc 345:23-345:33 'Float -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
901./testdata/accept/Prelude.lc 345:40-345:50 'TFMat ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) V1
902./testdata/accept/Prelude.lc 345:40-345:50 'Float -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
903./testdata/accept/Prelude.lc 345:57-345:67 'TFMat ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) V0
904./testdata/accept/Prelude.lc 345:57-345:67 'Float -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
905./testdata/accept/Prelude.lc 345:1-345:14 'Float -> 'Float -> 'Float -> 'Mat (Succ (Succ (Succ (Succ Zero)))) (Succ (Succ (Succ (Succ Zero)))) 'Float
906./testdata/accept/Prelude.lc 361:17-361:29 V2
907./testdata/accept/Prelude.lc 361:17-361:19 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
908./testdata/accept/Prelude.lc 361:26-361:29 V3
909./testdata/accept/Prelude.lc 361:26-361:29 'Float
910./testdata/accept/Prelude.lc 361:1-361:6 'Float -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
911./testdata/accept/Prelude.lc 364:1-364:7 {a} -> a->a -> a
912./testdata/accept/Prelude.lc 363:11-364:58 V0->V1
913./testdata/accept/Prelude.lc 363:11-364:58 V1
914./testdata/accept/Prelude.lc 363:11-363:36 Type
915./testdata/accept/Prelude.lc 363:11-363:16 Type
916./testdata/accept/Prelude.lc 363:20-363:36 Type
917./testdata/accept/Prelude.lc 363:20-363:25 Type
918./testdata/accept/Prelude.lc 363:29-363:36 Type
919./testdata/accept/Prelude.lc 363:30-363:35 Type
920./testdata/accept/Prelude.lc 364:14-364:58 'Float -> 'Float -> 'List 'Float
921./testdata/accept/Prelude.lc 364:14-364:58 'Float -> 'List 'Float
922./testdata/accept/Prelude.lc 364:14-364:58 'List 'Float
923./testdata/accept/Prelude.lc 364:14-364:58 {a} -> 'Bool -> a -> a->a
924./testdata/accept/Prelude.lc 364:52-364:55 'List 'Float
925./testdata/accept/Prelude.lc 364:52-364:55 'Float
926./testdata/accept/Prelude.lc 364:1-364:7 'Float -> 'Float -> 'List 'Float
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:27:42 +0000