summaryrefslogtreecommitdiff
path: root/testdata/Prelude.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-04-28 20:39:51 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-04-28 20:39:51 +0200
commit4f85f455271ee6035924accebf34352229644a31 (patch)
treeefc48b04feb88bbdac89eee958b6acc6b42deff7 /testdata/Prelude.out
parente566b9cf517cf4296e50c89f40c596bd74a588c8 (diff)
fix naming of free variables
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r--testdata/Prelude.out336
1 files changed, 168 insertions, 168 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 99401d65..d5d3852b 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -188,11 +188,11 @@ testdata/Prelude.lc 23:20-23:21 g_
188testdata/Prelude.lc 23:22-23:23 h_ 188testdata/Prelude.lc 23:22-23:23 h_
189testdata/Prelude.lc 25:1-25:8 {a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b 189testdata/Prelude.lc 25:1-25:8 {a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b
190testdata/Prelude.lc 25:20-25:21 o_ 190testdata/Prelude.lc 25:20-25:21 o_
191testdata/Prelude.lc 25:20-25:25 HList c_ -> c_ | c_ | c_ -> HList c_ -> c_ | d_ 191testdata/Prelude.lc 25:20-25:25 HList c_ -> b_ | c_ | c_ -> HList b_ -> a_ | d_
192testdata/Prelude.lc 25:22-25:23 n_ 192testdata/Prelude.lc 25:22-25:23 n_
193testdata/Prelude.lc 25:24-25:25 j_ 193testdata/Prelude.lc 25:24-25:25 j_
194testdata/Prelude.lc 27:2-27:5 {a} -> {b} -> {c} -> {d} -> (a->c) -> (b->d) -> (a, b)->(c, d) 194testdata/Prelude.lc 27:2-27:5 {a} -> {b} -> {c} -> {d} -> (a->c) -> (b->d) -> (a, b)->(c, d)
195testdata/Prelude.lc 27:20-27:30 (b_, a_) | HList c_ -> c_ | c_ -> HList c_ -> c_ 195testdata/Prelude.lc 27:20-27:30 (b_, a_) | HList c_ -> b_ | c_ -> HList b_ -> a_
196testdata/Prelude.lc 27:21-27:22 s_ 196testdata/Prelude.lc 27:21-27:22 s_
197testdata/Prelude.lc 27:23-27:24 p_ 197testdata/Prelude.lc 27:23-27:24 p_
198testdata/Prelude.lc 27:26-27:27 r_ 198testdata/Prelude.lc 27:26-27:27 r_
@@ -202,7 +202,7 @@ testdata/Prelude.lc 29:1-29:3 Float
202testdata/Prelude.lc 29:6-29:23 Float 202testdata/Prelude.lc 29:6-29:23 Float
203testdata/Prelude.lc 31:8-31:11 Type 203testdata/Prelude.lc 31:8-31:11 Type
204testdata/Prelude.lc 31:8-31:29 Type 204testdata/Prelude.lc 31:8-31:29 Type
205testdata/Prelude.lc 31:8-34:39 a_->b_ | {a} -> {b} -> List a -> List b -> List (a, b) 205testdata/Prelude.lc 31:8-34:39 a_->a_ | {a} -> {b} -> List a -> List b -> List (a, b)
206testdata/Prelude.lc 31:9-31:10 d_ 206testdata/Prelude.lc 31:9-31:10 d_
207testdata/Prelude.lc 31:15-31:18 Type 207testdata/Prelude.lc 31:15-31:18 Type
208testdata/Prelude.lc 31:15-31:29 Type 208testdata/Prelude.lc 31:15-31:29 Type
@@ -214,23 +214,23 @@ testdata/Prelude.lc 31:24-31:27 List Type
214testdata/Prelude.lc 31:26-31:27 List Type | Type 214testdata/Prelude.lc 31:26-31:27 List Type | Type
215testdata/Prelude.lc 32:1-32:4 {a} -> {b} -> List a -> List b -> List (a, b) 215testdata/Prelude.lc 32:1-32:4 {a} -> {b} -> List a -> List b -> List (a, b)
216testdata/Prelude.lc 32:22-32:24 {a} -> List a 216testdata/Prelude.lc 32:22-32:24 {a} -> List a
217testdata/Prelude.lc 32:22-34:39 List (d_, c_) | List a_ -> List (b_, e_) | List b_ -> List (d_, c_) | List b_ -> List b_ -> List (d_, c_) 217testdata/Prelude.lc 32:22-34:39 List (d_, c_) | List a_ -> List (a_, d_) | List b_ -> List (c_, b_) | List b_ -> List a_ -> List (b_, a_)
218testdata/Prelude.lc 33:22-33:24 {a} -> List a 218testdata/Prelude.lc 33:22-33:24 {a} -> List a
219testdata/Prelude.lc 33:22-34:39 List (c_, f_) | List a_ -> List (f_, b_) | List c_ -> List c_ | b_ -> List c_ -> List c_ 219testdata/Prelude.lc 33:22-34:39 List (c_, f_) | List a_ -> List (e_, a_) | List c_ -> List b_ | b_ -> List b_ -> List a_
220testdata/Prelude.lc 34:23-34:28 (h_, d_) 220testdata/Prelude.lc 34:23-34:28 (h_, d_)
221testdata/Prelude.lc 34:23-34:29 List (h_, d_) -> List (i_, e_) 221testdata/Prelude.lc 34:23-34:29 List (h_, d_) -> List (h_, d_)
222testdata/Prelude.lc 34:23-34:39 List (g_, c_) | List c_ -> List c_ | b_ -> List c_ -> List c_ 222testdata/Prelude.lc 34:23-34:39 List (g_, c_) | List c_ -> List b_ | b_ -> List b_ -> List a_
223testdata/Prelude.lc 34:24-34:25 k_ 223testdata/Prelude.lc 34:24-34:25 k_
224testdata/Prelude.lc 34:26-34:27 ((d_)) | g_ 224testdata/Prelude.lc 34:26-34:27 ((d_)) | g_
225testdata/Prelude.lc 34:28-34:29 {a} -> a -> List a -> List a 225testdata/Prelude.lc 34:28-34:29 {a} -> a -> List a -> List a
226testdata/Prelude.lc 34:30-34:33 {a} -> {b} -> List a -> List b -> List (a, b) 226testdata/Prelude.lc 34:30-34:33 {a} -> {b} -> List a -> List b -> List (a, b)
227testdata/Prelude.lc 34:30-34:36 List a_ -> List (i_, b_) 227testdata/Prelude.lc 34:30-34:36 List a_ -> List (h_, a_)
228testdata/Prelude.lc 34:30-34:39 List (g_, c_) 228testdata/Prelude.lc 34:30-34:39 List (g_, c_)
229testdata/Prelude.lc 34:34-34:36 List i_ 229testdata/Prelude.lc 34:34-34:36 List i_
230testdata/Prelude.lc 34:37-34:39 List c_ 230testdata/Prelude.lc 34:37-34:39 List c_
231testdata/Prelude.lc 36:10-36:17 Type 231testdata/Prelude.lc 36:10-36:17 Type
232testdata/Prelude.lc 36:10-36:30 Type 232testdata/Prelude.lc 36:10-36:30 Type
233testdata/Prelude.lc 36:10-39:27 a_->b_ | {a} -> {b} -> List (a, b) -> (List a, List b) 233testdata/Prelude.lc 36:10-39:27 a_->a_ | {a} -> {b} -> List (a, b) -> (List a, List b)
234testdata/Prelude.lc 36:11-36:16 Type 234testdata/Prelude.lc 36:11-36:16 Type
235testdata/Prelude.lc 36:12-36:13 e_ 235testdata/Prelude.lc 36:12-36:13 e_
236testdata/Prelude.lc 36:12-36:15 List Type 236testdata/Prelude.lc 36:12-36:15 List Type
@@ -243,40 +243,40 @@ testdata/Prelude.lc 36:26-36:29 List Type | Type
243testdata/Prelude.lc 36:27-36:28 Type 243testdata/Prelude.lc 36:27-36:28 Type
244testdata/Prelude.lc 37:1-37:6 {a} -> {b} -> List (a, b) -> (List a, List b) 244testdata/Prelude.lc 37:1-37:6 {a} -> {b} -> List (a, b) -> (List a, List b)
245testdata/Prelude.lc 37:12-37:19 (List b_, List a_) 245testdata/Prelude.lc 37:12-37:19 (List b_, List a_)
246testdata/Prelude.lc 37:12-39:27 (List c_, List b_) | List (b_, a_) -> (List c_, List b_) 246testdata/Prelude.lc 37:12-39:27 (List c_, List b_) | List (b_, a_) -> (List b_, List a_)
247testdata/Prelude.lc 37:13-37:15 {a} -> List a 247testdata/Prelude.lc 37:13-37:15 {a} -> List a
248testdata/Prelude.lc 37:16-37:18 ((List a_)) | {a} -> List a 248testdata/Prelude.lc 37:16-37:18 ((List a_)) | {a} -> List a
249testdata/Prelude.lc 38:20-38:31 (List n_, List i_) 249testdata/Prelude.lc 38:20-38:31 (List n_, List i_)
250testdata/Prelude.lc 38:20-39:27 (List d_, List a_) | (List d_, List c_) | (List h_, List c_) | HList c_ -> c_ | List d_ -> (List d_, List c_) | c_ -> HList c_ -> c_ | c_ -> List d_ -> (List d_, List c_) 250testdata/Prelude.lc 38:20-39:27 (List d_, List a_) | (List d_, List c_) | (List h_, List c_) | HList c_ -> b_ | List d_ -> (List c_, List b_) | c_ -> HList b_ -> a_ | c_ -> List c_ -> (List b_, List a_)
251testdata/Prelude.lc 38:21-38:22 s_ 251testdata/Prelude.lc 38:21-38:22 s_
252testdata/Prelude.lc 38:21-38:23 List r_ -> List s_ 252testdata/Prelude.lc 38:21-38:23 List r_ -> List r_
253testdata/Prelude.lc 38:21-38:25 List p_ 253testdata/Prelude.lc 38:21-38:25 List p_
254testdata/Prelude.lc 38:22-38:23 {a} -> a -> List a -> List a 254testdata/Prelude.lc 38:22-38:23 {a} -> a -> List a -> List a
255testdata/Prelude.lc 38:23-38:25 List f_ 255testdata/Prelude.lc 38:23-38:25 List f_
256testdata/Prelude.lc 38:26-38:27 n_ 256testdata/Prelude.lc 38:26-38:27 n_
257testdata/Prelude.lc 38:26-38:28 List m_ -> List n_ 257testdata/Prelude.lc 38:26-38:28 List m_ -> List m_
258testdata/Prelude.lc 38:26-38:30 ((List i_)) | List k_ 258testdata/Prelude.lc 38:26-38:30 ((List i_)) | List k_
259testdata/Prelude.lc 38:27-38:28 {a} -> a -> List a -> List a 259testdata/Prelude.lc 38:27-38:28 {a} -> a -> List a -> List a
260testdata/Prelude.lc 38:28-38:30 List f_ 260testdata/Prelude.lc 38:28-38:30 List f_
261testdata/Prelude.lc 39:10-39:12 HList c_ -> c_ | c_ -> HList c_ -> c_ | d_ | h_ | k_ 261testdata/Prelude.lc 39:10-39:12 HList c_ -> b_ | c_ -> HList b_ -> a_ | d_ | h_ | k_
262testdata/Prelude.lc 39:10-39:15 (List e_, List d_) | (List f_, List e_) 262testdata/Prelude.lc 39:10-39:15 (List e_, List d_) | (List f_, List e_)
263testdata/Prelude.lc 39:13-39:15 HList c_ -> c_ | c_ | c_ -> HList c_ -> c_ | f_ 263testdata/Prelude.lc 39:13-39:15 HList c_ -> b_ | c_ | c_ -> HList b_ -> a_ | f_
264testdata/Prelude.lc 39:19-39:24 {a} -> {b} -> List (a, b) -> (List a, List b) 264testdata/Prelude.lc 39:19-39:24 {a} -> {b} -> List (a, b) -> (List a, List b)
265testdata/Prelude.lc 39:19-39:27 (List b_, List a_) 265testdata/Prelude.lc 39:19-39:27 (List b_, List a_)
266testdata/Prelude.lc 39:25-39:27 List r_ 266testdata/Prelude.lc 39:25-39:27 List r_
267testdata/Prelude.lc 41:1-41:7 {a} -> (a->Bool) -> List a -> List a 267testdata/Prelude.lc 41:1-41:7 {a} -> (a->Bool) -> List a -> List a
268testdata/Prelude.lc 41:21-41:23 {a} -> List a 268testdata/Prelude.lc 41:21-41:23 {a} -> List a
269testdata/Prelude.lc 41:21-44:49 List a_ -> List b_ | a_->b_ 269testdata/Prelude.lc 41:21-44:49 List a_ -> List a_ | a_->a_
270testdata/Prelude.lc 42:22-44:49 List c_ | List c_ -> List c_ | b_ -> List c_ -> List c_ 270testdata/Prelude.lc 42:22-44:49 List c_ | List c_ -> List b_ | b_ -> List b_ -> List a_
271testdata/Prelude.lc 42:27-42:31 g_ 271testdata/Prelude.lc 42:27-42:31 g_
272testdata/Prelude.lc 42:32-42:33 f_ 272testdata/Prelude.lc 42:32-42:33 f_
273testdata/Prelude.lc 43:32-44:49 Bool -> List g_ 273testdata/Prelude.lc 43:32-44:49 Bool -> List f_
274testdata/Prelude.lc 43:33-43:34 h_ 274testdata/Prelude.lc 43:33-43:34 h_
275testdata/Prelude.lc 43:33-43:36 List g_ -> List h_ 275testdata/Prelude.lc 43:33-43:36 List g_ -> List g_
276testdata/Prelude.lc 43:33-43:51 List f_ 276testdata/Prelude.lc 43:33-43:51 List f_
277testdata/Prelude.lc 43:35-43:36 {a} -> a -> List a -> List a 277testdata/Prelude.lc 43:35-43:36 {a} -> a -> List a -> List a
278testdata/Prelude.lc 43:37-43:43 j_ -> List g_ -> List h_ 278testdata/Prelude.lc 43:37-43:43 j_ -> List f_ -> List f_
279testdata/Prelude.lc 43:37-43:48 List f_ -> List g_ 279testdata/Prelude.lc 43:37-43:48 List f_ -> List f_
280testdata/Prelude.lc 43:37-43:51 List f_ 280testdata/Prelude.lc 43:37-43:51 List f_
281testdata/Prelude.lc 43:44-43:48 j_ 281testdata/Prelude.lc 43:44-43:48 j_
282testdata/Prelude.lc 43:49-43:51 List f_ 282testdata/Prelude.lc 43:49-43:51 List f_
@@ -289,7 +289,7 @@ testdata/Prelude.lc 49:10-49:11 b_
289testdata/Prelude.lc 49:16-49:19 Type 289testdata/Prelude.lc 49:16-49:19 Type
290testdata/Prelude.lc 49:17-49:18 Type 290testdata/Prelude.lc 49:17-49:18 Type
291testdata/Prelude.lc 50:1-50:5 {a} -> List a -> List a 291testdata/Prelude.lc 50:1-50:5 {a} -> List a -> List a
292testdata/Prelude.lc 50:16-50:18 List a_ -> List b_ | List b_ | List c_ -> c_ | List d_ | b_ -> List c_ -> c_ 292testdata/Prelude.lc 50:16-50:18 List a_ -> List a_ | List b_ | List c_ -> b_ | List d_ | b_ -> List b_ -> a_
293testdata/Prelude.lc 52:10-52:13 Type 293testdata/Prelude.lc 52:10-52:13 Type
294testdata/Prelude.lc 52:10-52:25 Type 294testdata/Prelude.lc 52:10-52:25 Type
295testdata/Prelude.lc 52:11-52:12 b_ 295testdata/Prelude.lc 52:11-52:12 b_
@@ -300,17 +300,17 @@ testdata/Prelude.lc 52:19-52:23 List Type
300testdata/Prelude.lc 52:22-52:23 List Type | Type 300testdata/Prelude.lc 52:22-52:23 List Type | Type
301testdata/Prelude.lc 53:1-53:6 {a} -> List a -> List (a, a) 301testdata/Prelude.lc 53:1-53:6 {a} -> List a -> List (a, a)
302testdata/Prelude.lc 53:11-53:14 {a} -> {b} -> List a -> List b -> List (a, b) 302testdata/Prelude.lc 53:11-53:14 {a} -> {b} -> List a -> List b -> List (a, b)
303testdata/Prelude.lc 53:11-53:16 List a_ -> List (d_, b_) 303testdata/Prelude.lc 53:11-53:16 List a_ -> List (c_, a_)
304testdata/Prelude.lc 53:11-53:25 List (b_, b_) | List a_ -> List (b_, b_) 304testdata/Prelude.lc 53:11-53:25 List (b_, b_) | List a_ -> List (a_, a_)
305testdata/Prelude.lc 53:15-53:16 List d_ 305testdata/Prelude.lc 53:15-53:16 List d_
306testdata/Prelude.lc 53:18-53:22 {a} -> List a -> List a 306testdata/Prelude.lc 53:18-53:22 {a} -> List a -> List a
307testdata/Prelude.lc 53:18-53:24 List b_ 307testdata/Prelude.lc 53:18-53:24 List b_
308testdata/Prelude.lc 53:23-53:24 List c_ 308testdata/Prelude.lc 53:23-53:24 List c_
309testdata/Prelude.lc 55:1-55:7 {a} -> {b} -> (a -> b->a) -> a -> List b -> a 309testdata/Prelude.lc 55:1-55:7 {a} -> {b} -> (a -> b->a) -> a -> List b -> a
310testdata/Prelude.lc 55:17-55:18 f_ 310testdata/Prelude.lc 55:17-55:18 f_
311testdata/Prelude.lc 55:17-56:41 List b_ -> g_ | a_->b_ 311testdata/Prelude.lc 55:17-56:41 List b_ -> f_ | a_->a_
312testdata/Prelude.lc 56:22-56:28 k_ 312testdata/Prelude.lc 56:22-56:28 k_
313testdata/Prelude.lc 56:22-56:41 List b_ -> g_ | a_ -> List b_ -> g_ 313testdata/Prelude.lc 56:22-56:41 List b_ -> f_ | a_ -> List a_ -> e_
314testdata/Prelude.lc 56:29-56:30 l_ 314testdata/Prelude.lc 56:29-56:30 l_
315testdata/Prelude.lc 56:32-56:33 m_ 315testdata/Prelude.lc 56:32-56:33 m_
316testdata/Prelude.lc 56:34-56:35 n_ 316testdata/Prelude.lc 56:34-56:35 n_
@@ -318,60 +318,60 @@ testdata/Prelude.lc 56:36-56:37 k_
318testdata/Prelude.lc 56:39-56:41 List h_ 318testdata/Prelude.lc 56:39-56:41 List h_
319testdata/Prelude.lc 58:1-58:7 {a} -> (a -> a->a) -> List a -> a 319testdata/Prelude.lc 58:1-58:7 {a} -> (a -> a->a) -> List a -> a
320testdata/Prelude.lc 58:20-58:25 {a} -> {b} -> (b -> a->a) -> a -> List b -> a 320testdata/Prelude.lc 58:20-58:25 {a} -> {b} -> (b -> a->a) -> a -> List b -> a
321testdata/Prelude.lc 58:20-58:27 b_ -> List b_ -> d_ 321testdata/Prelude.lc 58:20-58:27 b_ -> List a_ -> b_
322testdata/Prelude.lc 58:20-58:29 List a_ -> f_ 322testdata/Prelude.lc 58:20-58:29 List a_ -> e_
323testdata/Prelude.lc 58:20-58:32 List c_ -> c_ | b_ -> List c_ -> c_ | c_ 323testdata/Prelude.lc 58:20-58:32 List c_ -> b_ | b_ -> List b_ -> a_ | c_
324testdata/Prelude.lc 58:26-58:27 j_ 324testdata/Prelude.lc 58:26-58:27 j_
325testdata/Prelude.lc 58:28-58:29 f_ 325testdata/Prelude.lc 58:28-58:29 f_
326testdata/Prelude.lc 58:30-58:32 List d_ 326testdata/Prelude.lc 58:30-58:32 List d_
327testdata/Prelude.lc 60:1-60:6 {a} -> List a -> (List a, List a) 327testdata/Prelude.lc 60:1-60:6 {a} -> List a -> (List a, List a)
328testdata/Prelude.lc 60:12-60:20 (List b_, List a_) 328testdata/Prelude.lc 60:12-60:20 (List b_, List a_)
329testdata/Prelude.lc 60:12-61:55 List b_ -> (List c_, List b_) | a_->b_ 329testdata/Prelude.lc 60:12-61:55 List b_ -> (List b_, List a_) | a_->a_
330testdata/Prelude.lc 60:13-60:15 {a} -> List a 330testdata/Prelude.lc 60:13-60:15 {a} -> List a
331testdata/Prelude.lc 60:17-60:19 ((List a_)) | {a} -> List a 331testdata/Prelude.lc 60:17-60:19 ((List a_)) | {a} -> List a
332testdata/Prelude.lc 61:17-61:28 (List i_, c_) 332testdata/Prelude.lc 61:17-61:28 (List i_, c_)
333testdata/Prelude.lc 61:17-61:55 List d_ -> (List d_, List c_) | c_ -> List d_ -> (List d_, List c_) 333testdata/Prelude.lc 61:17-61:55 List d_ -> (List c_, List b_) | c_ -> List c_ -> (List b_, List a_)
334testdata/Prelude.lc 61:18-61:19 m_ 334testdata/Prelude.lc 61:18-61:19 m_
335testdata/Prelude.lc 61:18-61:20 List l_ -> List m_ 335testdata/Prelude.lc 61:18-61:20 List l_ -> List l_
336testdata/Prelude.lc 61:18-61:23 List j_ 336testdata/Prelude.lc 61:18-61:23 List j_
337testdata/Prelude.lc 61:19-61:20 {a} -> a -> List a -> List a 337testdata/Prelude.lc 61:19-61:20 {a} -> a -> List a -> List a
338testdata/Prelude.lc 61:21-61:23 d_ 338testdata/Prelude.lc 61:21-61:23 d_
339testdata/Prelude.lc 61:25-61:27 ((c_)) | f_ 339testdata/Prelude.lc 61:25-61:27 ((c_)) | f_
340testdata/Prelude.lc 61:37-61:39 HList c_ -> c_ | c_ -> HList c_ -> c_ | d_ | h_ | k_ 340testdata/Prelude.lc 61:37-61:39 HList c_ -> b_ | c_ -> HList b_ -> a_ | d_ | h_ | k_
341testdata/Prelude.lc 61:37-61:43 (e_, d_) | d_ 341testdata/Prelude.lc 61:37-61:43 (e_, d_) | d_
342testdata/Prelude.lc 61:41-61:43 HList c_ -> c_ | c_ | c_ -> HList c_ -> c_ | f_ 342testdata/Prelude.lc 61:41-61:43 HList c_ -> b_ | c_ | c_ -> HList b_ -> a_ | f_
343testdata/Prelude.lc 61:47-61:52 i_ 343testdata/Prelude.lc 61:47-61:52 i_
344testdata/Prelude.lc 61:53-61:55 List h_ 344testdata/Prelude.lc 61:53-61:55 List h_
345testdata/Prelude.lc 63:1-63:8 {a} -> (a -> a->Ordering) -> List a -> List a -> List a 345testdata/Prelude.lc 63:1-63:8 {a} -> (a -> a->Ordering) -> List a -> List a -> List a
346testdata/Prelude.lc 63:27-65:32 List b_ -> j_ | List e_ | a_ -> List b_ -> j_ 346testdata/Prelude.lc 63:27-65:32 List b_ -> i_ | List e_ | a_ -> List a_ -> h_
347testdata/Prelude.lc 63:27-67:21 List b_ -> e_ | List c_ | List c_ -> List d_ | a_ -> List b_ -> e_ | a_->b_ 347testdata/Prelude.lc 63:27-67:21 List b_ -> d_ | List c_ | List c_ -> List c_ | a_ -> List a_ -> c_ | a_->a_
348testdata/Prelude.lc 63:32-63:33 j_ 348testdata/Prelude.lc 63:32-63:33 j_
349testdata/Prelude.lc 63:34-63:35 h_ 349testdata/Prelude.lc 63:34-63:35 h_
350testdata/Prelude.lc 63:36-63:37 i_ 350testdata/Prelude.lc 63:36-63:37 i_
351testdata/Prelude.lc 64:11-64:12 j_ 351testdata/Prelude.lc 64:11-64:12 j_
352testdata/Prelude.lc 64:11-64:13 List i_ -> List j_ 352testdata/Prelude.lc 64:11-64:13 List i_ -> List i_
353testdata/Prelude.lc 64:11-64:33 List h_ 353testdata/Prelude.lc 64:11-64:33 List h_
354testdata/Prelude.lc 64:11-65:32 List g_ -> Ordering -> List i_ 354testdata/Prelude.lc 64:11-65:32 List g_ -> Ordering -> List g_
355testdata/Prelude.lc 64:12-64:13 {a} -> a -> List a -> List a 355testdata/Prelude.lc 64:12-64:13 {a} -> a -> List a -> List a
356testdata/Prelude.lc 64:14-64:21 p_ 356testdata/Prelude.lc 64:14-64:21 p_
357testdata/Prelude.lc 64:22-64:23 q_ 357testdata/Prelude.lc 64:22-64:23 q_
358testdata/Prelude.lc 64:24-64:26 List l_ 358testdata/Prelude.lc 64:24-64:26 List l_
359testdata/Prelude.lc 64:28-64:29 j_ 359testdata/Prelude.lc 64:28-64:29 j_
360testdata/Prelude.lc 64:28-64:30 List i_ -> List j_ 360testdata/Prelude.lc 64:28-64:30 List i_ -> List i_
361testdata/Prelude.lc 64:28-64:32 List i_ 361testdata/Prelude.lc 64:28-64:32 List i_
362testdata/Prelude.lc 64:29-64:30 {a} -> a -> List a -> List a 362testdata/Prelude.lc 64:29-64:30 {a} -> a -> List a -> List a
363testdata/Prelude.lc 64:30-64:32 List i_ 363testdata/Prelude.lc 64:30-64:32 List i_
364testdata/Prelude.lc 65:10-65:11 f_ | h_ 364testdata/Prelude.lc 65:10-65:11 f_ | h_
365testdata/Prelude.lc 65:10-65:12 List e_ -> List f_ | List g_ -> List h_ 365testdata/Prelude.lc 65:10-65:12 List e_ -> List e_ | List g_ -> List g_
366testdata/Prelude.lc 65:10-65:32 List g_ 366testdata/Prelude.lc 65:10-65:32 List g_
367testdata/Prelude.lc 65:11-65:12 {a} -> a -> List a -> List a 367testdata/Prelude.lc 65:11-65:12 {a} -> a -> List a -> List a
368testdata/Prelude.lc 65:13-65:20 m_ -> List h_ -> List i_ -> List j_ 368testdata/Prelude.lc 65:13-65:20 m_ -> List g_ -> List g_ -> List g_
369testdata/Prelude.lc 65:13-65:22 List g_ -> List h_ -> List i_ 369testdata/Prelude.lc 65:13-65:22 List g_ -> List g_ -> List g_
370testdata/Prelude.lc 65:13-65:29 List g_ -> List h_ 370testdata/Prelude.lc 65:13-65:29 List g_ -> List g_
371testdata/Prelude.lc 65:13-65:32 List g_ 371testdata/Prelude.lc 65:13-65:32 List g_
372testdata/Prelude.lc 65:21-65:22 m_ 372testdata/Prelude.lc 65:21-65:22 m_
373testdata/Prelude.lc 65:24-65:25 h_ 373testdata/Prelude.lc 65:24-65:25 h_
374testdata/Prelude.lc 65:24-65:26 List g_ -> List h_ 374testdata/Prelude.lc 65:24-65:26 List g_ -> List g_
375testdata/Prelude.lc 65:24-65:28 List g_ 375testdata/Prelude.lc 65:24-65:28 List g_
376testdata/Prelude.lc 65:25-65:26 {a} -> a -> List a -> List a 376testdata/Prelude.lc 65:25-65:26 {a} -> a -> List a -> List a
377testdata/Prelude.lc 65:26-65:28 List g_ 377testdata/Prelude.lc 65:26-65:28 List g_
@@ -380,30 +380,30 @@ testdata/Prelude.lc 66:19-66:21 d_
380testdata/Prelude.lc 67:19-67:21 i_ 380testdata/Prelude.lc 67:19-67:21 i_
381testdata/Prelude.lc 69:1-69:7 {a} -> (a -> a->Ordering) -> List a -> List a 381testdata/Prelude.lc 69:1-69:7 {a} -> (a -> a->Ordering) -> List a -> List a
382testdata/Prelude.lc 69:15-69:17 {a} -> List a 382testdata/Prelude.lc 69:15-69:17 {a} -> List a
383testdata/Prelude.lc 69:15-71:71 List b_ -> List c_ | a_->b_ 383testdata/Prelude.lc 69:15-71:71 List b_ -> List b_ | a_->a_
384testdata/Prelude.lc 70:16-70:19 List e_ 384testdata/Prelude.lc 70:16-70:19 List e_
385testdata/Prelude.lc 70:16-71:71 List b_ -> List g_ | List c_ -> List c_ | List d_ | b_ -> List c_ -> List c_ 385testdata/Prelude.lc 70:16-71:71 List b_ -> List f_ | List c_ -> List b_ | List d_ | b_ -> List b_ -> List a_
386testdata/Prelude.lc 70:17-70:18 g_ 386testdata/Prelude.lc 70:17-70:18 g_
387testdata/Prelude.lc 71:15-71:22 {a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b 387testdata/Prelude.lc 71:15-71:22 {a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b
388testdata/Prelude.lc 71:15-71:34 (List a_, List a_) -> List b_ 388testdata/Prelude.lc 71:15-71:34 (List a_, List a_) -> List a_
389testdata/Prelude.lc 71:15-71:71 List b_ -> List g_ | List h_ | a_ -> List b_ -> List g_ 389testdata/Prelude.lc 71:15-71:71 List b_ -> List f_ | List h_ | a_ -> List a_ -> List e_
390testdata/Prelude.lc 71:24-71:31 {a} -> (a -> a->Ordering) -> List a -> List a -> List a 390testdata/Prelude.lc 71:24-71:31 {a} -> (a -> a->Ordering) -> List a -> List a -> List a
391testdata/Prelude.lc 71:24-71:33 List a_ -> List b_ -> List c_ 391testdata/Prelude.lc 71:24-71:33 List a_ -> List a_ -> List a_
392testdata/Prelude.lc 71:32-71:33 o_ 392testdata/Prelude.lc 71:32-71:33 o_
393testdata/Prelude.lc 71:36-71:70 (List h_, List h_) 393testdata/Prelude.lc 71:36-71:70 (List h_, List h_)
394testdata/Prelude.lc 71:37-71:43 p_ 394testdata/Prelude.lc 71:37-71:43 p_
395testdata/Prelude.lc 71:37-71:49 (c_->b_) -> (e_, d_)->(d_, c_) 395testdata/Prelude.lc 71:37-71:49 (c_->a_) -> (d_, c_)->(b_, a_)
396testdata/Prelude.lc 71:37-71:58 (b_, b_)->(b_, b_) 396testdata/Prelude.lc 71:37-71:58 (b_, b_)->(a_, a_)
397testdata/Prelude.lc 71:44-71:45 n_ -> o_->Ordering 397testdata/Prelude.lc 71:44-71:45 n_ -> n_->Ordering
398testdata/Prelude.lc 71:46-71:49 {a} -> {b} -> {c} -> {d} -> (a->c) -> (b->d) -> (a, b)->(c, d) 398testdata/Prelude.lc 71:46-71:49 {a} -> {b} -> {c} -> {d} -> (a->c) -> (b->d) -> (a, b)->(c, d)
399testdata/Prelude.lc 71:50-71:56 (k_ -> l_->Ordering) -> e_->d_ 399testdata/Prelude.lc 71:50-71:56 (k_ -> k_->Ordering) -> d_->b_
400testdata/Prelude.lc 71:50-71:58 b_->b_ 400testdata/Prelude.lc 71:50-71:58 b_->a_
401testdata/Prelude.lc 71:57-71:58 i_ -> j_->Ordering 401testdata/Prelude.lc 71:57-71:58 i_ -> i_->Ordering
402testdata/Prelude.lc 71:61-71:66 {a} -> List a -> (List a, List a) 402testdata/Prelude.lc 71:61-71:66 {a} -> List a -> (List a, List a)
403testdata/Prelude.lc 71:61-71:69 (List a_, List a_) 403testdata/Prelude.lc 71:61-71:69 (List a_, List a_)
404testdata/Prelude.lc 71:67-71:69 k_ 404testdata/Prelude.lc 71:67-71:69 k_
405testdata/Prelude.lc 73:12-73:32 Type 405testdata/Prelude.lc 73:12-73:32 Type
406testdata/Prelude.lc 73:12-74:35 a_->b_ | {a} -> (a->a) -> a -> List a 406testdata/Prelude.lc 73:12-74:35 a_->a_ | {a} -> (a->a) -> a -> List a
407testdata/Prelude.lc 73:13-73:14 b_ 407testdata/Prelude.lc 73:13-73:14 b_
408testdata/Prelude.lc 73:18-73:19 Type 408testdata/Prelude.lc 73:18-73:19 Type
409testdata/Prelude.lc 73:24-73:25 Type 409testdata/Prelude.lc 73:24-73:25 Type
@@ -412,20 +412,20 @@ testdata/Prelude.lc 73:29-73:32 Type
412testdata/Prelude.lc 73:30-73:31 Type 412testdata/Prelude.lc 73:30-73:31 Type
413testdata/Prelude.lc 74:1-74:8 {a} -> (a->a) -> a -> List a 413testdata/Prelude.lc 74:1-74:8 {a} -> (a->a) -> a -> List a
414testdata/Prelude.lc 74:16-74:17 d_ 414testdata/Prelude.lc 74:16-74:17 d_
415testdata/Prelude.lc 74:16-74:19 List c_ -> List d_ 415testdata/Prelude.lc 74:16-74:19 List c_ -> List c_
416testdata/Prelude.lc 74:16-74:35 (a_->b_) -> b_ -> List c_ | List c_ | b_ -> List c_ 416testdata/Prelude.lc 74:16-74:35 (a_->a_) -> a_ -> List a_ | List c_ | b_ -> List b_
417testdata/Prelude.lc 74:18-74:19 {a} -> a -> List a -> List a 417testdata/Prelude.lc 74:18-74:19 {a} -> a -> List a -> List a
418testdata/Prelude.lc 74:20-74:27 {a} -> (a->a) -> a -> List a 418testdata/Prelude.lc 74:20-74:27 {a} -> (a->a) -> a -> List a
419testdata/Prelude.lc 74:20-74:29 c_ -> List d_ 419testdata/Prelude.lc 74:20-74:29 c_ -> List c_
420testdata/Prelude.lc 74:20-74:35 List c_ 420testdata/Prelude.lc 74:20-74:35 List c_
421testdata/Prelude.lc 74:28-74:29 d_->e_ 421testdata/Prelude.lc 74:28-74:29 d_->d_
422testdata/Prelude.lc 74:31-74:32 c_->d_ 422testdata/Prelude.lc 74:31-74:32 c_->c_
423testdata/Prelude.lc 74:31-74:34 c_ 423testdata/Prelude.lc 74:31-74:34 c_
424testdata/Prelude.lc 74:33-74:34 c_ 424testdata/Prelude.lc 74:33-74:34 c_
425testdata/Prelude.lc 76:1-76:4 {a} -> {b} -> (a, b)->a 425testdata/Prelude.lc 76:1-76:4 {a} -> {b} -> (a, b)->a
426testdata/Prelude.lc 76:14-76:15 HList c_ -> c_ | c_ -> HList c_ -> c_ | d_ | h_ | k_ 426testdata/Prelude.lc 76:14-76:15 HList c_ -> b_ | c_ -> HList b_ -> a_ | d_ | h_ | k_
427testdata/Prelude.lc 77:1-77:4 {a} -> {b} -> (a, b)->b 427testdata/Prelude.lc 77:1-77:4 {a} -> {b} -> (a, b)->b
428testdata/Prelude.lc 77:14-77:15 HList c_ -> c_ | c_ | c_ -> HList c_ -> c_ | f_ 428testdata/Prelude.lc 77:14-77:15 HList c_ -> b_ | c_ | c_ -> HList b_ -> a_ | f_
429testdata/Prelude.lc 79:7-79:10 Bool -> Bool->Bool 429testdata/Prelude.lc 79:7-79:10 Bool -> Bool->Bool
430testdata/Prelude.lc 79:15-79:16 c_ 430testdata/Prelude.lc 79:15-79:16 c_
431testdata/Prelude.lc 79:15-80:18 Bool->Bool 431testdata/Prelude.lc 79:15-80:18 Bool->Bool
@@ -441,7 +441,7 @@ testdata/Prelude.lc 122:16-122:23 RecItem | String -> Type->RecItem | Type
441testdata/Prelude.lc 122:24-122:30 Type 441testdata/Prelude.lc 122:24-122:30 Type
442testdata/Prelude.lc 122:31-122:35 Type 442testdata/Prelude.lc 122:31-122:35 Type
443testdata/Prelude.lc 124:1-124:12 RecItem->Type 443testdata/Prelude.lc 124:1-124:12 RecItem->Type
444testdata/Prelude.lc 124:29-124:30 String -> Type->c_ | Type | Type->c_ 444testdata/Prelude.lc 124:29-124:30 String -> Type->a_ | Type | Type->b_
445testdata/Prelude.lc 126:6-126:13 List RecItem -> Type | Type 445testdata/Prelude.lc 126:6-126:13 List RecItem -> Type | Type
446testdata/Prelude.lc 126:6-126:17 Type 446testdata/Prelude.lc 126:6-126:17 Type
447testdata/Prelude.lc 126:6-127:17 Type 447testdata/Prelude.lc 126:6-127:17 Type
@@ -460,9 +460,9 @@ testdata/Prelude.lc 127:42-127:44 List RecItem
460testdata/Prelude.lc 129:1-129:7 String -> Type -> List RecItem -> Type 460testdata/Prelude.lc 129:1-129:7 String -> Type -> List RecItem -> Type
461testdata/Prelude.lc 129:17-129:23 String->Type 461testdata/Prelude.lc 129:17-129:23 String->Type
462testdata/Prelude.lc 129:17-129:26 Type 462testdata/Prelude.lc 129:17-129:26 Type
463testdata/Prelude.lc 129:17-130:75 List RecItem -> Type | a_->b_ 463testdata/Prelude.lc 129:17-130:75 List RecItem -> Type | a_->a_
464testdata/Prelude.lc 129:24-129:26 String 464testdata/Prelude.lc 129:24-129:26 String
465testdata/Prelude.lc 130:34-130:75 List b_ -> Type | String -> Type->c_ | Type | Type->c_ | a_ -> List b_ -> Type 465testdata/Prelude.lc 130:34-130:75 List b_ -> Type | String -> Type->a_ | Type | Type->b_ | a_ -> List a_ -> Type
466testdata/Prelude.lc 130:37-130:38 o_ 466testdata/Prelude.lc 130:37-130:38 o_
467testdata/Prelude.lc 130:37-130:41 n_->Bool 467testdata/Prelude.lc 130:37-130:41 n_->Bool
468testdata/Prelude.lc 130:37-130:44 Bool 468testdata/Prelude.lc 130:37-130:44 Bool
@@ -480,17 +480,17 @@ testdata/Prelude.lc 130:71-130:72 Type
480testdata/Prelude.lc 130:73-130:75 List i_ 480testdata/Prelude.lc 130:73-130:75 List i_
481testdata/Prelude.lc 132:1-132:7 {a} -> {b : List Type} -> HList ('Cons a b) -> a 481testdata/Prelude.lc 132:1-132:7 {a} -> {b : List Type} -> HList ('Cons a b) -> a
482testdata/Prelude.lc 132:10-132:23 {a} -> {b : List Type} -> (c:Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c 482testdata/Prelude.lc 132:10-132:23 {a} -> {b : List Type} -> (c:Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c
483testdata/Prelude.lc 132:10-132:25 (c_ -> HList c_ -> c_) -> HList ('Cons d_ c_) -> c_ 483testdata/Prelude.lc 132:10-132:25 (c_ -> HList b_ -> a_) -> HList ('Cons c_ b_) -> a_
484testdata/Prelude.lc 132:10-132:37 HList ('Cons b_ a_) -> c_ 484testdata/Prelude.lc 132:10-132:37 HList ('Cons b_ a_) -> b_
485testdata/Prelude.lc 132:27-132:36 c_ -> HList c_ -> c_ 485testdata/Prelude.lc 132:27-132:36 c_ -> HList b_ -> a_
486testdata/Prelude.lc 132:35-132:36 HList c_ -> c_ | e_ 486testdata/Prelude.lc 132:35-132:36 HList c_ -> b_ | e_
487testdata/Prelude.lc 133:1-133:7 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b 487testdata/Prelude.lc 133:1-133:7 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b
488testdata/Prelude.lc 133:10-133:23 {a} -> {b : List Type} -> (c:Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c 488testdata/Prelude.lc 133:10-133:23 {a} -> {b : List Type} -> (c:Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c
489testdata/Prelude.lc 133:10-133:25 (c_ -> HList c_ -> c_) -> HList ('Cons d_ c_) -> c_ 489testdata/Prelude.lc 133:10-133:25 (c_ -> HList b_ -> a_) -> HList ('Cons c_ b_) -> a_
490testdata/Prelude.lc 133:10-133:37 HList ('Cons b_ a_) -> HList b_ 490testdata/Prelude.lc 133:10-133:37 HList ('Cons b_ a_) -> HList a_
491testdata/Prelude.lc 133:27-133:36 c_ -> HList c_ -> c_ 491testdata/Prelude.lc 133:27-133:36 c_ -> HList b_ -> a_
492testdata/Prelude.lc 133:35-133:36 HList c_ -> c_ | HList d_ 492testdata/Prelude.lc 133:35-133:36 HList c_ -> b_ | HList d_
493testdata/Prelude.lc 136:12-138:181 a_->b_ | {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a 493testdata/Prelude.lc 136:12-138:181 a_->a_ | {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a
494testdata/Prelude.lc 136:28-136:37 Type 494testdata/Prelude.lc 136:28-136:37 Type
495testdata/Prelude.lc 136:28-136:97 Type 495testdata/Prelude.lc 136:28-136:97 Type
496testdata/Prelude.lc 136:29-136:36 Type 496testdata/Prelude.lc 136:29-136:36 Type
@@ -513,15 +513,15 @@ testdata/Prelude.lc 137:1-137:8 {a} -> {b : List RecItem} -> (c:String) -> {_ :
513testdata/Prelude.lc 137:57-137:58 String 513testdata/Prelude.lc 137:57-137:58 String
514testdata/Prelude.lc 137:57-137:61 String->Bool 514testdata/Prelude.lc 137:57-137:61 String->Bool
515testdata/Prelude.lc 137:57-137:64 Bool 515testdata/Prelude.lc 137:57-137:64 Bool
516testdata/Prelude.lc 137:57-138:181 (a:String) -> {_ : 'isKeyC a c_ b_} -> RecordC c_ -> e_ | HList ('map RecItem Type 'recItemType b_) -> b_ | List c_ -> c_ | RecordC c_ -> e_ | String -> Type->c_ | Type->c_ | b_ -> List c_ -> c_ | e_ | g_ | j_ | m_ | {_ : 'isKeyC a_ c_ b_} -> RecordC c_ -> e_ | {a : List RecItem} -> (b:String) -> {_ : 'isKeyC b c_ a} -> RecordC a -> e_ | {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a 516testdata/Prelude.lc 137:57-138:181 (a:String) -> {_ : 'isKeyC a b_ a_} -> RecordC a_ -> b_ | HList ('map RecItem Type 'recItemType b_) -> a_ | List c_ -> b_ | RecordC c_ -> d_ | String -> Type->a_ | Type->b_ | b_ -> List b_ -> a_ | e_ | g_ | j_ | m_ | {_ : 'isKeyC a_ c_ b_} -> RecordC b_ -> c_ | {a : List RecItem} -> (b:String) -> {_ : 'isKeyC b a_ a} -> RecordC a -> a_ | {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a
517testdata/Prelude.lc 137:59-137:61 {a} -> {_ : Eq a} -> a -> a->Bool 517testdata/Prelude.lc 137:59-137:61 {a} -> {_ : Eq a} -> a -> a->Bool
518testdata/Prelude.lc 137:62-137:64 String 518testdata/Prelude.lc 137:62-137:64 String
519testdata/Prelude.lc 137:67-137:73 {a} -> {b : List Type} -> HList ('Cons a b) -> a 519testdata/Prelude.lc 137:67-137:73 {a} -> {b : List Type} -> HList ('Cons a b) -> a
520testdata/Prelude.lc 137:67-137:129 n_ 520testdata/Prelude.lc 137:67-137:129 n_
521testdata/Prelude.lc 137:67-138:181 Bool->o_ 521testdata/Prelude.lc 137:67-138:181 Bool->n_
522testdata/Prelude.lc 137:75-137:87 {a} -> {b} -> a->b 522testdata/Prelude.lc 137:75-137:87 {a} -> {b} -> a->b
523testdata/Prelude.lc 137:75-137:90 {a} -> b_->a 523testdata/Prelude.lc 137:75-137:90 {a} -> a_->a
524testdata/Prelude.lc 137:75-137:125 a_ -> HList ('Cons r_ ('map RecItem Type 'recItemType k_)) 524testdata/Prelude.lc 137:75-137:125 a_ -> HList ('Cons q_ ('map RecItem Type 'recItemType j_))
525testdata/Prelude.lc 137:75-137:128 HList ('Cons n_ ('map RecItem Type 'recItemType g_)) 525testdata/Prelude.lc 137:75-137:128 HList ('Cons n_ ('map RecItem Type 'recItemType g_))
526testdata/Prelude.lc 137:93-137:98 List Type -> Type 526testdata/Prelude.lc 137:93-137:98 List Type -> Type
527testdata/Prelude.lc 137:93-137:124 Type 527testdata/Prelude.lc 137:93-137:124 Type
@@ -536,10 +536,10 @@ testdata/Prelude.lc 137:109-137:120 RecItem->Type
536testdata/Prelude.lc 137:121-137:123 List RecItem 536testdata/Prelude.lc 137:121-137:123 List RecItem
537testdata/Prelude.lc 137:126-137:128 HList ('map RecItem Type 'recItemType d_) 537testdata/Prelude.lc 137:126-137:128 HList ('map RecItem Type 'recItemType d_)
538testdata/Prelude.lc 138:57-138:64 {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a 538testdata/Prelude.lc 138:57-138:64 {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a
539testdata/Prelude.lc 138:57-138:67 {a : List RecItem} -> (b:String) -> {_ : 'isKeyC b r_ a} -> RecordC a -> t_ 539testdata/Prelude.lc 138:57-138:67 {a : List RecItem} -> (b:String) -> {_ : 'isKeyC b p_ a} -> RecordC a -> p_
540testdata/Prelude.lc 138:57-138:71 (a:String) -> {_ : 'isKeyC a p_ i_} -> RecordC j_ -> r_ 540testdata/Prelude.lc 138:57-138:71 (a:String) -> {_ : 'isKeyC a o_ h_} -> RecordC h_ -> o_
541testdata/Prelude.lc 138:57-138:73 {_ : 'isKeyC m_ o_ h_} -> RecordC i_ -> q_ 541testdata/Prelude.lc 138:57-138:73 {_ : 'isKeyC m_ o_ h_} -> RecordC h_ -> o_
542testdata/Prelude.lc 138:57-138:103 RecordC h_ -> p_ 542testdata/Prelude.lc 138:57-138:103 RecordC h_ -> o_
543testdata/Prelude.lc 138:57-138:181 n_ 543testdata/Prelude.lc 138:57-138:181 n_
544testdata/Prelude.lc 138:66-138:67 Type 544testdata/Prelude.lc 138:66-138:67 Type
545testdata/Prelude.lc 138:69-138:71 List k_ 545testdata/Prelude.lc 138:69-138:71 List k_
@@ -558,8 +558,8 @@ testdata/Prelude.lc 138:105-138:180 RecordC b_
558testdata/Prelude.lc 138:117-138:123 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b 558testdata/Prelude.lc 138:117-138:123 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b
559testdata/Prelude.lc 138:117-138:179 HList ('map RecItem Type 'recItemType h_) 559testdata/Prelude.lc 138:117-138:179 HList ('map RecItem Type 'recItemType h_)
560testdata/Prelude.lc 138:125-138:137 {a} -> {b} -> a->b 560testdata/Prelude.lc 138:125-138:137 {a} -> {b} -> a->b
561testdata/Prelude.lc 138:125-138:140 {a} -> b_->a 561testdata/Prelude.lc 138:125-138:140 {a} -> a_->a
562testdata/Prelude.lc 138:125-138:175 a_ -> HList ('Cons s_ ('map RecItem Type 'recItemType l_)) 562testdata/Prelude.lc 138:125-138:175 a_ -> HList ('Cons r_ ('map RecItem Type 'recItemType k_))
563testdata/Prelude.lc 138:125-138:178 HList ('Cons o_ ('map RecItem Type 'recItemType h_)) 563testdata/Prelude.lc 138:125-138:178 HList ('Cons o_ ('map RecItem Type 'recItemType h_))
564testdata/Prelude.lc 138:143-138:148 List Type -> Type 564testdata/Prelude.lc 138:143-138:148 List Type -> Type
565testdata/Prelude.lc 138:143-138:174 Type 565testdata/Prelude.lc 138:143-138:174 Type
@@ -575,9 +575,9 @@ testdata/Prelude.lc 138:171-138:173 List RecItem
575testdata/Prelude.lc 138:176-138:178 HList ('map RecItem Type 'recItemType e_) 575testdata/Prelude.lc 138:176-138:178 HList ('map RecItem Type 'recItemType e_)
576testdata/Prelude.lc 142:1-142:4 Float -> Float -> Float -> VecS Float 4 576testdata/Prelude.lc 142:1-142:4 Float -> Float -> Float -> VecS Float 4
577testdata/Prelude.lc 142:13-142:15 {a} -> a -> a -> a -> a -> VecS a 4 577testdata/Prelude.lc 142:13-142:15 {a} -> a -> a -> a -> a -> VecS a 4
578testdata/Prelude.lc 142:13-142:17 f_ -> g_ -> h_ -> VecS i_ 4 578testdata/Prelude.lc 142:13-142:17 f_ -> f_ -> f_ -> VecS f_ 4
579testdata/Prelude.lc 142:13-142:19 e_ -> f_ -> VecS g_ 4 579testdata/Prelude.lc 142:13-142:19 e_ -> e_ -> VecS e_ 4
580testdata/Prelude.lc 142:13-142:21 d_ -> VecS e_ 4 580testdata/Prelude.lc 142:13-142:21 d_ -> VecS d_ 4
581testdata/Prelude.lc 142:13-142:25 VecS Float 4 581testdata/Prelude.lc 142:13-142:25 VecS Float 4
582testdata/Prelude.lc 142:16-142:17 g_ 582testdata/Prelude.lc 142:16-142:17 g_
583testdata/Prelude.lc 142:18-142:19 d_ 583testdata/Prelude.lc 142:18-142:19 d_
@@ -906,31 +906,31 @@ testdata/Prelude.lc 263:1-263:16 {a:Nat} -> VecScalar a Word -> VecScalar a Flo
906testdata/Prelude.lc 263:19-263:38 {a:Nat} -> VecScalar a Word -> VecScalar a Float 906testdata/Prelude.lc 263:19-263:38 {a:Nat} -> VecScalar a Word -> VecScalar a Float
907testdata/Prelude.lc 281:3-281:4 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 907testdata/Prelude.lc 281:3-281:4 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
908testdata/Prelude.lc 281:9-281:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 908testdata/Prelude.lc 281:9-281:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
909testdata/Prelude.lc 281:9-281:18 e_->f_ 909testdata/Prelude.lc 281:9-281:18 e_->e_
910testdata/Prelude.lc 281:9-281:20 d_ 910testdata/Prelude.lc 281:9-281:20 d_
911testdata/Prelude.lc 281:17-281:18 f_ 911testdata/Prelude.lc 281:17-281:18 f_
912testdata/Prelude.lc 281:19-281:20 c_ 912testdata/Prelude.lc 281:19-281:20 c_
913testdata/Prelude.lc 282:3-282:4 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 913testdata/Prelude.lc 282:3-282:4 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
914testdata/Prelude.lc 282:9-282:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 914testdata/Prelude.lc 282:9-282:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
915testdata/Prelude.lc 282:9-282:18 e_->f_ 915testdata/Prelude.lc 282:9-282:18 e_->e_
916testdata/Prelude.lc 282:9-282:20 d_ 916testdata/Prelude.lc 282:9-282:20 d_
917testdata/Prelude.lc 282:17-282:18 f_ 917testdata/Prelude.lc 282:17-282:18 f_
918testdata/Prelude.lc 282:19-282:20 c_ 918testdata/Prelude.lc 282:19-282:20 c_
919testdata/Prelude.lc 283:3-283:4 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 919testdata/Prelude.lc 283:3-283:4 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
920testdata/Prelude.lc 283:9-283:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 920testdata/Prelude.lc 283:9-283:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
921testdata/Prelude.lc 283:9-283:18 e_->f_ 921testdata/Prelude.lc 283:9-283:18 e_->e_
922testdata/Prelude.lc 283:9-283:20 d_ 922testdata/Prelude.lc 283:9-283:20 d_
923testdata/Prelude.lc 283:17-283:18 f_ 923testdata/Prelude.lc 283:17-283:18 f_
924testdata/Prelude.lc 283:19-283:20 c_ 924testdata/Prelude.lc 283:19-283:20 c_
925testdata/Prelude.lc 284:3-284:4 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a 925testdata/Prelude.lc 284:3-284:4 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a
926testdata/Prelude.lc 284:9-284:16 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> b->b 926testdata/Prelude.lc 284:9-284:16 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> b->b
927testdata/Prelude.lc 284:9-284:18 VecScalar b_ c_ -> VecScalar c_ d_ 927testdata/Prelude.lc 284:9-284:18 VecScalar b_ c_ -> VecScalar b_ c_
928testdata/Prelude.lc 284:9-284:20 VecScalar b_ c_ 928testdata/Prelude.lc 284:9-284:20 VecScalar b_ c_
929testdata/Prelude.lc 284:17-284:18 g_ 929testdata/Prelude.lc 284:17-284:18 g_
930testdata/Prelude.lc 284:19-284:20 e_ 930testdata/Prelude.lc 284:19-284:20 e_
931testdata/Prelude.lc 285:3-285:4 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a 931testdata/Prelude.lc 285:3-285:4 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a
932testdata/Prelude.lc 285:9-285:16 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> b->b 932testdata/Prelude.lc 285:9-285:16 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> b->b
933testdata/Prelude.lc 285:9-285:18 VecScalar b_ c_ -> VecScalar c_ d_ 933testdata/Prelude.lc 285:9-285:18 VecScalar b_ c_ -> VecScalar b_ c_
934testdata/Prelude.lc 285:9-285:20 VecScalar b_ c_ 934testdata/Prelude.lc 285:9-285:20 VecScalar b_ c_
935testdata/Prelude.lc 285:17-285:18 g_ 935testdata/Prelude.lc 285:17-285:18 g_
936testdata/Prelude.lc 285:19-285:20 e_ 936testdata/Prelude.lc 285:19-285:20 e_
@@ -946,25 +946,25 @@ testdata/Prelude.lc 291:23-291:24 e_
946testdata/Prelude.lc 291:25-291:26 b_ 946testdata/Prelude.lc 291:25-291:26 b_
947testdata/Prelude.lc 292:3-292:4 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool 947testdata/Prelude.lc 292:3-292:4 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
948testdata/Prelude.lc 292:9-292:21 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d 948testdata/Prelude.lc 292:9-292:21 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d
949testdata/Prelude.lc 292:9-292:23 VecScalar c_ b_ -> VecScalar d_ Bool 949testdata/Prelude.lc 292:9-292:23 VecScalar c_ b_ -> VecScalar c_ Bool
950testdata/Prelude.lc 292:9-292:25 VecScalar c_ Bool 950testdata/Prelude.lc 292:9-292:25 VecScalar c_ Bool
951testdata/Prelude.lc 292:22-292:23 g_ 951testdata/Prelude.lc 292:22-292:23 g_
952testdata/Prelude.lc 292:24-292:25 e_ 952testdata/Prelude.lc 292:24-292:25 e_
953testdata/Prelude.lc 293:3-293:5 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool 953testdata/Prelude.lc 293:3-293:5 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
954testdata/Prelude.lc 293:10-293:27 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d 954testdata/Prelude.lc 293:10-293:27 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d
955testdata/Prelude.lc 293:10-293:29 VecScalar c_ b_ -> VecScalar d_ Bool 955testdata/Prelude.lc 293:10-293:29 VecScalar c_ b_ -> VecScalar c_ Bool
956testdata/Prelude.lc 293:10-293:31 VecScalar c_ Bool 956testdata/Prelude.lc 293:10-293:31 VecScalar c_ Bool
957testdata/Prelude.lc 293:28-293:29 g_ 957testdata/Prelude.lc 293:28-293:29 g_
958testdata/Prelude.lc 293:30-293:31 e_ 958testdata/Prelude.lc 293:30-293:31 e_
959testdata/Prelude.lc 294:3-294:5 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool 959testdata/Prelude.lc 294:3-294:5 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
960testdata/Prelude.lc 294:10-294:30 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d 960testdata/Prelude.lc 294:10-294:30 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d
961testdata/Prelude.lc 294:10-294:32 VecScalar c_ b_ -> VecScalar d_ Bool 961testdata/Prelude.lc 294:10-294:32 VecScalar c_ b_ -> VecScalar c_ Bool
962testdata/Prelude.lc 294:10-294:34 VecScalar c_ Bool 962testdata/Prelude.lc 294:10-294:34 VecScalar c_ Bool
963testdata/Prelude.lc 294:31-294:32 g_ 963testdata/Prelude.lc 294:31-294:32 g_
964testdata/Prelude.lc 294:33-294:34 e_ 964testdata/Prelude.lc 294:33-294:34 e_
965testdata/Prelude.lc 295:3-295:4 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool 965testdata/Prelude.lc 295:3-295:4 {a:Nat} -> {b} -> {_ : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool
966testdata/Prelude.lc 295:9-295:24 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d 966testdata/Prelude.lc 295:9-295:24 {a} -> {b:Nat} -> {c} -> {d} -> {_ : Num c} -> {_ : a ~ VecScalar b c} -> {_ : d ~ VecScalar b Bool} -> a -> a->d
967testdata/Prelude.lc 295:9-295:26 VecScalar c_ b_ -> VecScalar d_ Bool 967testdata/Prelude.lc 295:9-295:26 VecScalar c_ b_ -> VecScalar c_ Bool
968testdata/Prelude.lc 295:9-295:28 VecScalar c_ Bool 968testdata/Prelude.lc 295:9-295:28 VecScalar c_ Bool
969testdata/Prelude.lc 295:25-295:26 g_ 969testdata/Prelude.lc 295:25-295:26 g_
970testdata/Prelude.lc 295:27-295:28 e_ 970testdata/Prelude.lc 295:27-295:28 e_
@@ -996,49 +996,49 @@ testdata/Prelude.lc 303:9-303:18 Bool
996testdata/Prelude.lc 303:17-303:18 c_ 996testdata/Prelude.lc 303:17-303:18 c_
997testdata/Prelude.lc 306:3-306:6 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c 997testdata/Prelude.lc 306:3-306:6 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c
998testdata/Prelude.lc 306:11-306:24 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c 998testdata/Prelude.lc 306:11-306:24 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c
999testdata/Prelude.lc 306:11-306:26 Mat c_ a_ b_ -> Mat e_ b_ c_ 999testdata/Prelude.lc 306:11-306:26 Mat c_ a_ b_ -> Mat d_ a_ b_
1000testdata/Prelude.lc 306:11-306:28 Mat d_ a_ b_ 1000testdata/Prelude.lc 306:11-306:28 Mat d_ a_ b_
1001testdata/Prelude.lc 306:25-306:26 h_ 1001testdata/Prelude.lc 306:25-306:26 h_
1002testdata/Prelude.lc 306:27-306:28 f_ 1002testdata/Prelude.lc 306:27-306:28 f_
1003testdata/Prelude.lc 307:3-307:5 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> Vec a c 1003testdata/Prelude.lc 307:3-307:5 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> Vec a c
1004testdata/Prelude.lc 307:10-307:23 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Vec b c -> Vec a c 1004testdata/Prelude.lc 307:10-307:23 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Vec b c -> Vec a c
1005testdata/Prelude.lc 307:10-307:25 Vec b_ a_ -> Vec d_ b_ 1005testdata/Prelude.lc 307:10-307:25 Vec b_ a_ -> Vec c_ a_
1006testdata/Prelude.lc 307:10-307:27 Vec c_ a_ 1006testdata/Prelude.lc 307:10-307:27 Vec c_ a_
1007testdata/Prelude.lc 307:24-307:25 g_ 1007testdata/Prelude.lc 307:24-307:25 g_
1008testdata/Prelude.lc 307:26-307:27 e_ 1008testdata/Prelude.lc 307:26-307:27 e_
1009testdata/Prelude.lc 308:3-308:5 {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> Mat a c b -> Vec c b 1009testdata/Prelude.lc 308:3-308:5 {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> Mat a c b -> Vec c b
1010testdata/Prelude.lc 308:10-308:23 {a:Nat} -> {b} -> {c:Nat} -> Vec a b -> Mat a c b -> Vec c b 1010testdata/Prelude.lc 308:10-308:23 {a:Nat} -> {b} -> {c:Nat} -> Vec a b -> Mat a c b -> Vec c b
1011testdata/Prelude.lc 308:10-308:25 Mat c_ a_ b_ -> Vec b_ c_ 1011testdata/Prelude.lc 308:10-308:25 Mat c_ a_ b_ -> Vec a_ b_
1012testdata/Prelude.lc 308:10-308:27 Vec a_ b_ 1012testdata/Prelude.lc 308:10-308:27 Vec a_ b_
1013testdata/Prelude.lc 308:24-308:25 g_ 1013testdata/Prelude.lc 308:24-308:25 g_
1014testdata/Prelude.lc 308:26-308:27 e_ 1014testdata/Prelude.lc 308:26-308:27 e_
1015testdata/Prelude.lc 315:3-315:5 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> MatVecScalarElem a -> a 1015testdata/Prelude.lc 315:3-315:5 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> MatVecScalarElem a -> a
1016testdata/Prelude.lc 315:10-315:18 {a} -> {b} -> {_ : a ~ MatVecScalarElem b} -> {_ : Num a} -> b -> a->b 1016testdata/Prelude.lc 315:10-315:18 {a} -> {b} -> {_ : a ~ MatVecScalarElem b} -> {_ : Num a} -> b -> a->b
1017testdata/Prelude.lc 315:10-315:20 MatVecScalarElem e_ -> f_ 1017testdata/Prelude.lc 315:10-315:20 MatVecScalarElem e_ -> e_
1018testdata/Prelude.lc 315:10-315:22 d_ 1018testdata/Prelude.lc 315:10-315:22 d_
1019testdata/Prelude.lc 315:19-315:20 f_ 1019testdata/Prelude.lc 315:19-315:20 f_
1020testdata/Prelude.lc 315:21-315:22 c_ 1020testdata/Prelude.lc 315:21-315:22 c_
1021testdata/Prelude.lc 316:3-316:5 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> MatVecScalarElem a -> a 1021testdata/Prelude.lc 316:3-316:5 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> MatVecScalarElem a -> a
1022testdata/Prelude.lc 316:10-316:18 {a} -> {b} -> {_ : a ~ MatVecScalarElem b} -> {_ : Num a} -> b -> a->b 1022testdata/Prelude.lc 316:10-316:18 {a} -> {b} -> {_ : a ~ MatVecScalarElem b} -> {_ : Num a} -> b -> a->b
1023testdata/Prelude.lc 316:10-316:20 MatVecScalarElem e_ -> f_ 1023testdata/Prelude.lc 316:10-316:20 MatVecScalarElem e_ -> e_
1024testdata/Prelude.lc 316:10-316:22 d_ 1024testdata/Prelude.lc 316:10-316:22 d_
1025testdata/Prelude.lc 316:19-316:20 f_ 1025testdata/Prelude.lc 316:19-316:20 f_
1026testdata/Prelude.lc 316:21-316:22 c_ 1026testdata/Prelude.lc 316:21-316:22 c_
1027testdata/Prelude.lc 317:3-317:5 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> MatVecScalarElem a -> a 1027testdata/Prelude.lc 317:3-317:5 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> MatVecScalarElem a -> a
1028testdata/Prelude.lc 317:10-317:18 {a} -> {b} -> {_ : a ~ MatVecScalarElem b} -> {_ : Num a} -> b -> a->b 1028testdata/Prelude.lc 317:10-317:18 {a} -> {b} -> {_ : a ~ MatVecScalarElem b} -> {_ : Num a} -> b -> a->b
1029testdata/Prelude.lc 317:10-317:20 MatVecScalarElem e_ -> f_ 1029testdata/Prelude.lc 317:10-317:20 MatVecScalarElem e_ -> e_
1030testdata/Prelude.lc 317:10-317:22 d_ 1030testdata/Prelude.lc 317:10-317:22 d_
1031testdata/Prelude.lc 317:19-317:20 f_ 1031testdata/Prelude.lc 317:19-317:20 f_
1032testdata/Prelude.lc 317:21-317:22 c_ 1032testdata/Prelude.lc 317:21-317:22 c_
1033testdata/Prelude.lc 318:3-318:5 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> a -> VecScalar b a 1033testdata/Prelude.lc 318:3-318:5 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> a -> VecScalar b a
1034testdata/Prelude.lc 318:10-318:18 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> a->b 1034testdata/Prelude.lc 318:10-318:18 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> a->b
1035testdata/Prelude.lc 318:10-318:20 c_ -> VecScalar c_ d_ 1035testdata/Prelude.lc 318:10-318:20 c_ -> VecScalar b_ c_
1036testdata/Prelude.lc 318:10-318:22 VecScalar b_ d_ 1036testdata/Prelude.lc 318:10-318:22 VecScalar b_ d_
1037testdata/Prelude.lc 318:19-318:20 g_ 1037testdata/Prelude.lc 318:19-318:20 g_
1038testdata/Prelude.lc 318:21-318:22 e_ 1038testdata/Prelude.lc 318:21-318:22 e_
1039testdata/Prelude.lc 319:3-319:5 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> a -> VecScalar b a 1039testdata/Prelude.lc 319:3-319:5 {a} -> {b:Nat} -> {_ : Num a} -> VecScalar b a -> a -> VecScalar b a
1040testdata/Prelude.lc 319:10-319:18 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> a->b 1040testdata/Prelude.lc 319:10-319:18 {a} -> {b} -> {c:Nat} -> {_ : Num a} -> {_ : b ~ VecScalar c a} -> b -> a->b
1041testdata/Prelude.lc 319:10-319:20 c_ -> VecScalar c_ d_ 1041testdata/Prelude.lc 319:10-319:20 c_ -> VecScalar b_ c_
1042testdata/Prelude.lc 319:10-319:22 VecScalar b_ d_ 1042testdata/Prelude.lc 319:10-319:22 VecScalar b_ d_
1043testdata/Prelude.lc 319:19-319:20 g_ 1043testdata/Prelude.lc 319:19-319:20 g_
1044testdata/Prelude.lc 319:21-319:22 e_ 1044testdata/Prelude.lc 319:21-319:22 e_
@@ -1069,7 +1069,7 @@ testdata/Prelude.lc 332:11-332:29 Float -> Float -> VecS Float 4
1069testdata/Prelude.lc 332:11-332:43 Float -> VecS Float 4 1069testdata/Prelude.lc 332:11-332:43 Float -> VecS Float 4
1070testdata/Prelude.lc 332:11-332:58 VecS Float 4 1070testdata/Prelude.lc 332:11-332:58 VecS Float 4
1071testdata/Prelude.lc 332:15-332:16 b_ 1071testdata/Prelude.lc 332:15-332:16 b_
1072testdata/Prelude.lc 332:15-332:17 c_->d_ 1072testdata/Prelude.lc 332:15-332:17 c_->c_
1073testdata/Prelude.lc 332:15-332:18 VecScalar 1 Float 1073testdata/Prelude.lc 332:15-332:18 VecScalar 1 Float
1074testdata/Prelude.lc 332:15-332:19 VecScalar 1 Float -> VecScalar 1 Float 1074testdata/Prelude.lc 332:15-332:19 VecScalar 1 Float -> VecScalar 1 Float
1075testdata/Prelude.lc 332:15-332:24 VecScalar 1 Float 1075testdata/Prelude.lc 332:15-332:24 VecScalar 1 Float
@@ -1085,13 +1085,13 @@ testdata/Prelude.lc 332:28-332:29 b_
1085testdata/Prelude.lc 332:42-332:43 b_ 1085testdata/Prelude.lc 332:42-332:43 b_
1086testdata/Prelude.lc 332:57-332:58 b_ 1086testdata/Prelude.lc 332:57-332:58 b_
1087testdata/Prelude.lc 333:11-333:13 {a} -> a -> a -> a -> a -> VecS a 4 1087testdata/Prelude.lc 333:11-333:13 {a} -> a -> a -> a -> a -> VecS a 4
1088testdata/Prelude.lc 333:11-333:15 b_ -> c_ -> d_ -> VecS e_ 4 1088testdata/Prelude.lc 333:11-333:15 b_ -> b_ -> b_ -> VecS b_ 4
1089testdata/Prelude.lc 333:11-333:39 Float -> Float -> VecS Float 4 1089testdata/Prelude.lc 333:11-333:39 Float -> Float -> VecS Float 4
1090testdata/Prelude.lc 333:11-333:43 Float -> VecS Float 4 1090testdata/Prelude.lc 333:11-333:43 Float -> VecS Float 4
1091testdata/Prelude.lc 333:11-333:58 VecS Float 4 1091testdata/Prelude.lc 333:11-333:58 VecS Float 4
1092testdata/Prelude.lc 333:14-333:15 b_ 1092testdata/Prelude.lc 333:14-333:15 b_
1093testdata/Prelude.lc 333:29-333:30 b_ 1093testdata/Prelude.lc 333:29-333:30 b_
1094testdata/Prelude.lc 333:29-333:31 c_->d_ 1094testdata/Prelude.lc 333:29-333:31 c_->c_
1095testdata/Prelude.lc 333:29-333:32 VecScalar 1 Float 1095testdata/Prelude.lc 333:29-333:32 VecScalar 1 Float
1096testdata/Prelude.lc 333:29-333:33 VecScalar 1 Float -> VecScalar 1 Float 1096testdata/Prelude.lc 333:29-333:33 VecScalar 1 Float -> VecScalar 1 Float
1097testdata/Prelude.lc 333:29-333:38 VecScalar 1 Float 1097testdata/Prelude.lc 333:29-333:38 VecScalar 1 Float
@@ -1155,8 +1155,8 @@ testdata/Prelude.lc 334:58-334:59 {a} -> {_ : Num (MatVecScalarElem a)} -> a ->
1155testdata/Prelude.lc 334:58-334:60 Float 1155testdata/Prelude.lc 334:58-334:60 Float
1156testdata/Prelude.lc 334:59-334:60 b_ 1156testdata/Prelude.lc 334:59-334:60 b_
1157testdata/Prelude.lc 335:11-335:13 {a} -> a -> a -> a -> a -> VecS a 4 1157testdata/Prelude.lc 335:11-335:13 {a} -> a -> a -> a -> a -> VecS a 4
1158testdata/Prelude.lc 335:11-335:15 b_ -> c_ -> d_ -> VecS e_ 4 1158testdata/Prelude.lc 335:11-335:15 b_ -> b_ -> b_ -> VecS b_ 4
1159testdata/Prelude.lc 335:11-335:29 c_ -> d_ -> VecS e_ 4 1159testdata/Prelude.lc 335:11-335:29 c_ -> c_ -> VecS c_ 4
1160testdata/Prelude.lc 335:11-335:56 Float -> VecS Float 4 1160testdata/Prelude.lc 335:11-335:56 Float -> VecS Float 4
1161testdata/Prelude.lc 335:11-335:58 VecS Float 4 1161testdata/Prelude.lc 335:11-335:58 VecS Float 4
1162testdata/Prelude.lc 335:14-335:15 b_ 1162testdata/Prelude.lc 335:14-335:15 b_
@@ -1164,7 +1164,7 @@ testdata/Prelude.lc 335:28-335:29 b_
1164testdata/Prelude.lc 335:43-335:44 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 1164testdata/Prelude.lc 335:43-335:44 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
1165testdata/Prelude.lc 335:43-335:55 Float 1165testdata/Prelude.lc 335:43-335:55 Float
1166testdata/Prelude.lc 335:44-335:45 b_ 1166testdata/Prelude.lc 335:44-335:45 b_
1167testdata/Prelude.lc 335:44-335:46 c_->d_ 1167testdata/Prelude.lc 335:44-335:46 c_->c_
1168testdata/Prelude.lc 335:44-335:47 Float 1168testdata/Prelude.lc 335:44-335:47 Float
1169testdata/Prelude.lc 335:44-335:48 Float->Float 1169testdata/Prelude.lc 335:44-335:48 Float->Float
1170testdata/Prelude.lc 335:44-335:49 Float 1170testdata/Prelude.lc 335:44-335:49 Float
@@ -1210,9 +1210,9 @@ testdata/Prelude.lc 342:16-342:49 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
1210testdata/Prelude.lc 342:16-342:62 Vec 4 Float -> Mat 4 4 Float 1210testdata/Prelude.lc 342:16-342:62 Vec 4 Float -> Mat 4 4 Float
1211testdata/Prelude.lc 342:16-342:75 Mat 4 4 Float 1211testdata/Prelude.lc 342:16-342:75 Mat 4 4 Float
1212testdata/Prelude.lc 342:22-342:24 {a} -> a -> a -> a -> a -> VecS a 4 1212testdata/Prelude.lc 342:22-342:24 {a} -> a -> a -> a -> a -> VecS a 4
1213testdata/Prelude.lc 342:22-342:26 VecScalar c_ Float -> VecScalar d_ Float -> VecScalar e_ Float -> VecS (VecScalar f_ Float) 4 1213testdata/Prelude.lc 342:22-342:26 VecScalar c_ Float -> VecScalar c_ Float -> VecScalar c_ Float -> VecS (VecScalar c_ Float) 4
1214testdata/Prelude.lc 342:22-342:28 VecScalar c_ Float -> VecScalar d_ Float -> VecS (VecScalar e_ Float) 4 1214testdata/Prelude.lc 342:22-342:28 VecScalar c_ Float -> VecScalar c_ Float -> VecS (VecScalar c_ Float) 4
1215testdata/Prelude.lc 342:22-342:30 VecScalar d_ Float -> VecS (VecScalar e_ Float) 4 1215testdata/Prelude.lc 342:22-342:30 VecScalar d_ Float -> VecS (VecScalar d_ Float) 4
1216testdata/Prelude.lc 342:22-342:32 VecS (VecScalar 1 Float) 4 1216testdata/Prelude.lc 342:22-342:32 VecS (VecScalar 1 Float) 4
1217testdata/Prelude.lc 342:25-342:26 VecScalar d_ Float 1217testdata/Prelude.lc 342:25-342:26 VecScalar d_ Float
1218testdata/Prelude.lc 342:27-342:28 VecScalar c_ Float 1218testdata/Prelude.lc 342:27-342:28 VecScalar c_ Float
@@ -1230,18 +1230,18 @@ testdata/Prelude.lc 342:43-342:44 VecScalar 1 Float
1230testdata/Prelude.lc 342:45-342:46 b_ 1230testdata/Prelude.lc 342:45-342:46 b_
1231testdata/Prelude.lc 342:47-342:48 b_ 1231testdata/Prelude.lc 342:47-342:48 b_
1232testdata/Prelude.lc 342:51-342:53 {a} -> a -> a -> a -> a -> VecS a 4 1232testdata/Prelude.lc 342:51-342:53 {a} -> a -> a -> a -> a -> VecS a 4
1233testdata/Prelude.lc 342:51-342:55 b_ -> c_ -> d_ -> VecS e_ 4 1233testdata/Prelude.lc 342:51-342:55 b_ -> b_ -> b_ -> VecS b_ 4
1234testdata/Prelude.lc 342:51-342:57 c_ -> d_ -> VecS e_ 4 1234testdata/Prelude.lc 342:51-342:57 c_ -> c_ -> VecS c_ 4
1235testdata/Prelude.lc 342:51-342:59 c_ -> VecS d_ 4 1235testdata/Prelude.lc 342:51-342:59 c_ -> VecS c_ 4
1236testdata/Prelude.lc 342:51-342:61 VecS Float 4 1236testdata/Prelude.lc 342:51-342:61 VecS Float 4
1237testdata/Prelude.lc 342:54-342:55 b_ 1237testdata/Prelude.lc 342:54-342:55 b_
1238testdata/Prelude.lc 342:56-342:57 b_ 1238testdata/Prelude.lc 342:56-342:57 b_
1239testdata/Prelude.lc 342:58-342:59 b_ 1239testdata/Prelude.lc 342:58-342:59 b_
1240testdata/Prelude.lc 342:60-342:61 b_ 1240testdata/Prelude.lc 342:60-342:61 b_
1241testdata/Prelude.lc 342:64-342:66 {a} -> a -> a -> a -> a -> VecS a 4 1241testdata/Prelude.lc 342:64-342:66 {a} -> a -> a -> a -> a -> VecS a 4
1242testdata/Prelude.lc 342:64-342:68 b_ -> c_ -> d_ -> VecS e_ 4 1242testdata/Prelude.lc 342:64-342:68 b_ -> b_ -> b_ -> VecS b_ 4
1243testdata/Prelude.lc 342:64-342:70 c_ -> d_ -> VecS e_ 4 1243testdata/Prelude.lc 342:64-342:70 c_ -> c_ -> VecS c_ 4
1244testdata/Prelude.lc 342:64-342:72 c_ -> VecS d_ 4 1244testdata/Prelude.lc 342:64-342:72 c_ -> VecS c_ 4
1245testdata/Prelude.lc 342:64-342:74 VecS Float 4 1245testdata/Prelude.lc 342:64-342:74 VecS Float 4
1246testdata/Prelude.lc 342:67-342:68 b_ 1246testdata/Prelude.lc 342:67-342:68 b_
1247testdata/Prelude.lc 342:69-342:70 b_ 1247testdata/Prelude.lc 342:69-342:70 b_
@@ -1260,9 +1260,9 @@ testdata/Prelude.lc 347:16-347:49 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
1260testdata/Prelude.lc 347:16-347:62 Vec 4 Float -> Mat 4 4 Float 1260testdata/Prelude.lc 347:16-347:62 Vec 4 Float -> Mat 4 4 Float
1261testdata/Prelude.lc 347:16-347:75 Mat 4 4 Float 1261testdata/Prelude.lc 347:16-347:75 Mat 4 4 Float
1262testdata/Prelude.lc 347:22-347:24 {a} -> a -> a -> a -> a -> VecS a 4 1262testdata/Prelude.lc 347:22-347:24 {a} -> a -> a -> a -> a -> VecS a 4
1263testdata/Prelude.lc 347:22-347:26 VecScalar c_ Float -> VecScalar d_ Float -> VecScalar e_ Float -> VecS (VecScalar f_ Float) 4 1263testdata/Prelude.lc 347:22-347:26 VecScalar c_ Float -> VecScalar c_ Float -> VecScalar c_ Float -> VecS (VecScalar c_ Float) 4
1264testdata/Prelude.lc 347:22-347:28 VecScalar d_ Float -> VecScalar e_ Float -> VecS (VecScalar f_ Float) 4 1264testdata/Prelude.lc 347:22-347:28 VecScalar d_ Float -> VecScalar d_ Float -> VecS (VecScalar d_ Float) 4
1265testdata/Prelude.lc 347:22-347:33 VecScalar f_ Float -> VecS (VecScalar g_ Float) 4 1265testdata/Prelude.lc 347:22-347:33 VecScalar f_ Float -> VecS (VecScalar f_ Float) 4
1266testdata/Prelude.lc 347:22-347:35 VecS (VecScalar 1 Float) 4 1266testdata/Prelude.lc 347:22-347:35 VecS (VecScalar 1 Float) 4
1267testdata/Prelude.lc 347:25-347:26 VecScalar d_ Float 1267testdata/Prelude.lc 347:25-347:26 VecScalar d_ Float
1268testdata/Prelude.lc 347:27-347:28 b_ 1268testdata/Prelude.lc 347:27-347:28 b_
@@ -1271,9 +1271,9 @@ testdata/Prelude.lc 347:30-347:32 VecScalar f_ Float
1271testdata/Prelude.lc 347:31-347:32 VecScalar f_ Float 1271testdata/Prelude.lc 347:31-347:32 VecScalar f_ Float
1272testdata/Prelude.lc 347:34-347:35 b_ 1272testdata/Prelude.lc 347:34-347:35 b_
1273testdata/Prelude.lc 347:38-347:40 {a} -> a -> a -> a -> a -> VecS a 4 1273testdata/Prelude.lc 347:38-347:40 {a} -> a -> a -> a -> a -> VecS a 4
1274testdata/Prelude.lc 347:38-347:42 b_ -> c_ -> d_ -> VecS e_ 4 1274testdata/Prelude.lc 347:38-347:42 b_ -> b_ -> b_ -> VecS b_ 4
1275testdata/Prelude.lc 347:38-347:44 c_ -> d_ -> VecS e_ 4 1275testdata/Prelude.lc 347:38-347:44 c_ -> c_ -> VecS c_ 4
1276testdata/Prelude.lc 347:38-347:46 c_ -> VecS d_ 4 1276testdata/Prelude.lc 347:38-347:46 c_ -> VecS c_ 4
1277testdata/Prelude.lc 347:38-347:48 VecS Float 4 1277testdata/Prelude.lc 347:38-347:48 VecS Float 4
1278testdata/Prelude.lc 347:41-347:42 b_ 1278testdata/Prelude.lc 347:41-347:42 b_
1279testdata/Prelude.lc 347:43-347:44 b_ 1279testdata/Prelude.lc 347:43-347:44 b_
@@ -1289,9 +1289,9 @@ testdata/Prelude.lc 347:56-347:57 b_
1289testdata/Prelude.lc 347:58-347:59 VecScalar 1 Float 1289testdata/Prelude.lc 347:58-347:59 VecScalar 1 Float
1290testdata/Prelude.lc 347:60-347:61 b_ 1290testdata/Prelude.lc 347:60-347:61 b_
1291testdata/Prelude.lc 347:64-347:66 {a} -> a -> a -> a -> a -> VecS a 4 1291testdata/Prelude.lc 347:64-347:66 {a} -> a -> a -> a -> a -> VecS a 4
1292testdata/Prelude.lc 347:64-347:68 b_ -> c_ -> d_ -> VecS e_ 4 1292testdata/Prelude.lc 347:64-347:68 b_ -> b_ -> b_ -> VecS b_ 4
1293testdata/Prelude.lc 347:64-347:70 c_ -> d_ -> VecS e_ 4 1293testdata/Prelude.lc 347:64-347:70 c_ -> c_ -> VecS c_ 4
1294testdata/Prelude.lc 347:64-347:72 c_ -> VecS d_ 4 1294testdata/Prelude.lc 347:64-347:72 c_ -> VecS c_ 4
1295testdata/Prelude.lc 347:64-347:74 VecS Float 4 1295testdata/Prelude.lc 347:64-347:74 VecS Float 4
1296testdata/Prelude.lc 347:67-347:68 b_ 1296testdata/Prelude.lc 347:67-347:68 b_
1297testdata/Prelude.lc 347:69-347:70 b_ 1297testdata/Prelude.lc 347:69-347:70 b_
@@ -1310,25 +1310,25 @@ testdata/Prelude.lc 352:16-352:46 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
1310testdata/Prelude.lc 352:16-352:62 Vec 4 Float -> Mat 4 4 Float 1310testdata/Prelude.lc 352:16-352:62 Vec 4 Float -> Mat 4 4 Float
1311testdata/Prelude.lc 352:16-352:75 Mat 4 4 Float 1311testdata/Prelude.lc 352:16-352:75 Mat 4 4 Float
1312testdata/Prelude.lc 352:22-352:24 {a} -> a -> a -> a -> a -> VecS a 4 1312testdata/Prelude.lc 352:22-352:24 {a} -> a -> a -> a -> a -> VecS a 4
1313testdata/Prelude.lc 352:22-352:26 b_ -> c_ -> d_ -> VecS e_ 4 1313testdata/Prelude.lc 352:22-352:26 b_ -> b_ -> b_ -> VecS b_ 4
1314testdata/Prelude.lc 352:22-352:28 c_ -> d_ -> VecS e_ 4 1314testdata/Prelude.lc 352:22-352:28 c_ -> c_ -> VecS c_ 4
1315testdata/Prelude.lc 352:22-352:30 c_ -> VecS d_ 4 1315testdata/Prelude.lc 352:22-352:30 c_ -> VecS c_ 4
1316testdata/Prelude.lc 352:22-352:32 VecS Float 4 1316testdata/Prelude.lc 352:22-352:32 VecS Float 4
1317testdata/Prelude.lc 352:25-352:26 b_ 1317testdata/Prelude.lc 352:25-352:26 b_
1318testdata/Prelude.lc 352:27-352:28 b_ 1318testdata/Prelude.lc 352:27-352:28 b_
1319testdata/Prelude.lc 352:29-352:30 b_ 1319testdata/Prelude.lc 352:29-352:30 b_
1320testdata/Prelude.lc 352:31-352:32 b_ 1320testdata/Prelude.lc 352:31-352:32 b_
1321testdata/Prelude.lc 352:35-352:37 {a} -> a -> a -> a -> a -> VecS a 4 1321testdata/Prelude.lc 352:35-352:37 {a} -> a -> a -> a -> a -> VecS a 4
1322testdata/Prelude.lc 352:35-352:39 b_ -> c_ -> d_ -> VecS e_ 4 1322testdata/Prelude.lc 352:35-352:39 b_ -> b_ -> b_ -> VecS b_ 4
1323testdata/Prelude.lc 352:35-352:41 VecScalar d_ Float -> VecScalar e_ Float -> VecS (VecScalar f_ Float) 4 1323testdata/Prelude.lc 352:35-352:41 VecScalar d_ Float -> VecScalar d_ Float -> VecS (VecScalar d_ Float) 4
1324testdata/Prelude.lc 352:35-352:43 VecScalar d_ Float -> VecS (VecScalar e_ Float) 4 1324testdata/Prelude.lc 352:35-352:43 VecScalar d_ Float -> VecS (VecScalar d_ Float) 4
1325testdata/Prelude.lc 352:35-352:45 VecS (VecScalar 1 Float) 4 1325testdata/Prelude.lc 352:35-352:45 VecS (VecScalar 1 Float) 4
1326testdata/Prelude.lc 352:38-352:39 b_ 1326testdata/Prelude.lc 352:38-352:39 b_
1327testdata/Prelude.lc 352:40-352:41 VecScalar e_ Float 1327testdata/Prelude.lc 352:40-352:41 VecScalar e_ Float
1328testdata/Prelude.lc 352:42-352:43 VecScalar d_ Float 1328testdata/Prelude.lc 352:42-352:43 VecScalar d_ Float
1329testdata/Prelude.lc 352:44-352:45 b_ 1329testdata/Prelude.lc 352:44-352:45 b_
1330testdata/Prelude.lc 352:48-352:50 {a} -> a -> a -> a -> a -> VecS a 4 1330testdata/Prelude.lc 352:48-352:50 {a} -> a -> a -> a -> a -> VecS a 4
1331testdata/Prelude.lc 352:48-352:52 b_ -> c_ -> d_ -> VecS e_ 4 1331testdata/Prelude.lc 352:48-352:52 b_ -> b_ -> b_ -> VecS b_ 4
1332testdata/Prelude.lc 352:48-352:57 Float -> Float -> VecS Float 4 1332testdata/Prelude.lc 352:48-352:57 Float -> Float -> VecS Float 4
1333testdata/Prelude.lc 352:48-352:59 Float -> VecS Float 4 1333testdata/Prelude.lc 352:48-352:59 Float -> VecS Float 4
1334testdata/Prelude.lc 352:48-352:61 VecS Float 4 1334testdata/Prelude.lc 352:48-352:61 VecS Float 4
@@ -1339,9 +1339,9 @@ testdata/Prelude.lc 352:55-352:56 VecScalar 1 Float
1339testdata/Prelude.lc 352:58-352:59 VecScalar 1 Float 1339testdata/Prelude.lc 352:58-352:59 VecScalar 1 Float
1340testdata/Prelude.lc 352:60-352:61 b_ 1340testdata/Prelude.lc 352:60-352:61 b_
1341testdata/Prelude.lc 352:64-352:66 {a} -> a -> a -> a -> a -> VecS a 4 1341testdata/Prelude.lc 352:64-352:66 {a} -> a -> a -> a -> a -> VecS a 4
1342testdata/Prelude.lc 352:64-352:68 b_ -> c_ -> d_ -> VecS e_ 4 1342testdata/Prelude.lc 352:64-352:68 b_ -> b_ -> b_ -> VecS b_ 4
1343testdata/Prelude.lc 352:64-352:70 c_ -> d_ -> VecS e_ 4 1343testdata/Prelude.lc 352:64-352:70 c_ -> c_ -> VecS c_ 4
1344testdata/Prelude.lc 352:64-352:72 c_ -> VecS d_ 4 1344testdata/Prelude.lc 352:64-352:72 c_ -> VecS c_ 4
1345testdata/Prelude.lc 352:64-352:74 VecS Float 4 1345testdata/Prelude.lc 352:64-352:74 VecS Float 4
1346testdata/Prelude.lc 352:67-352:68 b_ 1346testdata/Prelude.lc 352:67-352:68 b_
1347testdata/Prelude.lc 352:69-352:70 b_ 1347testdata/Prelude.lc 352:69-352:70 b_
@@ -1356,9 +1356,9 @@ testdata/Prelude.lc 355:13-355:14 VecScalar c_ Float
1356testdata/Prelude.lc 357:1-357:14 Float -> Float -> Float -> Mat 4 4 Float 1356testdata/Prelude.lc 357:1-357:14 Float -> Float -> Float -> Mat 4 4 Float
1357testdata/Prelude.lc 357:23-357:33 VecScalar 1 Float -> Mat 4 4 Float 1357testdata/Prelude.lc 357:23-357:33 VecScalar 1 Float -> Mat 4 4 Float
1358testdata/Prelude.lc 357:23-357:35 Mat 4 4 Float 1358testdata/Prelude.lc 357:23-357:35 Mat 4 4 Float
1359testdata/Prelude.lc 357:23-357:39 Mat 4 a_ Float -> Mat 4 b_ Float 1359testdata/Prelude.lc 357:23-357:39 Mat 4 a_ Float -> Mat 4 a_ Float
1360testdata/Prelude.lc 357:23-357:52 Mat 4 4 Float 1360testdata/Prelude.lc 357:23-357:52 Mat 4 4 Float
1361testdata/Prelude.lc 357:23-357:56 Mat 4 a_ Float -> Mat 4 b_ Float 1361testdata/Prelude.lc 357:23-357:56 Mat 4 a_ Float -> Mat 4 a_ Float
1362testdata/Prelude.lc 357:23-357:69 Mat 4 4 Float 1362testdata/Prelude.lc 357:23-357:69 Mat 4 4 Float
1363testdata/Prelude.lc 357:34-357:35 k_ 1363testdata/Prelude.lc 357:34-357:35 k_
1364testdata/Prelude.lc 357:36-357:39 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c 1364testdata/Prelude.lc 357:36-357:39 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c
@@ -1393,27 +1393,27 @@ testdata/Prelude.lc 360:30-360:32 {a} -> {_ : Num a} -> VecS a 4
1393testdata/Prelude.lc 360:33-360:35 {a} -> {_ : Num a} -> VecS a 4 1393testdata/Prelude.lc 360:33-360:35 {a} -> {_ : Num a} -> VecS a 4
1394testdata/Prelude.lc 360:36-360:38 VecS Float 4 1394testdata/Prelude.lc 360:36-360:38 VecS Float 4
1395testdata/Prelude.lc 362:9-362:11 {a} -> a -> a -> a -> a -> VecS a 4 1395testdata/Prelude.lc 362:9-362:11 {a} -> a -> a -> a -> a -> VecS a 4
1396testdata/Prelude.lc 362:9-362:13 b_ -> c_ -> d_ -> VecS e_ 4 1396testdata/Prelude.lc 362:9-362:13 b_ -> b_ -> b_ -> VecS b_ 4
1397testdata/Prelude.lc 362:9-362:15 c_ -> d_ -> VecS e_ 4 1397testdata/Prelude.lc 362:9-362:15 c_ -> c_ -> VecS c_ 4
1398testdata/Prelude.lc 362:9-362:17 c_ -> VecS d_ 4 1398testdata/Prelude.lc 362:9-362:17 c_ -> VecS c_ 4
1399testdata/Prelude.lc 362:9-362:19 VecS c_ 4 1399testdata/Prelude.lc 362:9-362:19 VecS c_ 4
1400testdata/Prelude.lc 362:12-362:13 b_ 1400testdata/Prelude.lc 362:12-362:13 b_
1401testdata/Prelude.lc 362:14-362:15 b_ 1401testdata/Prelude.lc 362:14-362:15 b_
1402testdata/Prelude.lc 362:16-362:17 b_ 1402testdata/Prelude.lc 362:16-362:17 b_
1403testdata/Prelude.lc 362:18-362:19 b_ 1403testdata/Prelude.lc 362:18-362:19 b_
1404testdata/Prelude.lc 363:9-363:11 {a} -> a -> a -> a -> a -> VecS a 4 1404testdata/Prelude.lc 363:9-363:11 {a} -> a -> a -> a -> a -> VecS a 4
1405testdata/Prelude.lc 363:9-363:13 b_ -> c_ -> d_ -> VecS e_ 4 1405testdata/Prelude.lc 363:9-363:13 b_ -> b_ -> b_ -> VecS b_ 4
1406testdata/Prelude.lc 363:9-363:15 c_ -> d_ -> VecS e_ 4 1406testdata/Prelude.lc 363:9-363:15 c_ -> c_ -> VecS c_ 4
1407testdata/Prelude.lc 363:9-363:17 c_ -> VecS d_ 4 1407testdata/Prelude.lc 363:9-363:17 c_ -> VecS c_ 4
1408testdata/Prelude.lc 363:9-363:19 VecS c_ 4 1408testdata/Prelude.lc 363:9-363:19 VecS c_ 4
1409testdata/Prelude.lc 363:12-363:13 b_ 1409testdata/Prelude.lc 363:12-363:13 b_
1410testdata/Prelude.lc 363:14-363:15 b_ 1410testdata/Prelude.lc 363:14-363:15 b_
1411testdata/Prelude.lc 363:16-363:17 b_ 1411testdata/Prelude.lc 363:16-363:17 b_
1412testdata/Prelude.lc 363:18-363:19 b_ 1412testdata/Prelude.lc 363:18-363:19 b_
1413testdata/Prelude.lc 364:9-364:11 {a} -> a -> a -> a -> a -> VecS a 4 1413testdata/Prelude.lc 364:9-364:11 {a} -> a -> a -> a -> a -> VecS a 4
1414testdata/Prelude.lc 364:9-364:13 b_ -> c_ -> d_ -> VecS e_ 4 1414testdata/Prelude.lc 364:9-364:13 b_ -> b_ -> b_ -> VecS b_ 4
1415testdata/Prelude.lc 364:9-364:15 c_ -> d_ -> VecS e_ 4 1415testdata/Prelude.lc 364:9-364:15 c_ -> c_ -> VecS c_ 4
1416testdata/Prelude.lc 364:9-364:17 c_ -> VecS d_ 4 1416testdata/Prelude.lc 364:9-364:17 c_ -> VecS c_ 4
1417testdata/Prelude.lc 364:9-364:19 VecS c_ 4 1417testdata/Prelude.lc 364:9-364:19 VecS c_ 4
1418testdata/Prelude.lc 364:12-364:13 b_ 1418testdata/Prelude.lc 364:12-364:13 b_
1419testdata/Prelude.lc 364:14-364:15 b_ 1419testdata/Prelude.lc 364:14-364:15 b_
@@ -1457,7 +1457,7 @@ testdata/Prelude.lc 371:17-371:18 b_
1457testdata/Prelude.lc 371:19-371:24 Type 1457testdata/Prelude.lc 371:19-371:24 Type
1458testdata/Prelude.lc 372:1-372:7 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float 1458testdata/Prelude.lc 372:1-372:7 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float
1459testdata/Prelude.lc 372:24-372:25 Mat 4 4 Float 1459testdata/Prelude.lc 372:24-372:25 Mat 4 4 Float
1460testdata/Prelude.lc 372:24-372:29 Mat 4 a_ Float -> Mat 4 b_ Float 1460testdata/Prelude.lc 372:24-372:29 Mat 4 a_ Float -> Mat 4 a_ Float
1461testdata/Prelude.lc 372:24-372:56 Mat 4 4 Float 1461testdata/Prelude.lc 372:24-372:56 Mat 4 4 Float
1462testdata/Prelude.lc 372:24-378:65 Vec 3 Float -> Mat 4 4 Float | Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float | Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float 1462testdata/Prelude.lc 372:24-378:65 Vec 3 Float -> Mat 4 4 Float | Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float | Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float
1463testdata/Prelude.lc 372:26-372:29 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c 1463testdata/Prelude.lc 372:26-372:29 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c
@@ -1467,9 +1467,9 @@ testdata/Prelude.lc 372:48-372:51 {a} -> {_ : Signed (MatVecScalarElem a)} -> a
1467testdata/Prelude.lc 372:48-372:55 VecS Float 3 1467testdata/Prelude.lc 372:48-372:55 VecS Float 3
1468testdata/Prelude.lc 372:52-372:55 Vec 3 Float 1468testdata/Prelude.lc 372:52-372:55 Vec 3 Float
1469testdata/Prelude.lc 374:14-374:16 {a} -> a -> a -> a -> a -> VecS a 4 1469testdata/Prelude.lc 374:14-374:16 {a} -> a -> a -> a -> a -> VecS a 4
1470testdata/Prelude.lc 374:14-374:20 b_ -> c_ -> d_ -> VecS e_ 4 1470testdata/Prelude.lc 374:14-374:20 b_ -> b_ -> b_ -> VecS b_ 4
1471testdata/Prelude.lc 374:14-374:24 b_ -> c_ -> VecS d_ 4 1471testdata/Prelude.lc 374:14-374:24 b_ -> b_ -> VecS b_ 4
1472testdata/Prelude.lc 374:14-374:28 b_ -> VecS c_ 4 1472testdata/Prelude.lc 374:14-374:28 b_ -> VecS b_ 4
1473testdata/Prelude.lc 374:14-374:30 VecS c_ 4 1473testdata/Prelude.lc 374:14-374:30 VecS c_ 4
1474testdata/Prelude.lc 374:17-374:18 e_ 1474testdata/Prelude.lc 374:17-374:18 e_
1475testdata/Prelude.lc 374:17-374:20 b_ 1475testdata/Prelude.lc 374:17-374:20 b_
@@ -1479,7 +1479,7 @@ testdata/Prelude.lc 374:25-374:26 VecS d_ c_
1479testdata/Prelude.lc 374:25-374:28 b_ 1479testdata/Prelude.lc 374:25-374:28 b_
1480testdata/Prelude.lc 374:29-374:30 b_ 1480testdata/Prelude.lc 374:29-374:30 b_
1481testdata/Prelude.lc 375:9-375:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a 1481testdata/Prelude.lc 375:9-375:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a
1482testdata/Prelude.lc 375:9-375:20 VecScalar a_ Float -> VecScalar b_ Float 1482testdata/Prelude.lc 375:9-375:20 VecScalar a_ Float -> VecScalar a_ Float
1483testdata/Prelude.lc 375:9-375:33 VecScalar 3 Float 1483testdata/Prelude.lc 375:9-375:33 VecScalar 3 Float
1484testdata/Prelude.lc 375:19-375:20 {a} -> {b} -> (a->b) -> a->b 1484testdata/Prelude.lc 375:19-375:20 {a} -> {b} -> (a->b) -> a->b
1485testdata/Prelude.lc 375:21-375:24 Vec 3 Float 1485testdata/Prelude.lc 375:21-375:24 Vec 3 Float
@@ -1488,7 +1488,7 @@ testdata/Prelude.lc 375:21-375:33 VecS Float 3
1488testdata/Prelude.lc 375:25-375:26 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 1488testdata/Prelude.lc 375:25-375:26 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
1489testdata/Prelude.lc 375:27-375:33 Vec 3 Float 1489testdata/Prelude.lc 375:27-375:33 Vec 3 Float
1490testdata/Prelude.lc 376:9-376:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a 1490testdata/Prelude.lc 376:9-376:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a
1491testdata/Prelude.lc 376:9-376:20 VecScalar a_ Float -> VecScalar b_ Float 1491testdata/Prelude.lc 376:9-376:20 VecScalar a_ Float -> VecScalar a_ Float
1492testdata/Prelude.lc 376:9-376:33 VecScalar 3 Float 1492testdata/Prelude.lc 376:9-376:33 VecScalar 3 Float
1493testdata/Prelude.lc 376:19-376:20 {a} -> {b} -> (a->b) -> a->b 1493testdata/Prelude.lc 376:19-376:20 {a} -> {b} -> (a->b) -> a->b
1494testdata/Prelude.lc 376:21-376:23 Vec 3 Float 1494testdata/Prelude.lc 376:21-376:23 Vec 3 Float
@@ -1502,7 +1502,7 @@ testdata/Prelude.lc 377:9-377:20 VecS Float 3
1502testdata/Prelude.lc 377:11-377:18 {a} -> {_ : a ~ VecS Float 3} -> a -> a->a 1502testdata/Prelude.lc 377:11-377:18 {a} -> {_ : a ~ VecS Float 3} -> a -> a->a
1503testdata/Prelude.lc 377:19-377:20 VecScalar 3 Float 1503testdata/Prelude.lc 377:19-377:20 VecScalar 3 Float
1504testdata/Prelude.lc 378:9-378:18 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c 1504testdata/Prelude.lc 378:9-378:18 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c
1505testdata/Prelude.lc 378:9-378:20 Mat c_ b_ a_ -> Mat c_ d_ b_ 1505testdata/Prelude.lc 378:9-378:20 Mat c_ b_ a_ -> Mat b_ c_ a_
1506testdata/Prelude.lc 378:9-378:65 Mat 4 4 Float 1506testdata/Prelude.lc 378:9-378:65 Mat 4 4 Float
1507testdata/Prelude.lc 378:19-378:20 {a} -> {b} -> (a->b) -> a->b 1507testdata/Prelude.lc 378:19-378:20 {a} -> {b} -> (a->b) -> a->b
1508testdata/Prelude.lc 378:21-378:25 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float 1508testdata/Prelude.lc 378:21-378:25 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float
@@ -1520,9 +1520,9 @@ testdata/Prelude.lc 378:45-378:49 {a} -> {b:Nat} -> {_ : Num a} -> VecS a b ->
1520testdata/Prelude.lc 378:45-378:51 VecS Float 4 1520testdata/Prelude.lc 378:45-378:51 VecS Float 4
1521testdata/Prelude.lc 378:50-378:51 VecScalar 3 Float 1521testdata/Prelude.lc 378:50-378:51 VecScalar 3 Float
1522testdata/Prelude.lc 378:54-378:56 {a} -> a -> a -> a -> a -> VecS a 4 1522testdata/Prelude.lc 378:54-378:56 {a} -> a -> a -> a -> a -> VecS a 4
1523testdata/Prelude.lc 378:54-378:58 b_ -> c_ -> d_ -> VecS e_ 4 1523testdata/Prelude.lc 378:54-378:58 b_ -> b_ -> b_ -> VecS b_ 4
1524testdata/Prelude.lc 378:54-378:60 c_ -> d_ -> VecS e_ 4 1524testdata/Prelude.lc 378:54-378:60 c_ -> c_ -> VecS c_ 4
1525testdata/Prelude.lc 378:54-378:62 c_ -> VecS d_ 4 1525testdata/Prelude.lc 378:54-378:62 c_ -> VecS c_ 4
1526testdata/Prelude.lc 378:54-378:64 VecS Float 4 1526testdata/Prelude.lc 378:54-378:64 VecS Float 4
1527testdata/Prelude.lc 378:57-378:58 b_ 1527testdata/Prelude.lc 378:57-378:58 b_
1528testdata/Prelude.lc 378:59-378:60 b_ 1528testdata/Prelude.lc 378:59-378:60 b_
@@ -1530,20 +1530,20 @@ testdata/Prelude.lc 378:61-378:62 b_
1530testdata/Prelude.lc 378:63-378:64 b_ 1530testdata/Prelude.lc 378:63-378:64 b_
1531testdata/Prelude.lc 380:1-380:6 Float -> VecS Float 4 -> VecS Float 4 1531testdata/Prelude.lc 380:1-380:6 Float -> VecS Float 4 -> VecS Float 4
1532testdata/Prelude.lc 380:13-380:14 d_ 1532testdata/Prelude.lc 380:13-380:14 d_
1533testdata/Prelude.lc 380:13-380:16 c_->d_ 1533testdata/Prelude.lc 380:13-380:16 c_->c_
1534testdata/Prelude.lc 380:13-380:29 VecS Float 4 1534testdata/Prelude.lc 380:13-380:29 VecS Float 4
1535testdata/Prelude.lc 380:15-380:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a 1535testdata/Prelude.lc 380:15-380:16 {a} -> {_ : Num (MatVecScalarElem a)} -> a -> a->a
1536testdata/Prelude.lc 380:17-380:19 {a} -> a -> a -> a -> a -> VecS a 4 1536testdata/Prelude.lc 380:17-380:19 {a} -> a -> a -> a -> a -> VecS a 4
1537testdata/Prelude.lc 380:17-380:21 e_ -> f_ -> g_ -> VecS h_ 4 1537testdata/Prelude.lc 380:17-380:21 e_ -> e_ -> e_ -> VecS e_ 4
1538testdata/Prelude.lc 380:17-380:23 e_ -> f_ -> VecS g_ 4 1538testdata/Prelude.lc 380:17-380:23 e_ -> e_ -> VecS e_ 4
1539testdata/Prelude.lc 380:17-380:25 e_ -> VecS f_ 4 1539testdata/Prelude.lc 380:17-380:25 e_ -> VecS e_ 4
1540testdata/Prelude.lc 380:17-380:29 VecS Float 4 1540testdata/Prelude.lc 380:17-380:29 VecS Float 4
1541testdata/Prelude.lc 380:20-380:21 f_ 1541testdata/Prelude.lc 380:20-380:21 f_
1542testdata/Prelude.lc 380:22-380:23 e_ 1542testdata/Prelude.lc 380:22-380:23 e_
1543testdata/Prelude.lc 380:24-380:25 e_ 1543testdata/Prelude.lc 380:24-380:25 e_
1544testdata/Prelude.lc 380:26-380:29 Float 1544testdata/Prelude.lc 380:26-380:29 Float
1545testdata/Prelude.lc 382:11-382:16 Type 1545testdata/Prelude.lc 382:11-382:16 Type
1546testdata/Prelude.lc 382:11-385:38 Float -> Float -> List Float | a_->b_ 1546testdata/Prelude.lc 382:11-385:38 Float -> Float -> List Float | a_->a_
1547testdata/Prelude.lc 382:20-382:25 Type 1547testdata/Prelude.lc 382:20-382:25 Type
1548testdata/Prelude.lc 382:20-382:36 Type 1548testdata/Prelude.lc 382:20-382:36 Type
1549testdata/Prelude.lc 382:29-382:36 Type 1549testdata/Prelude.lc 382:29-382:36 Type
@@ -1572,16 +1572,16 @@ testdata/Prelude.lc 385:34-385:35 b_
1572testdata/Prelude.lc 385:37-385:38 Float 1572testdata/Prelude.lc 385:37-385:38 Float
1573testdata/Prelude.lc 387:9-387:12 Type 1573testdata/Prelude.lc 387:9-387:12 Type
1574testdata/Prelude.lc 387:9-387:24 Type 1574testdata/Prelude.lc 387:9-387:24 Type
1575testdata/Prelude.lc 387:9-389:30 a_->b_ | {a} -> List a -> Int->a 1575testdata/Prelude.lc 387:9-389:30 a_->a_ | {a} -> List a -> Int->a
1576testdata/Prelude.lc 387:10-387:11 b_ 1576testdata/Prelude.lc 387:10-387:11 b_
1577testdata/Prelude.lc 387:16-387:19 Type 1577testdata/Prelude.lc 387:16-387:19 Type
1578testdata/Prelude.lc 387:16-387:24 Type 1578testdata/Prelude.lc 387:16-387:24 Type
1579testdata/Prelude.lc 387:23-387:24 Type 1579testdata/Prelude.lc 387:23-387:24 Type
1580testdata/Prelude.lc 388:10-388:12 {a} -> List a -> Int->a 1580testdata/Prelude.lc 388:10-388:12 {a} -> List a -> Int->a
1581testdata/Prelude.lc 388:19-388:20 d_ 1581testdata/Prelude.lc 388:19-388:20 d_
1582testdata/Prelude.lc 388:19-389:30 Bool->e_ | Int->c_ | List a_ -> Int->c_ | List c_ -> c_ | b_ -> List c_ -> c_ | c_ 1582testdata/Prelude.lc 388:19-389:30 Bool->d_ | Int->b_ | List a_ -> Int->a_ | List c_ -> b_ | b_ -> List b_ -> a_ | c_
1583testdata/Prelude.lc 389:19-389:21 List f_ 1583testdata/Prelude.lc 389:19-389:21 List f_
1584testdata/Prelude.lc 389:19-389:24 Int->f_ 1584testdata/Prelude.lc 389:19-389:24 Int->e_
1585testdata/Prelude.lc 389:19-389:30 d_ 1585testdata/Prelude.lc 389:19-389:30 d_
1586testdata/Prelude.lc 389:22-389:24 {a} -> List a -> Int->a 1586testdata/Prelude.lc 389:22-389:24 {a} -> List a -> Int->a
1587testdata/Prelude.lc 389:26-389:27 Int 1587testdata/Prelude.lc 389:26-389:27 Int
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:29:50 +0000