summaryrefslogtreecommitdiff
path: root/testdata/Builtins.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/Builtins.out')
-rw-r--r--testdata/Builtins.out1277
1 files changed, 962 insertions, 315 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index 38e5aa91..f84e8d03 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -1,5 +1,6 @@
1main is not found 1main is not found
2tooltips: 2tooltips:
3testdata/Builtins.lc 9:8-9:9 V1
3testdata/Builtins.lc 9:1-9:3 {a} -> a->a 4testdata/Builtins.lc 9:1-9:3 {a} -> a->a
4testdata/Builtins.lc 13:6-13:9 Type 5testdata/Builtins.lc 13:6-13:9 Type
5testdata/Builtins.lc 13:12-13:16 'Nat 6testdata/Builtins.lc 13:12-13:16 'Nat
@@ -13,13 +14,18 @@ testdata/Builtins.lc 15:26-15:27 Type
13testdata/Builtins.lc 15:29-15:33 Type->Type 14testdata/Builtins.lc 15:29-15:33 Type->Type
14testdata/Builtins.lc 15:34-15:35 Type 15testdata/Builtins.lc 15:34-15:35 Type
15testdata/Builtins.lc 15:21-15:25 {a} -> a -> 'List a -> 'List a 16testdata/Builtins.lc 15:21-15:25 {a} -> a -> 'List a -> 'List a
16testdata/Builtins.lc 20:22-23:31 Type -> Type->Type 17testdata/Builtins.lc 19:26-23:31 Type -> Type->Type
17testdata/Builtins.lc 20:22-23:31 Type->Type 18testdata/Builtins.lc 19:26-23:31 Type->Type
19testdata/Builtins.lc 19:26-23:31 Type
20testdata/Builtins.lc 19:26-19:27 Type
18testdata/Builtins.lc 20:22-23:31 Type 21testdata/Builtins.lc 20:22-23:31 Type
19testdata/Builtins.lc 20:30-20:39 Type -> Type->Type 22testdata/Builtins.lc 20:30-20:39 Type -> Type->Type
20testdata/Builtins.lc 20:30-20:39 Type->Type 23testdata/Builtins.lc 20:30-20:39 Type->Type
21testdata/Builtins.lc 20:30-20:39 Type 24testdata/Builtins.lc 20:30-20:39 Type
22testdata/Builtins.lc 20:30-20:39 Type -> Type -> Type->Type 25testdata/Builtins.lc 20:30-20:39 Type -> Type -> Type->Type
26testdata/Builtins.lc 20:31-20:32 Type
27testdata/Builtins.lc 20:34-20:35 Type
28testdata/Builtins.lc 20:37-20:38 Type
23testdata/Builtins.lc 20:22-20:26 Type 29testdata/Builtins.lc 20:22-20:26 Type
24testdata/Builtins.lc 21:22-23:31 Type 30testdata/Builtins.lc 21:22-23:31 Type
25testdata/Builtins.lc 21:33-21:45 Type -> Type -> Type->Type 31testdata/Builtins.lc 21:33-21:45 Type -> Type -> Type->Type
@@ -27,6 +33,10 @@ testdata/Builtins.lc 21:33-21:45 Type -> Type->Type
27testdata/Builtins.lc 21:33-21:45 Type->Type 33testdata/Builtins.lc 21:33-21:45 Type->Type
28testdata/Builtins.lc 21:33-21:45 Type 34testdata/Builtins.lc 21:33-21:45 Type
29testdata/Builtins.lc 21:33-21:45 Type -> Type -> Type -> Type->Type 35testdata/Builtins.lc 21:33-21:45 Type -> Type -> Type -> Type->Type
36testdata/Builtins.lc 21:34-21:35 Type
37testdata/Builtins.lc 21:37-21:38 Type
38testdata/Builtins.lc 21:40-21:41 Type
39testdata/Builtins.lc 21:43-21:44 Type
30testdata/Builtins.lc 21:22-21:29 Type 40testdata/Builtins.lc 21:22-21:29 Type
31testdata/Builtins.lc 22:22-23:31 Type 41testdata/Builtins.lc 22:22-23:31 Type
32testdata/Builtins.lc 22:36-22:51 Type -> Type -> Type -> Type->Type 42testdata/Builtins.lc 22:36-22:51 Type -> Type -> Type -> Type->Type
@@ -35,9 +45,16 @@ testdata/Builtins.lc 22:36-22:51 Type -> Type->Type
35testdata/Builtins.lc 22:36-22:51 Type->Type 45testdata/Builtins.lc 22:36-22:51 Type->Type
36testdata/Builtins.lc 22:36-22:51 Type 46testdata/Builtins.lc 22:36-22:51 Type
37testdata/Builtins.lc 22:36-22:51 Type -> Type -> Type -> Type -> Type->Type 47testdata/Builtins.lc 22:36-22:51 Type -> Type -> Type -> Type -> Type->Type
48testdata/Builtins.lc 22:37-22:38 Type
49testdata/Builtins.lc 22:40-22:41 Type
50testdata/Builtins.lc 22:43-22:44 Type
51testdata/Builtins.lc 22:46-22:47 Type
52testdata/Builtins.lc 22:49-22:50 Type
38testdata/Builtins.lc 22:22-22:32 Type 53testdata/Builtins.lc 22:22-22:32 Type
39testdata/Builtins.lc 23:25-23:31 Type 54testdata/Builtins.lc 23:25-23:31 Type
40testdata/Builtins.lc 23:25-23:31 Type -> Type->Type 55testdata/Builtins.lc 23:25-23:31 Type -> Type->Type
56testdata/Builtins.lc 23:26-23:27 Type
57testdata/Builtins.lc 23:29-23:30 Type
41testdata/Builtins.lc 19:5-19:18 Type -> Type->Type 58testdata/Builtins.lc 19:5-19:18 Type -> Type->Type
42testdata/Builtins.lc 26:10-26:24 Type->Type 59testdata/Builtins.lc 26:10-26:24 Type->Type
43testdata/Builtins.lc 26:10-26:24 Type 60testdata/Builtins.lc 26:10-26:24 Type
@@ -84,28 +101,38 @@ testdata/Builtins.lc 35:29-35:33 Type -> 'Nat->Type
84testdata/Builtins.lc 35:34-35:35 Type 101testdata/Builtins.lc 35:34-35:35 Type
85testdata/Builtins.lc 35:3-35:5 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero)))) 102testdata/Builtins.lc 35:3-35:5 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
86testdata/Builtins.lc 37:23-37:26 Type 103testdata/Builtins.lc 37:23-37:26 Type
87testdata/Builtins.lc 37:47-37:51 'Nat -> Type->Type 104testdata/Builtins.lc 37:47-37:55 'Nat -> Type->Type
88testdata/Builtins.lc 37:47-37:51 Type->Type 105testdata/Builtins.lc 37:47-37:55 Type->Type
89testdata/Builtins.lc 37:47-37:51 Type 106testdata/Builtins.lc 37:47-37:55 Type
90testdata/Builtins.lc 37:47-37:51 Type -> 'Nat->Type 107testdata/Builtins.lc 37:47-37:51 Type -> 'Nat->Type
108testdata/Builtins.lc 37:52-37:53 Type
109testdata/Builtins.lc 37:54-37:55 'Nat
91testdata/Builtins.lc 37:37-37:40 'Nat -> Type->Type 110testdata/Builtins.lc 37:37-37:40 'Nat -> Type->Type
92testdata/Builtins.lc 39:29-39:32 Type 111testdata/Builtins.lc 39:29-39:32 Type
93testdata/Builtins.lc 40:15-41:54 'Nat -> Type->Type 112testdata/Builtins.lc 40:15-41:60 'Nat -> Type->Type
94testdata/Builtins.lc 40:15-41:54 Type->Type 113testdata/Builtins.lc 40:15-41:60 Type->Type
95testdata/Builtins.lc 40:15-41:54 Type 114testdata/Builtins.lc 40:15-41:60 Type
96testdata/Builtins.lc 41:37-41:54 'Nat->Type 115testdata/Builtins.lc 40:21-41:60 'Nat->Type
97testdata/Builtins.lc 41:37-41:54 Type 116testdata/Builtins.lc 40:21-41:60 Type
117testdata/Builtins.lc 40:21-40:22 Type
118testdata/Builtins.lc 41:37-41:60 'Nat->Type
119testdata/Builtins.lc 41:37-41:60 Type
98testdata/Builtins.lc 41:37-41:40 'Nat -> Type->Type 120testdata/Builtins.lc 41:37-41:40 'Nat -> Type->Type
99testdata/Builtins.lc 41:43-41:54 'Nat 121testdata/Builtins.lc 41:43-41:56 'Nat
100testdata/Builtins.lc 41:43-41:47 'Nat->'Nat 122testdata/Builtins.lc 41:43-41:47 'Nat->'Nat
101testdata/Builtins.lc 41:50-41:54 'Nat 123testdata/Builtins.lc 41:50-41:56 'Nat
102testdata/Builtins.lc 41:50-41:54 'Nat->'Nat 124testdata/Builtins.lc 41:50-41:54 'Nat->'Nat
125testdata/Builtins.lc 41:55-41:56 'Nat
126testdata/Builtins.lc 41:59-41:60 Type
103testdata/Builtins.lc 40:15-40:16 'Nat 127testdata/Builtins.lc 40:15-40:16 'Nat
104testdata/Builtins.lc 40:5-40:14 'Nat -> Type->Type 128testdata/Builtins.lc 40:5-40:14 'Nat -> Type->Type
105testdata/Builtins.lc 44:25-44:28 Type 129testdata/Builtins.lc 44:25-44:28 Type
130testdata/Builtins.lc 45:17-45:24 'Nat -> Type->Type
131testdata/Builtins.lc 45:17-45:24 Type->Type
132testdata/Builtins.lc 45:17-45:24 Type
106testdata/Builtins.lc 45:17-45:20 'Nat -> Type->Type 133testdata/Builtins.lc 45:17-45:20 'Nat -> Type->Type
107testdata/Builtins.lc 45:17-45:20 Type->Type 134testdata/Builtins.lc 45:21-45:22 'Nat
108testdata/Builtins.lc 45:17-45:20 Type 135testdata/Builtins.lc 45:23-45:24 Type
109testdata/Builtins.lc 45:5-45:10 'Nat -> Type->Type 136testdata/Builtins.lc 45:5-45:10 'Nat -> Type->Type
110testdata/Builtins.lc 48:13-48:16 Type 137testdata/Builtins.lc 48:13-48:16 Type
111testdata/Builtins.lc 48:20-48:39 Type 138testdata/Builtins.lc 48:20-48:39 Type
@@ -230,18 +257,26 @@ testdata/Builtins.lc 53:64-57:84 Type
230testdata/Builtins.lc 54:64-57:84 Type 257testdata/Builtins.lc 54:64-57:84 Type
231testdata/Builtins.lc 55:79-57:84 Type 258testdata/Builtins.lc 55:79-57:84 Type
232testdata/Builtins.lc 56:79-57:84 Type 259testdata/Builtins.lc 56:79-57:84 Type
233testdata/Builtins.lc 60:22-64:32 Type->Type 260testdata/Builtins.lc 60:22-64:37 Type->Type
234testdata/Builtins.lc 60:22-64:32 Type 261testdata/Builtins.lc 60:22-64:37 Type
235testdata/Builtins.lc 60:30-60:35 Type 262testdata/Builtins.lc 60:30-60:35 Type
236testdata/Builtins.lc 60:22-60:27 Type 263testdata/Builtins.lc 60:22-60:27 Type
237testdata/Builtins.lc 61:22-64:32 Type 264testdata/Builtins.lc 61:22-64:37 Type
238testdata/Builtins.lc 61:29-61:33 Type 265testdata/Builtins.lc 61:29-61:33 Type
239testdata/Builtins.lc 61:22-61:26 Type 266testdata/Builtins.lc 61:22-61:26 Type
240testdata/Builtins.lc 62:22-64:32 Type 267testdata/Builtins.lc 62:22-64:37 Type
241testdata/Builtins.lc 62:28-62:31 Type 268testdata/Builtins.lc 62:28-62:31 Type
242testdata/Builtins.lc 62:22-62:25 Type 269testdata/Builtins.lc 62:22-62:25 Type
243testdata/Builtins.lc 63:28-64:32 Type 270testdata/Builtins.lc 63:28-64:37 Type
271testdata/Builtins.lc 63:35-63:36 Type -> 'Nat->Type
272testdata/Builtins.lc 63:35-63:36 'Nat->Type
273testdata/Builtins.lc 63:35-63:36 Type
244testdata/Builtins.lc 63:28-63:31 Type 274testdata/Builtins.lc 63:28-63:31 Type
275testdata/Builtins.lc 64:27-64:37 Type
276testdata/Builtins.lc 64:36-64:37 'Nat -> 'Nat -> Type->Type
277testdata/Builtins.lc 64:36-64:37 'Nat -> Type->Type
278testdata/Builtins.lc 64:36-64:37 Type->Type
279testdata/Builtins.lc 64:36-64:37 Type
245testdata/Builtins.lc 64:27-64:32 Type 280testdata/Builtins.lc 64:27-64:32 Type
246testdata/Builtins.lc 60:5-60:21 Type->Type 281testdata/Builtins.lc 60:5-60:21 Type->Type
247testdata/Builtins.lc 68:6-68:11 Type 282testdata/Builtins.lc 68:6-68:11 Type
@@ -262,37 +297,43 @@ testdata/Builtins.lc 71:49-71:56 Type
262testdata/Builtins.lc 71:49-71:52 'Nat -> Type->Type 297testdata/Builtins.lc 71:49-71:52 'Nat -> Type->Type
263testdata/Builtins.lc 71:53-71:54 'Nat 298testdata/Builtins.lc 71:53-71:54 'Nat
264testdata/Builtins.lc 71:55-71:56 Type 299testdata/Builtins.lc 71:55-71:56 Type
265testdata/Builtins.lc 72:24-75:44 {a} -> {b} -> {c:'Nat} -> a->b -> 'VecS a c -> 'VecS b c 300testdata/Builtins.lc 72:24-77:6 {a} -> {b} -> {c:'Nat} -> a->b -> 'VecS a c -> 'VecS b c
266testdata/Builtins.lc 72:24-75:44 {a} -> {b:'Nat} -> V2->a -> 'VecS V3 b -> 'VecS a b 301testdata/Builtins.lc 72:24-77:6 {a} -> {b:'Nat} -> V2->a -> 'VecS V3 b -> 'VecS a b
267testdata/Builtins.lc 72:24-75:44 {a:'Nat} -> V2->V2 -> 'VecS V3 a -> 'VecS V3 a 302testdata/Builtins.lc 72:24-77:6 {a:'Nat} -> V2->V2 -> 'VecS V3 a -> 'VecS V3 a
268testdata/Builtins.lc 72:24-75:44 V2->V2 -> 'VecS V3 V1 -> 'VecS V3 V2 303testdata/Builtins.lc 72:24-77:6 V2->V2 -> 'VecS V3 V1 -> 'VecS V3 V2
269testdata/Builtins.lc 72:24-75:44 'VecS V3 V1 -> 'VecS V3 V2 304testdata/Builtins.lc 72:24-77:6 'VecS V3 V1 -> 'VecS V3 V2
270testdata/Builtins.lc 72:24-75:44 'VecS V3 V2 305testdata/Builtins.lc 72:24-77:6 'VecS V3 V2
271testdata/Builtins.lc 72:24-72:32 {a} -> (d : b:'Nat -> 'VecS a b -> Type) -> (e:a -> f:a -> d (Succ (Succ Zero)) (V2 a e f)) -> (h:a -> i:a -> j:a -> d (Succ (Succ (Succ Zero))) (V3 a h i j)) -> (l:a -> m:a -> n:a -> o:a -> d (Succ (Succ (Succ (Succ Zero)))) (V4 a l m n o)) -> {q:'Nat} -> (r : 'VecS a q) -> d q r 306testdata/Builtins.lc 72:24-72:32 {a} -> (d : b:'Nat -> 'VecS a b -> Type) -> (e:a -> f:a -> d (Succ (Succ Zero)) (V2 a e f)) -> (h:a -> i:a -> j:a -> d (Succ (Succ (Succ Zero))) (V3 a h i j)) -> (l:a -> m:a -> n:a -> o:a -> d (Succ (Succ (Succ (Succ Zero)))) (V4 a l m n o)) -> {q:'Nat} -> (r : 'VecS a q) -> d q r
272testdata/Builtins.lc 72:34-72:50 a:'Nat -> 'VecS V1 a -> Type 307testdata/Builtins.lc 72:34-72:50 a:'Nat -> 'VecS V1 a -> Type
273testdata/Builtins.lc 72:34-72:50 'VecS V1 V0 -> Type 308testdata/Builtins.lc 72:34-72:50 'VecS V1 V0 -> Type
274testdata/Builtins.lc 72:43-72:48 Type 309testdata/Builtins.lc 72:43-72:50 Type
275testdata/Builtins.lc 72:43-72:46 'Nat -> Type->Type 310testdata/Builtins.lc 72:43-72:46 'Nat -> Type->Type
276testdata/Builtins.lc 72:47-72:48 'Nat 311testdata/Builtins.lc 72:47-72:48 'Nat
312testdata/Builtins.lc 72:49-72:50 Type
277testdata/Builtins.lc 73:6-73:28 V0 -> V1 -> 'VecS V6 (Succ (Succ Zero)) 313testdata/Builtins.lc 73:6-73:28 V0 -> V1 -> 'VecS V6 (Succ (Succ Zero))
278testdata/Builtins.lc 73:6-73:28 V1 -> 'VecS V6 (Succ (Succ Zero)) 314testdata/Builtins.lc 73:6-73:28 V1 -> 'VecS V6 (Succ (Succ Zero))
279testdata/Builtins.lc 73:14-73:27 'VecS V6 (Succ (Succ Zero)) 315testdata/Builtins.lc 73:14-73:27 'VecS V6 (Succ (Succ Zero))
280testdata/Builtins.lc 73:14-73:16 {a} -> a -> a -> 'VecS a (Succ (Succ Zero)) 316testdata/Builtins.lc 73:14-73:16 {a} -> a -> a -> 'VecS a (Succ (Succ Zero))
281testdata/Builtins.lc 73:20-73:21 V0 317testdata/Builtins.lc 73:18-73:21 V0
318testdata/Builtins.lc 73:18-73:19 V8->V8
282testdata/Builtins.lc 73:20-73:21 V7 319testdata/Builtins.lc 73:20-73:21 V7
283testdata/Builtins.lc 73:20-73:21 V2 320testdata/Builtins.lc 73:20-73:21 V2
284testdata/Builtins.lc 73:26-73:27 V5 321testdata/Builtins.lc 73:24-73:27 V5
322testdata/Builtins.lc 73:24-73:25 V6->V6
285testdata/Builtins.lc 73:26-73:27 V6 323testdata/Builtins.lc 73:26-73:27 V6
286testdata/Builtins.lc 74:6-74:36 V4 -> V5 -> V6 -> 'VecS V6 (Succ (Succ (Succ Zero))) 324testdata/Builtins.lc 74:6-74:36 V4 -> V5 -> V6 -> 'VecS V6 (Succ (Succ (Succ Zero)))
287testdata/Builtins.lc 74:6-74:36 V5 -> V6 -> 'VecS V6 (Succ (Succ (Succ Zero))) 325testdata/Builtins.lc 74:6-74:36 V5 -> V6 -> 'VecS V6 (Succ (Succ (Succ Zero)))
288testdata/Builtins.lc 74:6-74:36 V6 -> 'VecS V6 (Succ (Succ (Succ Zero))) 326testdata/Builtins.lc 74:6-74:36 V6 -> 'VecS V6 (Succ (Succ (Succ Zero)))
289testdata/Builtins.lc 74:16-74:35 'VecS V6 (Succ (Succ (Succ Zero))) 327testdata/Builtins.lc 74:16-74:35 'VecS V6 (Succ (Succ (Succ Zero)))
290testdata/Builtins.lc 74:16-74:18 {a} -> a -> a -> a -> 'VecS a (Succ (Succ (Succ Zero))) 328testdata/Builtins.lc 74:16-74:18 {a} -> a -> a -> a -> 'VecS a (Succ (Succ (Succ Zero)))
291testdata/Builtins.lc 74:22-74:23 V0 329testdata/Builtins.lc 74:20-74:23 V0
330testdata/Builtins.lc 74:20-74:21 V8->V8
292testdata/Builtins.lc 74:22-74:23 V7 331testdata/Builtins.lc 74:22-74:23 V7
293testdata/Builtins.lc 74:28-74:29 V6 332testdata/Builtins.lc 74:26-74:29 V6
333testdata/Builtins.lc 74:26-74:27 V7->V7
294testdata/Builtins.lc 74:28-74:29 V7 334testdata/Builtins.lc 74:28-74:29 V7
295testdata/Builtins.lc 74:34-74:35 V6 335testdata/Builtins.lc 74:32-74:35 V6
336testdata/Builtins.lc 74:32-74:33 V7->V7
296testdata/Builtins.lc 74:34-74:35 V7 337testdata/Builtins.lc 74:34-74:35 V7
297testdata/Builtins.lc 75:6-75:44 V4 -> V5 -> V6 -> V7 -> 'VecS V7 (Succ (Succ (Succ (Succ Zero)))) 338testdata/Builtins.lc 75:6-75:44 V4 -> V5 -> V6 -> V7 -> 'VecS V7 (Succ (Succ (Succ (Succ Zero))))
298testdata/Builtins.lc 75:6-75:44 V5 -> V6 -> V7 -> 'VecS V7 (Succ (Succ (Succ (Succ Zero)))) 339testdata/Builtins.lc 75:6-75:44 V5 -> V6 -> V7 -> 'VecS V7 (Succ (Succ (Succ (Succ Zero))))
@@ -300,40 +341,61 @@ testdata/Builtins.lc 75:6-75:44 V6 -> V7 -> 'VecS V7 (Succ (Succ (Succ (Succ Ze
300testdata/Builtins.lc 75:6-75:44 V7 -> 'VecS V7 (Succ (Succ (Succ (Succ Zero)))) 341testdata/Builtins.lc 75:6-75:44 V7 -> 'VecS V7 (Succ (Succ (Succ (Succ Zero))))
301testdata/Builtins.lc 75:18-75:43 'VecS V7 (Succ (Succ (Succ (Succ Zero)))) 342testdata/Builtins.lc 75:18-75:43 'VecS V7 (Succ (Succ (Succ (Succ Zero))))
302testdata/Builtins.lc 75:18-75:20 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero)))) 343testdata/Builtins.lc 75:18-75:20 {a} -> a -> a -> a -> a -> 'VecS a (Succ (Succ (Succ (Succ Zero))))
303testdata/Builtins.lc 75:24-75:25 V0 344testdata/Builtins.lc 75:22-75:25 V0
345testdata/Builtins.lc 75:22-75:23 V9->V9
304testdata/Builtins.lc 75:24-75:25 V8 346testdata/Builtins.lc 75:24-75:25 V8
305testdata/Builtins.lc 75:30-75:31 V7 347testdata/Builtins.lc 75:28-75:31 V7
348testdata/Builtins.lc 75:28-75:29 V8->V8
306testdata/Builtins.lc 75:30-75:31 V8 349testdata/Builtins.lc 75:30-75:31 V8
307testdata/Builtins.lc 75:36-75:37 V7 350testdata/Builtins.lc 75:34-75:37 V7
351testdata/Builtins.lc 75:34-75:35 V8->V8
308testdata/Builtins.lc 75:36-75:37 V8 352testdata/Builtins.lc 75:36-75:37 V8
309testdata/Builtins.lc 75:42-75:43 V7 353testdata/Builtins.lc 75:40-75:43 V7
354testdata/Builtins.lc 75:40-75:41 V8->V8
310testdata/Builtins.lc 75:42-75:43 V8 355testdata/Builtins.lc 75:42-75:43 V8
356testdata/Builtins.lc 76:6-76:7 'Nat
357testdata/Builtins.lc 77:5-77:6 'VecS V4 V2
311testdata/Builtins.lc 72:1-72:7 {a} -> {b} -> {c:'Nat} -> a->b -> 'VecS a c -> 'VecS b c 358testdata/Builtins.lc 72:1-72:7 {a} -> {b} -> {c:'Nat} -> a->b -> 'VecS a c -> 'VecS b c
312testdata/Builtins.lc 80:27-80:48 Type 359testdata/Builtins.lc 80:27-80:48 Type
313testdata/Builtins.lc 80:27-80:30 'Nat -> Type->Type 360testdata/Builtins.lc 80:27-80:30 'Nat -> Type->Type
314testdata/Builtins.lc 80:31-80:32 'Nat 361testdata/Builtins.lc 80:31-80:32 'Nat
315testdata/Builtins.lc 80:31-80:32 V1 362testdata/Builtins.lc 80:31-80:32 V1
316testdata/Builtins.lc 80:27-80:48 V2 363testdata/Builtins.lc 80:33-80:34 Type
364testdata/Builtins.lc 80:33-80:34 V2
365testdata/Builtins.lc 80:38-80:48 Type
317testdata/Builtins.lc 80:38-80:43 Type 366testdata/Builtins.lc 80:38-80:43 Type
318testdata/Builtins.lc 81:17-86:28 {a} -> {b:'Nat} -> 'VecS a b -> 'Swizz->a 367testdata/Builtins.lc 80:47-80:48 Type
319testdata/Builtins.lc 81:17-86:28 {a:'Nat} -> 'VecS V1 a -> 'Swizz->V3 368testdata/Builtins.lc 81:17-89:32 {a} -> {b:'Nat} -> 'VecS a b -> 'Swizz->a
320testdata/Builtins.lc 81:17-86:28 'VecS V1 V0 -> 'Swizz->V3 369testdata/Builtins.lc 81:17-89:32 {a:'Nat} -> 'VecS V1 a -> 'Swizz->V3
321testdata/Builtins.lc 81:17-86:28 'Swizz->V3 370testdata/Builtins.lc 81:17-89:32 'VecS V1 V0 -> 'Swizz->V3
322testdata/Builtins.lc 81:17-86:28 V3 371testdata/Builtins.lc 81:17-89:32 'Swizz->V3
323testdata/Builtins.lc 81:22-81:24 V1 -> V2->V2 372testdata/Builtins.lc 81:17-89:32 V3
324testdata/Builtins.lc 81:22-81:24 V2->V2 373testdata/Builtins.lc 81:22-82:28 V1 -> V2->V2
325testdata/Builtins.lc 81:22-81:24 V2 374testdata/Builtins.lc 81:22-82:28 V2->V2
375testdata/Builtins.lc 81:22-82:28 V2
376testdata/Builtins.lc 81:27-81:28 V0
377testdata/Builtins.lc 81:27-81:28 V4
378testdata/Builtins.lc 82:27-82:28 V3
326testdata/Builtins.lc 81:22-81:24 'Swizz 379testdata/Builtins.lc 81:22-81:24 'Swizz
327testdata/Builtins.lc 83:24-83:26 V0 -> V1 -> V2->V3 380testdata/Builtins.lc 83:24-85:30 V0 -> V1 -> V2->V3
328testdata/Builtins.lc 83:24-83:26 V1 -> V2->V3 381testdata/Builtins.lc 83:24-85:30 V1 -> V2->V3
329testdata/Builtins.lc 83:24-83:26 V2->V3 382testdata/Builtins.lc 83:24-85:30 V2->V3
330testdata/Builtins.lc 83:24-83:26 V3 383testdata/Builtins.lc 83:24-85:30 V3
384testdata/Builtins.lc 83:29-83:30 V0
385testdata/Builtins.lc 83:29-83:30 V4
386testdata/Builtins.lc 84:29-84:30 V3
387testdata/Builtins.lc 85:29-85:30 V3
331testdata/Builtins.lc 83:24-83:26 'Swizz 388testdata/Builtins.lc 83:24-83:26 'Swizz
332testdata/Builtins.lc 86:26-86:28 V0 -> V1 -> V2 -> V3->V4 389testdata/Builtins.lc 86:26-89:32 V0 -> V1 -> V2 -> V3->V4
333testdata/Builtins.lc 86:26-86:28 V1 -> V2 -> V3->V4 390testdata/Builtins.lc 86:26-89:32 V1 -> V2 -> V3->V4
334testdata/Builtins.lc 86:26-86:28 V2 -> V3->V4 391testdata/Builtins.lc 86:26-89:32 V2 -> V3->V4
335testdata/Builtins.lc 86:26-86:28 V3->V4 392testdata/Builtins.lc 86:26-89:32 V3->V4
336testdata/Builtins.lc 86:26-86:28 V4 393testdata/Builtins.lc 86:26-89:32 V4
394testdata/Builtins.lc 86:31-86:32 V0
395testdata/Builtins.lc 86:31-86:32 V5
396testdata/Builtins.lc 87:31-87:32 V4
397testdata/Builtins.lc 88:31-88:32 V4
398testdata/Builtins.lc 89:31-89:32 V4
337testdata/Builtins.lc 86:26-86:28 'Swizz 399testdata/Builtins.lc 86:26-86:28 'Swizz
338testdata/Builtins.lc 81:17-81:20 'VecS V1 V0 400testdata/Builtins.lc 81:17-81:20 'VecS V1 V0
339testdata/Builtins.lc 81:17-81:20 'VecS V5 V4 401testdata/Builtins.lc 81:17-81:20 'VecS V5 V4
@@ -369,23 +431,31 @@ testdata/Builtins.lc 97:38-97:71 Type
369testdata/Builtins.lc 97:38-97:41 'Nat -> Type->Type 431testdata/Builtins.lc 97:38-97:41 'Nat -> Type->Type
370testdata/Builtins.lc 97:42-97:43 'Nat 432testdata/Builtins.lc 97:42-97:43 'Nat
371testdata/Builtins.lc 97:42-97:43 V3 433testdata/Builtins.lc 97:42-97:43 V3
372testdata/Builtins.lc 97:38-97:71 V4 434testdata/Builtins.lc 97:44-97:45 Type
435testdata/Builtins.lc 97:44-97:45 V4
436testdata/Builtins.lc 97:49-97:71 Type
373testdata/Builtins.lc 97:49-97:52 'Nat -> Type->Type 437testdata/Builtins.lc 97:49-97:52 'Nat -> Type->Type
374testdata/Builtins.lc 97:53-97:54 'Nat 438testdata/Builtins.lc 97:53-97:54 'Nat
375testdata/Builtins.lc 97:53-97:54 V2 439testdata/Builtins.lc 97:53-97:54 V2
376testdata/Builtins.lc 97:55-97:60 Type 440testdata/Builtins.lc 97:55-97:60 Type
441testdata/Builtins.lc 97:64-97:71 Type
377testdata/Builtins.lc 97:64-97:67 'Nat -> Type->Type 442testdata/Builtins.lc 97:64-97:67 'Nat -> Type->Type
378testdata/Builtins.lc 97:68-97:69 'Nat 443testdata/Builtins.lc 97:68-97:69 'Nat
379testdata/Builtins.lc 98:19-98:53 {a} -> {b:'Nat} -> {c:'Nat} -> 'VecS a b -> 'VecS 'Swizz c -> 'VecS a c 444testdata/Builtins.lc 97:70-97:71 Type
380testdata/Builtins.lc 98:19-98:53 {a:'Nat} -> {b:'Nat} -> 'VecS V2 a -> 'VecS 'Swizz b -> 'VecS V4 b 445testdata/Builtins.lc 98:19-98:58 {a} -> {b:'Nat} -> {c:'Nat} -> 'VecS a b -> 'VecS 'Swizz c -> 'VecS a c
381testdata/Builtins.lc 98:19-98:53 {a:'Nat} -> 'VecS V2 V1 -> 'VecS 'Swizz a -> 'VecS V4 a 446testdata/Builtins.lc 98:19-98:58 {a:'Nat} -> {b:'Nat} -> 'VecS V2 a -> 'VecS 'Swizz b -> 'VecS V4 b
382testdata/Builtins.lc 98:19-98:53 'VecS V2 V1 -> 'VecS 'Swizz V1 -> 'VecS V4 V2 447testdata/Builtins.lc 98:19-98:58 {a:'Nat} -> 'VecS V2 V1 -> 'VecS 'Swizz a -> 'VecS V4 a
383testdata/Builtins.lc 98:19-98:53 'VecS 'Swizz V1 -> 'VecS V4 V2 448testdata/Builtins.lc 98:19-98:58 'VecS V2 V1 -> 'VecS 'Swizz V1 -> 'VecS V4 V2
384testdata/Builtins.lc 98:19-98:53 'VecS V4 V2 449testdata/Builtins.lc 98:19-98:58 'VecS 'Swizz V1 -> 'VecS V4 V2
385testdata/Builtins.lc 98:34-98:53 V0 450testdata/Builtins.lc 98:19-98:58 'VecS V4 V2
451testdata/Builtins.lc 98:34-98:58 V0
386testdata/Builtins.lc 98:34-98:40 {a} -> {b} -> {c:'Nat} -> a->b -> 'VecS a c -> 'VecS b c 452testdata/Builtins.lc 98:34-98:40 {a} -> {b} -> {c:'Nat} -> a->b -> 'VecS a c -> 'VecS b c
387testdata/Builtins.lc 98:42-98:53 V2->V2 453testdata/Builtins.lc 98:42-98:55 V2->V2
388testdata/Builtins.lc 98:42-98:53 {a} -> {b:'Nat} -> 'VecS a b -> 'Swizz->a 454testdata/Builtins.lc 98:42-98:53 {a} -> {b:'Nat} -> 'VecS a b -> 'Swizz->a
455testdata/Builtins.lc 98:54-98:55 'VecS V1 V0
456testdata/Builtins.lc 98:54-98:55 'VecS V10 V9
457testdata/Builtins.lc 98:57-98:58 'VecS 'Swizz V0
458testdata/Builtins.lc 98:57-98:58 'VecS 'Swizz V3
389testdata/Builtins.lc 98:19-98:31 'Bool 459testdata/Builtins.lc 98:19-98:31 'Bool
390testdata/Builtins.lc 98:19-98:29 {a} -> {b:'Nat} -> 'VecS a b -> 'Bool 460testdata/Builtins.lc 98:19-98:29 {a} -> {b:'Nat} -> 'VecS a b -> 'Bool
391testdata/Builtins.lc 98:30-98:31 'VecS V1 V0 461testdata/Builtins.lc 98:30-98:31 'VecS V1 V0
@@ -914,11 +984,13 @@ testdata/Builtins.lc 291:43-291:48 Type
914testdata/Builtins.lc 291:1-291:12 'Tuple0 -> 'VecS 'Float (Succ (Succ Zero)) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) 984testdata/Builtins.lc 291:1-291:12 'Tuple0 -> 'VecS 'Float (Succ (Succ Zero)) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
915testdata/Builtins.lc 294:14-294:25 Type 985testdata/Builtins.lc 294:14-294:25 Type
916testdata/Builtins.lc 294:14-294:20 Type 986testdata/Builtins.lc 294:14-294:20 Type
917testdata/Builtins.lc 294:14-294:25 V2 987testdata/Builtins.lc 294:24-294:25 Type
988testdata/Builtins.lc 294:24-294:25 V2
918testdata/Builtins.lc 294:1-294:8 {a} -> 'String->a 989testdata/Builtins.lc 294:1-294:8 {a} -> 'String->a
919testdata/Builtins.lc 295:14-295:25 Type 990testdata/Builtins.lc 295:14-295:25 Type
920testdata/Builtins.lc 295:14-295:20 Type 991testdata/Builtins.lc 295:14-295:20 Type
921testdata/Builtins.lc 295:14-295:25 V2 992testdata/Builtins.lc 295:24-295:25 Type
993testdata/Builtins.lc 295:24-295:25 V2
922testdata/Builtins.lc 295:1-295:10 {a} -> 'String->a 994testdata/Builtins.lc 295:1-295:10 {a} -> 'String->a
923testdata/Builtins.lc 297:23-297:36 Type 995testdata/Builtins.lc 297:23-297:36 Type
924testdata/Builtins.lc 297:40-297:44 Type 996testdata/Builtins.lc 297:40-297:44 Type
@@ -970,28 +1042,39 @@ testdata/Builtins.lc 305:55-305:56 Type
970testdata/Builtins.lc 305:3-305:7 {a} -> 'Interpolated a 1042testdata/Builtins.lc 305:3-305:7 {a} -> 'Interpolated a
971testdata/Builtins.lc 309:14-310:32 Type->Type 1043testdata/Builtins.lc 309:14-310:32 Type->Type
972testdata/Builtins.lc 309:14-310:32 Type 1044testdata/Builtins.lc 309:14-310:32 Type
1045testdata/Builtins.lc 309:19-309:20 Type->Type
1046testdata/Builtins.lc 309:19-309:20 Type
973testdata/Builtins.lc 309:14-309:15 Type 1047testdata/Builtins.lc 309:14-309:15 Type
974testdata/Builtins.lc 310:15-310:32 Type 1048testdata/Builtins.lc 310:15-310:32 Type
975testdata/Builtins.lc 310:26-310:32 Type -> Type->Type 1049testdata/Builtins.lc 310:26-310:32 Type -> Type->Type
976testdata/Builtins.lc 310:26-310:32 Type->Type 1050testdata/Builtins.lc 310:26-310:32 Type->Type
977testdata/Builtins.lc 310:26-310:32 Type 1051testdata/Builtins.lc 310:26-310:32 Type
1052testdata/Builtins.lc 310:27-310:28 Type
1053testdata/Builtins.lc 310:30-310:31 Type
978testdata/Builtins.lc 310:15-310:21 Type 1054testdata/Builtins.lc 310:15-310:21 Type
979testdata/Builtins.lc 309:5-309:12 Type->Type 1055testdata/Builtins.lc 309:5-309:12 Type->Type
980testdata/Builtins.lc 313:27-316:82 Type->Type 1056testdata/Builtins.lc 313:27-316:82 Type->Type
981testdata/Builtins.lc 313:27-316:82 Type 1057testdata/Builtins.lc 313:27-316:82 Type
982testdata/Builtins.lc 313:27-313:29 Type 1058testdata/Builtins.lc 313:27-313:29 Type
983testdata/Builtins.lc 314:36-316:82 Type 1059testdata/Builtins.lc 314:36-316:82 Type
1060testdata/Builtins.lc 314:41-314:42 Type->Type
1061testdata/Builtins.lc 314:41-314:42 Type
984testdata/Builtins.lc 314:36-314:37 Type 1062testdata/Builtins.lc 314:36-314:37 Type
985testdata/Builtins.lc 315:23-316:82 Type 1063testdata/Builtins.lc 315:23-316:82 Type
986testdata/Builtins.lc 315:57-315:63 Type -> Type->Type 1064testdata/Builtins.lc 315:57-315:63 Type -> Type->Type
987testdata/Builtins.lc 315:57-315:63 Type->Type 1065testdata/Builtins.lc 315:57-315:63 Type->Type
988testdata/Builtins.lc 315:57-315:63 Type 1066testdata/Builtins.lc 315:57-315:63 Type
1067testdata/Builtins.lc 315:58-315:59 Type
1068testdata/Builtins.lc 315:61-315:62 Type
989testdata/Builtins.lc 315:23-315:53 Type 1069testdata/Builtins.lc 315:23-315:53 Type
990testdata/Builtins.lc 316:23-316:82 Type 1070testdata/Builtins.lc 316:23-316:82 Type
991testdata/Builtins.lc 316:73-316:82 Type -> Type -> Type->Type 1071testdata/Builtins.lc 316:73-316:82 Type -> Type -> Type->Type
992testdata/Builtins.lc 316:73-316:82 Type -> Type->Type 1072testdata/Builtins.lc 316:73-316:82 Type -> Type->Type
993testdata/Builtins.lc 316:73-316:82 Type->Type 1073testdata/Builtins.lc 316:73-316:82 Type->Type
994testdata/Builtins.lc 316:73-316:82 Type 1074testdata/Builtins.lc 316:73-316:82 Type
1075testdata/Builtins.lc 316:74-316:75 Type
1076testdata/Builtins.lc 316:77-316:78 Type
1077testdata/Builtins.lc 316:80-316:81 Type
995testdata/Builtins.lc 316:23-316:69 Type 1078testdata/Builtins.lc 316:23-316:69 Type
996testdata/Builtins.lc 313:5-313:21 Type->Type 1079testdata/Builtins.lc 313:5-313:21 Type->Type
997testdata/Builtins.lc 318:18-318:22 Type 1080testdata/Builtins.lc 318:18-318:22 Type
@@ -999,13 +1082,18 @@ testdata/Builtins.lc 318:26-318:30 Type
999testdata/Builtins.lc 318:6-318:14 Type->Type 1082testdata/Builtins.lc 318:6-318:14 Type->Type
1000testdata/Builtins.lc 319:60-319:70 Type 1083testdata/Builtins.lc 319:60-319:70 Type
1001testdata/Builtins.lc 319:60-319:68 Type->Type 1084testdata/Builtins.lc 319:60-319:68 Type->Type
1002testdata/Builtins.lc 319:60-319:70 V1 1085testdata/Builtins.lc 319:69-319:70 Type
1086testdata/Builtins.lc 319:69-319:70 V1
1003testdata/Builtins.lc 319:3-319:13 {a} -> 'Blending a 1087testdata/Builtins.lc 319:3-319:13 {a} -> 'Blending a
1004testdata/Builtins.lc 320:27-320:70 Type 1088testdata/Builtins.lc 320:27-320:70 Type
1005testdata/Builtins.lc 320:27-320:35 Type->Type 1089testdata/Builtins.lc 320:27-320:35 Type->Type
1006testdata/Builtins.lc 320:27-320:70 V1 1090testdata/Builtins.lc 320:36-320:37 Type
1091testdata/Builtins.lc 320:36-320:37 V1
1092testdata/Builtins.lc 320:42-320:70 Type
1007testdata/Builtins.lc 320:42-320:56 Type 1093testdata/Builtins.lc 320:42-320:56 Type
1094testdata/Builtins.lc 320:60-320:70 Type
1008testdata/Builtins.lc 320:60-320:68 Type->Type 1095testdata/Builtins.lc 320:60-320:68 Type->Type
1096testdata/Builtins.lc 320:69-320:70 Type
1009testdata/Builtins.lc 320:3-320:15 {a} -> {b : 'Integral a} -> 'LogicOperation -> 'Blending a 1097testdata/Builtins.lc 320:3-320:15 {a} -> {b : 'Integral a} -> 'LogicOperation -> 'Blending a
1010testdata/Builtins.lc 321:26-321:56 Type -> Type->Type 1098testdata/Builtins.lc 321:26-321:56 Type -> Type->Type
1011testdata/Builtins.lc 321:27-321:40 Type 1099testdata/Builtins.lc 321:27-321:40 Type
@@ -1027,8 +1115,8 @@ testdata/Builtins.lc 323:60-323:74 Type
1027testdata/Builtins.lc 323:60-323:68 Type->Type 1115testdata/Builtins.lc 323:60-323:68 Type->Type
1028testdata/Builtins.lc 323:69-323:74 Type 1116testdata/Builtins.lc 323:69-323:74 Type
1029testdata/Builtins.lc 321:3-321:8 'Tuple2 'BlendEquation 'BlendEquation -> 'Tuple2 ('Tuple2 'BlendingFactor 'BlendingFactor) ('Tuple2 'BlendingFactor 'BlendingFactor) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'Blending 'Float 1117testdata/Builtins.lc 321:3-321:8 'Tuple2 'BlendEquation 'BlendEquation -> 'Tuple2 ('Tuple2 'BlendingFactor 'BlendingFactor) ('Tuple2 'BlendingFactor 'BlendingFactor) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) -> 'Blending 'Float
1030testdata/Builtins.lc 319:60-323:74 Type 1118testdata/Builtins.lc 319:69-323:74 Type
1031testdata/Builtins.lc 320:27-323:74 Type 1119testdata/Builtins.lc 320:69-323:74 Type
1032testdata/Builtins.lc 330:6-330:18 Type 1120testdata/Builtins.lc 330:6-330:18 Type
1033testdata/Builtins.lc 331:6-331:16 Type 1121testdata/Builtins.lc 331:6-331:16 Type
1034testdata/Builtins.lc 332:6-332:11 Type 1122testdata/Builtins.lc 332:6-332:11 Type
@@ -1036,18 +1124,34 @@ testdata/Builtins.lc 334:27-334:31 Type
1036testdata/Builtins.lc 334:35-334:39 Type 1124testdata/Builtins.lc 334:35-334:39 Type
1037testdata/Builtins.lc 334:6-334:23 Type->Type 1125testdata/Builtins.lc 334:6-334:23 Type->Type
1038testdata/Builtins.lc 335:27-336:101 Type 1126testdata/Builtins.lc 335:27-336:101 Type
1039testdata/Builtins.lc 335:27-336:101 V7 1127testdata/Builtins.lc 335:27-335:31 Type
1128testdata/Builtins.lc 335:27-335:31 V7
1129testdata/Builtins.lc 335:34-335:50 Type
1040testdata/Builtins.lc 335:34-335:43 'Nat -> Type->Type 1130testdata/Builtins.lc 335:34-335:43 'Nat -> Type->Type
1041testdata/Builtins.lc 335:27-336:101 'Nat 1131testdata/Builtins.lc 335:44-335:45 'Nat
1042testdata/Builtins.lc 335:27-336:101 V5 1132testdata/Builtins.lc 335:44-335:45 V5
1043testdata/Builtins.lc 335:46-335:50 Type 1133testdata/Builtins.lc 335:46-335:50 Type
1044testdata/Builtins.lc 335:27-336:101 V4 1134testdata/Builtins.lc 335:52-336:101 Type
1135testdata/Builtins.lc 335:52-335:57 Type
1136testdata/Builtins.lc 335:52-335:57 V4
1137testdata/Builtins.lc 335:60-335:73 Type
1045testdata/Builtins.lc 335:60-335:69 'Nat -> Type->Type 1138testdata/Builtins.lc 335:60-335:69 'Nat -> Type->Type
1046testdata/Builtins.lc 335:27-336:101 V2 1139testdata/Builtins.lc 335:70-335:71 'Nat
1140testdata/Builtins.lc 335:72-335:73 Type
1141testdata/Builtins.lc 335:72-335:73 V2
1142testdata/Builtins.lc 335:75-336:101 Type
1047testdata/Builtins.lc 335:75-335:78 Type->Type 1143testdata/Builtins.lc 335:75-335:78 Type->Type
1144testdata/Builtins.lc 335:79-335:80 Type
1145testdata/Builtins.lc 335:85-336:101 Type
1048testdata/Builtins.lc 335:85-335:93 Type->Type 1146testdata/Builtins.lc 335:85-335:93 Type->Type
1147testdata/Builtins.lc 335:94-335:95 Type
1148testdata/Builtins.lc 335:99-336:101 Type
1149testdata/Builtins.lc 335:99-335:103 Type
1150testdata/Builtins.lc 336:71-336:101 Type
1049testdata/Builtins.lc 336:71-336:88 Type->Type 1151testdata/Builtins.lc 336:71-336:88 Type->Type
1152testdata/Builtins.lc 336:90-336:101 Type
1050testdata/Builtins.lc 336:90-336:95 Type->Type 1153testdata/Builtins.lc 336:90-336:95 Type->Type
1154testdata/Builtins.lc 336:96-336:101 Type
1051testdata/Builtins.lc 335:3-335:10 {a} -> {b:'Nat} -> {c} -> {d} -> {e : a ~ 'VecScalar b 'Bool} -> {f : c ~ 'VecScalar b d} -> {g : 'Num d} -> 'Blending d -> a -> 'FragmentOperation ('Color c) 1155testdata/Builtins.lc 335:3-335:10 {a} -> {b:'Nat} -> {c} -> {d} -> {e : a ~ 'VecScalar b 'Bool} -> {f : c ~ 'VecScalar b d} -> {g : 'Num d} -> 'Blending d -> a -> 'FragmentOperation ('Color c)
1052testdata/Builtins.lc 337:26-337:44 Type 1156testdata/Builtins.lc 337:26-337:44 Type
1053testdata/Builtins.lc 337:48-337:101 Type 1157testdata/Builtins.lc 337:48-337:101 Type
@@ -1069,21 +1173,28 @@ testdata/Builtins.lc 338:90-338:103 Type
1069testdata/Builtins.lc 338:90-338:97 Type->Type 1173testdata/Builtins.lc 338:90-338:97 Type->Type
1070testdata/Builtins.lc 338:98-338:103 Type 1174testdata/Builtins.lc 338:98-338:103 Type
1071testdata/Builtins.lc 338:3-338:12 'StencilTests -> 'StencilOps -> 'StencilOps -> 'FragmentOperation ('Stencil 'Int32) 1175testdata/Builtins.lc 338:3-338:12 'StencilTests -> 'StencilOps -> 'StencilOps -> 'FragmentOperation ('Stencil 'Int32)
1072testdata/Builtins.lc 335:27-338:103 Type 1176testdata/Builtins.lc 336:90-338:103 Type
1073testdata/Builtins.lc 337:90-338:103 Type 1177testdata/Builtins.lc 337:90-338:103 Type
1074testdata/Builtins.lc 341:32-345:146 Type->Type 1178testdata/Builtins.lc 341:32-345:146 Type->Type
1075testdata/Builtins.lc 341:32-345:146 Type 1179testdata/Builtins.lc 341:32-345:146 Type
1180testdata/Builtins.lc 341:37-341:38 Type->Type
1181testdata/Builtins.lc 341:37-341:38 Type
1076testdata/Builtins.lc 341:32-341:33 Type 1182testdata/Builtins.lc 341:32-341:33 Type
1077testdata/Builtins.lc 342:14-345:146 Type 1183testdata/Builtins.lc 342:14-345:146 Type
1078testdata/Builtins.lc 342:60-342:68 Type -> Type->Type 1184testdata/Builtins.lc 342:60-342:68 Type -> Type->Type
1079testdata/Builtins.lc 342:60-342:68 Type->Type 1185testdata/Builtins.lc 342:60-342:68 Type->Type
1080testdata/Builtins.lc 342:60-342:68 Type 1186testdata/Builtins.lc 342:60-342:68 Type
1187testdata/Builtins.lc 342:61-342:63 Type
1188testdata/Builtins.lc 342:65-342:67 Type
1081testdata/Builtins.lc 342:14-342:56 Type 1189testdata/Builtins.lc 342:14-342:56 Type
1082testdata/Builtins.lc 343:14-345:146 Type 1190testdata/Builtins.lc 343:14-345:146 Type
1083testdata/Builtins.lc 343:82-343:94 Type -> Type -> Type->Type 1191testdata/Builtins.lc 343:82-343:94 Type -> Type -> Type->Type
1084testdata/Builtins.lc 343:82-343:94 Type -> Type->Type 1192testdata/Builtins.lc 343:82-343:94 Type -> Type->Type
1085testdata/Builtins.lc 343:82-343:94 Type->Type 1193testdata/Builtins.lc 343:82-343:94 Type->Type
1086testdata/Builtins.lc 343:82-343:94 Type 1194testdata/Builtins.lc 343:82-343:94 Type
1195testdata/Builtins.lc 343:83-343:85 Type
1196testdata/Builtins.lc 343:87-343:89 Type
1197testdata/Builtins.lc 343:91-343:93 Type
1087testdata/Builtins.lc 343:14-343:78 Type 1198testdata/Builtins.lc 343:14-343:78 Type
1088testdata/Builtins.lc 344:14-345:146 Type 1199testdata/Builtins.lc 344:14-345:146 Type
1089testdata/Builtins.lc 344:104-344:120 Type -> Type -> Type -> Type->Type 1200testdata/Builtins.lc 344:104-344:120 Type -> Type -> Type -> Type->Type
@@ -1091,6 +1202,10 @@ testdata/Builtins.lc 344:104-344:120 Type -> Type -> Type->Type
1091testdata/Builtins.lc 344:104-344:120 Type -> Type->Type 1202testdata/Builtins.lc 344:104-344:120 Type -> Type->Type
1092testdata/Builtins.lc 344:104-344:120 Type->Type 1203testdata/Builtins.lc 344:104-344:120 Type->Type
1093testdata/Builtins.lc 344:104-344:120 Type 1204testdata/Builtins.lc 344:104-344:120 Type
1205testdata/Builtins.lc 344:105-344:107 Type
1206testdata/Builtins.lc 344:109-344:111 Type
1207testdata/Builtins.lc 344:113-344:115 Type
1208testdata/Builtins.lc 344:117-344:119 Type
1094testdata/Builtins.lc 344:14-344:100 Type 1209testdata/Builtins.lc 344:14-344:100 Type
1095testdata/Builtins.lc 345:14-345:146 Type 1210testdata/Builtins.lc 345:14-345:146 Type
1096testdata/Builtins.lc 345:126-345:146 Type -> Type -> Type -> Type -> Type->Type 1211testdata/Builtins.lc 345:126-345:146 Type -> Type -> Type -> Type -> Type->Type
@@ -1099,85 +1214,120 @@ testdata/Builtins.lc 345:126-345:146 Type -> Type -> Type->Type
1099testdata/Builtins.lc 345:126-345:146 Type -> Type->Type 1214testdata/Builtins.lc 345:126-345:146 Type -> Type->Type
1100testdata/Builtins.lc 345:126-345:146 Type->Type 1215testdata/Builtins.lc 345:126-345:146 Type->Type
1101testdata/Builtins.lc 345:126-345:146 Type 1216testdata/Builtins.lc 345:126-345:146 Type
1217testdata/Builtins.lc 345:127-345:129 Type
1218testdata/Builtins.lc 345:131-345:133 Type
1219testdata/Builtins.lc 345:135-345:137 Type
1220testdata/Builtins.lc 345:139-345:141 Type
1221testdata/Builtins.lc 345:143-345:145 Type
1102testdata/Builtins.lc 345:14-345:122 Type 1222testdata/Builtins.lc 345:14-345:122 Type
1103testdata/Builtins.lc 341:5-341:12 Type->Type 1223testdata/Builtins.lc 341:5-341:12 Type->Type
1104testdata/Builtins.lc 348:15-352:36 Type->Type 1224testdata/Builtins.lc 348:15-352:38 Type->Type
1105testdata/Builtins.lc 348:15-352:36 Type 1225testdata/Builtins.lc 348:15-352:38 Type
1106testdata/Builtins.lc 348:25-348:69 Type -> Type->Type 1226testdata/Builtins.lc 348:25-348:69 Type -> Type->Type
1107testdata/Builtins.lc 348:25-348:69 Type->Type 1227testdata/Builtins.lc 348:25-348:69 Type->Type
1108testdata/Builtins.lc 348:25-348:69 Type 1228testdata/Builtins.lc 348:25-348:69 Type
1109testdata/Builtins.lc 348:26-348:43 Type 1229testdata/Builtins.lc 348:26-348:46 Type
1110testdata/Builtins.lc 348:26-348:43 Type->Type 1230testdata/Builtins.lc 348:26-348:43 Type->Type
1111testdata/Builtins.lc 348:48-348:65 Type 1231testdata/Builtins.lc 348:44-348:46 Type
1232testdata/Builtins.lc 348:48-348:68 Type
1112testdata/Builtins.lc 348:48-348:65 Type->Type 1233testdata/Builtins.lc 348:48-348:65 Type->Type
1234testdata/Builtins.lc 348:66-348:68 Type
1113testdata/Builtins.lc 348:15-348:21 Type 1235testdata/Builtins.lc 348:15-348:21 Type
1114testdata/Builtins.lc 349:15-352:36 Type 1236testdata/Builtins.lc 349:15-352:38 Type
1115testdata/Builtins.lc 349:29-349:95 Type -> Type -> Type->Type 1237testdata/Builtins.lc 349:29-349:95 Type -> Type -> Type->Type
1116testdata/Builtins.lc 349:29-349:95 Type -> Type->Type 1238testdata/Builtins.lc 349:29-349:95 Type -> Type->Type
1117testdata/Builtins.lc 349:29-349:95 Type->Type 1239testdata/Builtins.lc 349:29-349:95 Type->Type
1118testdata/Builtins.lc 349:29-349:95 Type 1240testdata/Builtins.lc 349:29-349:95 Type
1119testdata/Builtins.lc 349:30-349:47 Type 1241testdata/Builtins.lc 349:30-349:50 Type
1120testdata/Builtins.lc 349:30-349:47 Type->Type 1242testdata/Builtins.lc 349:30-349:47 Type->Type
1121testdata/Builtins.lc 349:52-349:69 Type 1243testdata/Builtins.lc 349:48-349:50 Type
1244testdata/Builtins.lc 349:52-349:72 Type
1122testdata/Builtins.lc 349:52-349:69 Type->Type 1245testdata/Builtins.lc 349:52-349:69 Type->Type
1123testdata/Builtins.lc 349:74-349:91 Type 1246testdata/Builtins.lc 349:70-349:72 Type
1247testdata/Builtins.lc 349:74-349:94 Type
1124testdata/Builtins.lc 349:74-349:91 Type->Type 1248testdata/Builtins.lc 349:74-349:91 Type->Type
1249testdata/Builtins.lc 349:92-349:94 Type
1125testdata/Builtins.lc 349:15-349:25 Type 1250testdata/Builtins.lc 349:15-349:25 Type
1126testdata/Builtins.lc 350:15-352:36 Type 1251testdata/Builtins.lc 350:15-352:38 Type
1127testdata/Builtins.lc 350:34-350:122 Type -> Type -> Type -> Type->Type 1252testdata/Builtins.lc 350:34-350:122 Type -> Type -> Type -> Type->Type
1128testdata/Builtins.lc 350:34-350:122 Type -> Type -> Type->Type 1253testdata/Builtins.lc 350:34-350:122 Type -> Type -> Type->Type
1129testdata/Builtins.lc 350:34-350:122 Type -> Type->Type 1254testdata/Builtins.lc 350:34-350:122 Type -> Type->Type
1130testdata/Builtins.lc 350:34-350:122 Type->Type 1255testdata/Builtins.lc 350:34-350:122 Type->Type
1131testdata/Builtins.lc 350:34-350:122 Type 1256testdata/Builtins.lc 350:34-350:122 Type
1132testdata/Builtins.lc 350:35-350:52 Type 1257testdata/Builtins.lc 350:35-350:55 Type
1133testdata/Builtins.lc 350:35-350:52 Type->Type 1258testdata/Builtins.lc 350:35-350:52 Type->Type
1134testdata/Builtins.lc 350:57-350:74 Type 1259testdata/Builtins.lc 350:53-350:55 Type
1260testdata/Builtins.lc 350:57-350:77 Type
1135testdata/Builtins.lc 350:57-350:74 Type->Type 1261testdata/Builtins.lc 350:57-350:74 Type->Type
1136testdata/Builtins.lc 350:79-350:96 Type 1262testdata/Builtins.lc 350:75-350:77 Type
1263testdata/Builtins.lc 350:79-350:99 Type
1137testdata/Builtins.lc 350:79-350:96 Type->Type 1264testdata/Builtins.lc 350:79-350:96 Type->Type
1138testdata/Builtins.lc 350:101-350:118 Type 1265testdata/Builtins.lc 350:97-350:99 Type
1266testdata/Builtins.lc 350:101-350:121 Type
1139testdata/Builtins.lc 350:101-350:118 Type->Type 1267testdata/Builtins.lc 350:101-350:118 Type->Type
1268testdata/Builtins.lc 350:119-350:121 Type
1140testdata/Builtins.lc 350:15-350:29 Type 1269testdata/Builtins.lc 350:15-350:29 Type
1141testdata/Builtins.lc 351:15-352:36 Type 1270testdata/Builtins.lc 351:15-352:38 Type
1142testdata/Builtins.lc 351:38-351:148 Type -> Type -> Type -> Type -> Type->Type 1271testdata/Builtins.lc 351:38-351:148 Type -> Type -> Type -> Type -> Type->Type
1143testdata/Builtins.lc 351:38-351:148 Type -> Type -> Type -> Type->Type 1272testdata/Builtins.lc 351:38-351:148 Type -> Type -> Type -> Type->Type
1144testdata/Builtins.lc 351:38-351:148 Type -> Type -> Type->Type 1273testdata/Builtins.lc 351:38-351:148 Type -> Type -> Type->Type
1145testdata/Builtins.lc 351:38-351:148 Type -> Type->Type 1274testdata/Builtins.lc 351:38-351:148 Type -> Type->Type
1146testdata/Builtins.lc 351:38-351:148 Type->Type 1275testdata/Builtins.lc 351:38-351:148 Type->Type
1147testdata/Builtins.lc 351:38-351:148 Type 1276testdata/Builtins.lc 351:38-351:148 Type
1148testdata/Builtins.lc 351:39-351:56 Type 1277testdata/Builtins.lc 351:39-351:59 Type
1149testdata/Builtins.lc 351:39-351:56 Type->Type 1278testdata/Builtins.lc 351:39-351:56 Type->Type
1150testdata/Builtins.lc 351:61-351:78 Type 1279testdata/Builtins.lc 351:57-351:59 Type
1280testdata/Builtins.lc 351:61-351:81 Type
1151testdata/Builtins.lc 351:61-351:78 Type->Type 1281testdata/Builtins.lc 351:61-351:78 Type->Type
1152testdata/Builtins.lc 351:83-351:100 Type 1282testdata/Builtins.lc 351:79-351:81 Type
1283testdata/Builtins.lc 351:83-351:103 Type
1153testdata/Builtins.lc 351:83-351:100 Type->Type 1284testdata/Builtins.lc 351:83-351:100 Type->Type
1154testdata/Builtins.lc 351:105-351:122 Type 1285testdata/Builtins.lc 351:101-351:103 Type
1286testdata/Builtins.lc 351:105-351:125 Type
1155testdata/Builtins.lc 351:105-351:122 Type->Type 1287testdata/Builtins.lc 351:105-351:122 Type->Type
1156testdata/Builtins.lc 351:127-351:144 Type 1288testdata/Builtins.lc 351:123-351:125 Type
1289testdata/Builtins.lc 351:127-351:147 Type
1157testdata/Builtins.lc 351:127-351:144 Type->Type 1290testdata/Builtins.lc 351:127-351:144 Type->Type
1291testdata/Builtins.lc 351:145-351:147 Type
1158testdata/Builtins.lc 351:15-351:33 Type 1292testdata/Builtins.lc 351:15-351:33 Type
1159testdata/Builtins.lc 352:19-352:36 Type 1293testdata/Builtins.lc 352:19-352:38 Type
1160testdata/Builtins.lc 352:19-352:36 Type->Type 1294testdata/Builtins.lc 352:19-352:36 Type->Type
1295testdata/Builtins.lc 352:37-352:38 Type
1161testdata/Builtins.lc 348:5-348:13 Type->Type 1296testdata/Builtins.lc 348:5-348:13 Type->Type
1162testdata/Builtins.lc 354:6-354:12 Type->Type 1297testdata/Builtins.lc 354:6-354:12 Type->Type
1163testdata/Builtins.lc 356:15-356:46 Type 1298testdata/Builtins.lc 356:15-356:46 Type
1164testdata/Builtins.lc 356:15-356:46 V3 1299testdata/Builtins.lc 356:15-356:16 V3
1165testdata/Builtins.lc 356:15-356:46 V2 1300testdata/Builtins.lc 356:20-356:21 Type
1301testdata/Builtins.lc 356:20-356:21 V2
1302testdata/Builtins.lc 356:26-356:46 Type
1166testdata/Builtins.lc 356:26-356:32 Type->Type 1303testdata/Builtins.lc 356:26-356:32 Type->Type
1304testdata/Builtins.lc 356:33-356:34 Type
1305testdata/Builtins.lc 356:38-356:46 Type
1167testdata/Builtins.lc 356:38-356:44 Type->Type 1306testdata/Builtins.lc 356:38-356:44 Type->Type
1307testdata/Builtins.lc 356:45-356:46 Type
1168testdata/Builtins.lc 356:1-356:10 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1308testdata/Builtins.lc 356:1-356:10 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1169testdata/Builtins.lc 357:21-357:59 Type 1309testdata/Builtins.lc 357:21-357:59 Type
1170testdata/Builtins.lc 357:21-357:59 V3 1310testdata/Builtins.lc 357:21-357:22 V3
1311testdata/Builtins.lc 357:26-357:34 Type
1171testdata/Builtins.lc 357:26-357:32 Type->Type 1312testdata/Builtins.lc 357:26-357:32 Type->Type
1172testdata/Builtins.lc 357:21-357:59 V2 1313testdata/Builtins.lc 357:33-357:34 Type
1314testdata/Builtins.lc 357:33-357:34 V2
1315testdata/Builtins.lc 357:39-357:59 Type
1173testdata/Builtins.lc 357:39-357:45 Type->Type 1316testdata/Builtins.lc 357:39-357:45 Type->Type
1317testdata/Builtins.lc 357:46-357:47 Type
1318testdata/Builtins.lc 357:51-357:59 Type
1174testdata/Builtins.lc 357:51-357:57 Type->Type 1319testdata/Builtins.lc 357:51-357:57 Type->Type
1320testdata/Builtins.lc 357:58-357:59 Type
1175testdata/Builtins.lc 357:1-357:16 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b 1321testdata/Builtins.lc 357:1-357:16 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b
1176testdata/Builtins.lc 358:18-358:52 Type 1322testdata/Builtins.lc 358:18-358:52 Type
1177testdata/Builtins.lc 358:18-358:52 V1 1323testdata/Builtins.lc 358:18-358:19 V1
1178testdata/Builtins.lc 358:23-358:27 Type 1324testdata/Builtins.lc 358:23-358:27 Type
1325testdata/Builtins.lc 358:32-358:52 Type
1179testdata/Builtins.lc 358:32-358:38 Type->Type 1326testdata/Builtins.lc 358:32-358:38 Type->Type
1327testdata/Builtins.lc 358:39-358:40 Type
1328testdata/Builtins.lc 358:44-358:52 Type
1180testdata/Builtins.lc 358:44-358:50 Type->Type 1329testdata/Builtins.lc 358:44-358:50 Type->Type
1330testdata/Builtins.lc 358:51-358:52 Type
1181testdata/Builtins.lc 358:1-358:13 {a} -> a->'Bool -> 'Stream a -> 'Stream a 1331testdata/Builtins.lc 358:1-358:13 {a} -> a->'Bool -> 'Stream a -> 'Stream a
1182testdata/Builtins.lc 360:22-360:35 Type 1332testdata/Builtins.lc 360:22-360:35 Type
1183testdata/Builtins.lc 360:6-360:15 'PrimitiveType -> Type->Type 1333testdata/Builtins.lc 360:6-360:15 'PrimitiveType -> Type->Type
@@ -1190,12 +1340,18 @@ testdata/Builtins.lc 362:48-362:49 Type
1190testdata/Builtins.lc 362:48-362:49 V1 1340testdata/Builtins.lc 362:48-362:49 V1
1191testdata/Builtins.lc 362:6-362:21 'PrimitiveType -> Type->Type 1341testdata/Builtins.lc 362:6-362:21 'PrimitiveType -> Type->Type
1192testdata/Builtins.lc 364:18-364:59 Type 1342testdata/Builtins.lc 364:18-364:59 Type
1193testdata/Builtins.lc 364:18-364:59 V5 1343testdata/Builtins.lc 364:18-364:19 V5
1194testdata/Builtins.lc 364:18-364:59 V4 1344testdata/Builtins.lc 364:23-364:24 Type
1345testdata/Builtins.lc 364:23-364:24 V4
1346testdata/Builtins.lc 364:29-364:59 Type
1195testdata/Builtins.lc 364:29-364:38 'PrimitiveType -> Type->Type 1347testdata/Builtins.lc 364:29-364:38 'PrimitiveType -> Type->Type
1196testdata/Builtins.lc 364:18-364:59 'PrimitiveType 1348testdata/Builtins.lc 364:39-364:40 'PrimitiveType
1197testdata/Builtins.lc 364:18-364:59 V2 1349testdata/Builtins.lc 364:39-364:40 V2
1350testdata/Builtins.lc 364:41-364:42 Type
1351testdata/Builtins.lc 364:46-364:59 Type
1198testdata/Builtins.lc 364:46-364:55 'PrimitiveType -> Type->Type 1352testdata/Builtins.lc 364:46-364:55 'PrimitiveType -> Type->Type
1353testdata/Builtins.lc 364:56-364:57 'PrimitiveType
1354testdata/Builtins.lc 364:58-364:59 Type
1199testdata/Builtins.lc 364:1-364:13 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b 1355testdata/Builtins.lc 364:1-364:13 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b
1200testdata/Builtins.lc 366:39-366:94 Type 1356testdata/Builtins.lc 366:39-366:94 Type
1201testdata/Builtins.lc 366:39-366:53 Type->Type 1357testdata/Builtins.lc 366:39-366:53 Type->Type
@@ -1230,34 +1386,61 @@ testdata/Builtins.lc 367:101-367:102 V6
1230testdata/Builtins.lc 367:103-367:104 Type 1386testdata/Builtins.lc 367:103-367:104 Type
1231testdata/Builtins.lc 367:1-367:13 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b) 1387testdata/Builtins.lc 367:1-367:13 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b)
1232testdata/Builtins.lc 369:19-369:74 Type 1388testdata/Builtins.lc 369:19-369:74 Type
1233testdata/Builtins.lc 369:19-369:74 V5 1389testdata/Builtins.lc 369:19-369:21 V5
1234testdata/Builtins.lc 369:19-369:74 V4 1390testdata/Builtins.lc 369:25-369:26 Type
1391testdata/Builtins.lc 369:25-369:26 V4
1392testdata/Builtins.lc 369:31-369:74 Type
1235testdata/Builtins.lc 369:31-369:46 'PrimitiveType -> Type->Type 1393testdata/Builtins.lc 369:31-369:46 'PrimitiveType -> Type->Type
1236testdata/Builtins.lc 369:19-369:74 'PrimitiveType 1394testdata/Builtins.lc 369:47-369:48 'PrimitiveType
1237testdata/Builtins.lc 369:19-369:74 V2 1395testdata/Builtins.lc 369:47-369:48 V2
1396testdata/Builtins.lc 369:49-369:51 Type
1397testdata/Builtins.lc 369:55-369:74 Type
1238testdata/Builtins.lc 369:55-369:70 'PrimitiveType -> Type->Type 1398testdata/Builtins.lc 369:55-369:70 'PrimitiveType -> Type->Type
1239testdata/Builtins.lc 370:19-370:42 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b) 1399testdata/Builtins.lc 369:71-369:72 'PrimitiveType
1240testdata/Builtins.lc 370:19-370:42 {a} -> {b:'PrimitiveType} -> V2->a -> 'Stream ('Primitive b V3) -> 'Stream ('Primitive b a) 1400testdata/Builtins.lc 369:73-369:74 Type
1241testdata/Builtins.lc 370:19-370:42 {a:'PrimitiveType} -> V2->V2 -> 'Stream ('Primitive a V3) -> 'Stream ('Primitive a V3) 1401testdata/Builtins.lc 370:19-370:44 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b)
1242testdata/Builtins.lc 370:19-370:42 V2->V2 -> 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3) 1402testdata/Builtins.lc 370:19-370:44 {a} -> {b:'PrimitiveType} -> V2->a -> 'Stream ('Primitive b V3) -> 'Stream ('Primitive b a)
1243testdata/Builtins.lc 370:19-370:42 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3) 1403testdata/Builtins.lc 370:19-370:44 {a:'PrimitiveType} -> V2->V2 -> 'Stream ('Primitive a V3) -> 'Stream ('Primitive a V3)
1404testdata/Builtins.lc 370:19-370:44 V2->V2 -> 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3)
1405testdata/Builtins.lc 370:19-370:44 'Stream ('Primitive V1 V3) -> 'Stream ('Primitive V2 V3)
1244testdata/Builtins.lc 370:19-370:28 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1406testdata/Builtins.lc 370:19-370:28 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1245testdata/Builtins.lc 370:30-370:42 V1->V1 1407testdata/Builtins.lc 370:30-370:44 V1->V1
1246testdata/Builtins.lc 370:30-370:42 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b 1408testdata/Builtins.lc 370:30-370:42 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Primitive c a -> 'Primitive c b
1409testdata/Builtins.lc 370:43-370:44 V2->V2
1410testdata/Builtins.lc 370:43-370:44 V8->V8
1247testdata/Builtins.lc 370:1-370:14 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b) 1411testdata/Builtins.lc 370:1-370:14 {a} -> {b} -> {c:'PrimitiveType} -> a->b -> 'Stream ('Primitive c a) -> 'Stream ('Primitive c b)
1248testdata/Builtins.lc 372:15-372:21 {a:'PrimitiveType} -> {b} -> {c:'Unit} -> 'String -> b -> 'Stream ('Primitive a b) 1412testdata/Builtins.lc 372:15-372:21 {a:'PrimitiveType} -> {b} -> {c:'Unit} -> 'String -> b -> 'Stream ('Primitive a b)
1413testdata/Builtins.lc 372:23-372:24 'PrimitiveType
1414testdata/Builtins.lc 372:23-372:24 V3
1415testdata/Builtins.lc 372:25-372:26 'String
1416testdata/Builtins.lc 372:25-372:26 V5
1417testdata/Builtins.lc 372:27-372:28 V0
1418testdata/Builtins.lc 372:27-372:28 V2
1249testdata/Builtins.lc 372:1-372:6 {a} -> 'String -> c:'PrimitiveType -> a -> 'Stream ('Primitive c a) 1419testdata/Builtins.lc 372:1-372:6 {a} -> 'String -> c:'PrimitiveType -> a -> 'Stream ('Primitive c a)
1250testdata/Builtins.lc 373:19-373:31 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b) 1420testdata/Builtins.lc 373:19-373:31 {a:'PrimitiveType} -> {b} -> {c} -> {d:'Unit} -> {e : b ~ 'FTRepr' c} -> c -> 'Stream ('Primitive a b)
1421testdata/Builtins.lc 373:33-373:34 'PrimitiveType
1422testdata/Builtins.lc 373:33-373:34 V3
1423testdata/Builtins.lc 373:35-373:36 V0
1424testdata/Builtins.lc 373:35-373:36 V2
1251testdata/Builtins.lc 373:1-373:12 {a} -> b:'PrimitiveType -> a -> 'Stream ('Primitive b ('FTRepr' a)) 1425testdata/Builtins.lc 373:1-373:12 {a} -> b:'PrimitiveType -> a -> 'Stream ('Primitive b ('FTRepr' a))
1252testdata/Builtins.lc 376:23-386:82 Type->Type 1426testdata/Builtins.lc 376:23-386:82 Type->Type
1253testdata/Builtins.lc 376:23-386:82 Type 1427testdata/Builtins.lc 376:23-386:82 Type
1254testdata/Builtins.lc 376:23-376:25 Type 1428testdata/Builtins.lc 376:23-376:25 Type
1255testdata/Builtins.lc 377:25-386:82 Type 1429testdata/Builtins.lc 377:25-386:82 Type
1430testdata/Builtins.lc 377:30-377:31 Type->Type
1431testdata/Builtins.lc 377:30-377:31 Type
1256testdata/Builtins.lc 377:25-377:26 Type 1432testdata/Builtins.lc 377:25-377:26 Type
1257testdata/Builtins.lc 378:19-386:82 Type 1433testdata/Builtins.lc 378:19-386:82 Type
1258testdata/Builtins.lc 378:39-378:45 Type -> Type->Type 1434testdata/Builtins.lc 378:39-383:44 Type -> Type->Type
1435testdata/Builtins.lc 378:39-383:44 Type->Type
1436testdata/Builtins.lc 378:39-383:44 Type
1259testdata/Builtins.lc 378:39-378:45 Type->Type 1437testdata/Builtins.lc 378:39-378:45 Type->Type
1260testdata/Builtins.lc 378:39-378:45 Type 1438testdata/Builtins.lc 378:39-378:45 Type
1439testdata/Builtins.lc 378:39-378:45 Type -> Type->Type
1440testdata/Builtins.lc 378:40-378:41 Type
1441testdata/Builtins.lc 378:43-378:44 Type
1442testdata/Builtins.lc 383:43-383:44 Type
1443testdata/Builtins.lc 383:43-383:44 Type->Type
1261testdata/Builtins.lc 378:19-378:35 Type 1444testdata/Builtins.lc 378:19-378:35 Type
1262testdata/Builtins.lc 379:19-386:82 Type 1445testdata/Builtins.lc 379:19-386:82 Type
1263testdata/Builtins.lc 379:48-384:58 Type -> Type -> Type->Type 1446testdata/Builtins.lc 379:48-384:58 Type -> Type -> Type->Type
@@ -1267,9 +1450,14 @@ testdata/Builtins.lc 379:48-384:58 Type
1267testdata/Builtins.lc 379:48-379:57 Type->Type 1450testdata/Builtins.lc 379:48-379:57 Type->Type
1268testdata/Builtins.lc 379:48-379:57 Type 1451testdata/Builtins.lc 379:48-379:57 Type
1269testdata/Builtins.lc 379:48-379:57 Type -> Type -> Type->Type 1452testdata/Builtins.lc 379:48-379:57 Type -> Type -> Type->Type
1453testdata/Builtins.lc 379:49-379:50 Type
1454testdata/Builtins.lc 379:52-379:53 Type
1455testdata/Builtins.lc 379:55-379:56 Type
1270testdata/Builtins.lc 384:52-384:58 Type 1456testdata/Builtins.lc 384:52-384:58 Type
1271testdata/Builtins.lc 384:52-384:58 Type->Type 1457testdata/Builtins.lc 384:52-384:58 Type->Type
1272testdata/Builtins.lc 384:52-384:58 Type -> Type->Type 1458testdata/Builtins.lc 384:52-384:58 Type -> Type->Type
1459testdata/Builtins.lc 384:53-384:54 Type
1460testdata/Builtins.lc 384:56-384:57 Type
1273testdata/Builtins.lc 379:19-379:44 Type 1461testdata/Builtins.lc 379:19-379:44 Type
1274testdata/Builtins.lc 380:19-386:82 Type 1462testdata/Builtins.lc 380:19-386:82 Type
1275testdata/Builtins.lc 380:57-385:70 Type -> Type -> Type -> Type->Type 1463testdata/Builtins.lc 380:57-385:70 Type -> Type -> Type -> Type->Type
@@ -1280,9 +1468,16 @@ testdata/Builtins.lc 380:57-385:70 Type
1280testdata/Builtins.lc 380:57-380:69 Type->Type 1468testdata/Builtins.lc 380:57-380:69 Type->Type
1281testdata/Builtins.lc 380:57-380:69 Type 1469testdata/Builtins.lc 380:57-380:69 Type
1282testdata/Builtins.lc 380:57-380:69 Type -> Type -> Type -> Type->Type 1470testdata/Builtins.lc 380:57-380:69 Type -> Type -> Type -> Type->Type
1471testdata/Builtins.lc 380:58-380:59 Type
1472testdata/Builtins.lc 380:61-380:62 Type
1473testdata/Builtins.lc 380:64-380:65 Type
1474testdata/Builtins.lc 380:67-380:68 Type
1283testdata/Builtins.lc 385:61-385:70 Type 1475testdata/Builtins.lc 385:61-385:70 Type
1284testdata/Builtins.lc 385:61-385:70 Type->Type 1476testdata/Builtins.lc 385:61-385:70 Type->Type
1285testdata/Builtins.lc 385:61-385:70 Type -> Type -> Type->Type 1477testdata/Builtins.lc 385:61-385:70 Type -> Type -> Type->Type
1478testdata/Builtins.lc 385:62-385:63 Type
1479testdata/Builtins.lc 385:65-385:66 Type
1480testdata/Builtins.lc 385:68-385:69 Type
1286testdata/Builtins.lc 380:19-380:53 Type 1481testdata/Builtins.lc 380:19-380:53 Type
1287testdata/Builtins.lc 381:19-386:82 Type 1482testdata/Builtins.lc 381:19-386:82 Type
1288testdata/Builtins.lc 381:66-386:82 Type -> Type -> Type -> Type -> Type->Type 1483testdata/Builtins.lc 381:66-386:82 Type -> Type -> Type -> Type -> Type->Type
@@ -1294,9 +1489,18 @@ testdata/Builtins.lc 381:66-386:82 Type
1294testdata/Builtins.lc 381:66-381:81 Type->Type 1489testdata/Builtins.lc 381:66-381:81 Type->Type
1295testdata/Builtins.lc 381:66-381:81 Type 1490testdata/Builtins.lc 381:66-381:81 Type
1296testdata/Builtins.lc 381:66-381:81 Type -> Type -> Type -> Type -> Type->Type 1491testdata/Builtins.lc 381:66-381:81 Type -> Type -> Type -> Type -> Type->Type
1492testdata/Builtins.lc 381:67-381:68 Type
1493testdata/Builtins.lc 381:70-381:71 Type
1494testdata/Builtins.lc 381:73-381:74 Type
1495testdata/Builtins.lc 381:76-381:77 Type
1496testdata/Builtins.lc 381:79-381:80 Type
1297testdata/Builtins.lc 386:70-386:82 Type 1497testdata/Builtins.lc 386:70-386:82 Type
1298testdata/Builtins.lc 386:70-386:82 Type->Type 1498testdata/Builtins.lc 386:70-386:82 Type->Type
1299testdata/Builtins.lc 386:70-386:82 Type -> Type -> Type -> Type->Type 1499testdata/Builtins.lc 386:70-386:82 Type -> Type -> Type -> Type->Type
1500testdata/Builtins.lc 386:71-386:72 Type
1501testdata/Builtins.lc 386:74-386:75 Type
1502testdata/Builtins.lc 386:77-386:78 Type
1503testdata/Builtins.lc 386:80-386:81 Type
1300testdata/Builtins.lc 381:19-381:62 Type 1504testdata/Builtins.lc 381:19-381:62 Type
1301testdata/Builtins.lc 382:25-382:36 Type 1505testdata/Builtins.lc 382:25-382:36 Type
1302testdata/Builtins.lc 382:34-382:36 Type->Type 1506testdata/Builtins.lc 382:34-382:36 Type->Type
@@ -1317,66 +1521,108 @@ testdata/Builtins.lc 391:46-391:47 Type
1317testdata/Builtins.lc 391:46-391:47 V1 1521testdata/Builtins.lc 391:46-391:47 V1
1318testdata/Builtins.lc 391:6-391:20 'Nat -> Type->Type 1522testdata/Builtins.lc 391:6-391:20 'Nat -> Type->Type
1319testdata/Builtins.lc 393:20-393:63 Type 1523testdata/Builtins.lc 393:20-393:63 Type
1320testdata/Builtins.lc 393:20-393:63 V3 1524testdata/Builtins.lc 393:20-393:21 V3
1321testdata/Builtins.lc 393:25-393:30 Type 1525testdata/Builtins.lc 393:25-393:30 Type
1526testdata/Builtins.lc 393:35-393:63 Type
1322testdata/Builtins.lc 393:35-393:43 'Nat -> Type->Type 1527testdata/Builtins.lc 393:35-393:43 'Nat -> Type->Type
1323testdata/Builtins.lc 393:20-393:63 'Nat 1528testdata/Builtins.lc 393:44-393:45 'Nat
1324testdata/Builtins.lc 393:20-393:63 V2 1529testdata/Builtins.lc 393:44-393:45 V2
1530testdata/Builtins.lc 393:46-393:47 Type
1531testdata/Builtins.lc 393:51-393:63 Type
1325testdata/Builtins.lc 393:51-393:59 'Nat -> Type->Type 1532testdata/Builtins.lc 393:51-393:59 'Nat -> Type->Type
1533testdata/Builtins.lc 393:60-393:61 'Nat
1534testdata/Builtins.lc 393:62-393:63 Type
1326testdata/Builtins.lc 393:1-393:15 {a} -> {b:'Nat} -> a->'Float -> 'Fragment b a -> 'Fragment b a 1535testdata/Builtins.lc 393:1-393:15 {a} -> {b:'Nat} -> a->'Float -> 'Fragment b a -> 'Fragment b a
1327testdata/Builtins.lc 395:21-395:30 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1536testdata/Builtins.lc 395:21-395:30 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1328testdata/Builtins.lc 395:32-395:46 V1->V1 1537testdata/Builtins.lc 395:32-395:48 V1->V1
1329testdata/Builtins.lc 395:32-395:46 {a} -> {b:'Nat} -> a->'Float -> 'Fragment b a -> 'Fragment b a 1538testdata/Builtins.lc 395:32-395:46 {a} -> {b:'Nat} -> a->'Float -> 'Fragment b a -> 'Fragment b a
1539testdata/Builtins.lc 395:47-395:48 V1->'Float
1540testdata/Builtins.lc 395:47-395:48 V5
1330testdata/Builtins.lc 395:1-395:16 {a} -> {b:'Nat} -> a->'Float -> 'Stream ('Fragment b a) -> 'Stream ('Fragment b a) 1541testdata/Builtins.lc 395:1-395:16 {a} -> {b:'Nat} -> a->'Float -> 'Stream ('Fragment b a) -> 'Stream ('Fragment b a)
1331testdata/Builtins.lc 397:21-401:55 Type 1542testdata/Builtins.lc 397:21-401:55 Type
1332testdata/Builtins.lc 397:21-401:55 V7 1543testdata/Builtins.lc 397:21-397:22 Type
1544testdata/Builtins.lc 397:21-397:22 V7
1545testdata/Builtins.lc 397:25-397:43 Type
1333testdata/Builtins.lc 397:25-397:41 Type->Type 1546testdata/Builtins.lc 397:25-397:41 Type->Type
1334testdata/Builtins.lc 397:21-401:55 V5 1547testdata/Builtins.lc 397:42-397:43 Type
1335testdata/Builtins.lc 397:21-401:55 V4 1548testdata/Builtins.lc 397:42-397:43 V5
1549testdata/Builtins.lc 397:45-401:55 Type
1550testdata/Builtins.lc 397:45-397:46 Type
1551testdata/Builtins.lc 397:45-397:46 V4
1552testdata/Builtins.lc 397:49-397:78 Type
1336testdata/Builtins.lc 397:49-397:62 Type -> Type->Type 1553testdata/Builtins.lc 397:49-397:62 Type -> Type->Type
1337testdata/Builtins.lc 397:64-397:75 Type 1554testdata/Builtins.lc 397:64-397:75 Type
1338testdata/Builtins.lc 397:64-397:67 'Nat -> Type->Type 1555testdata/Builtins.lc 397:64-397:67 'Nat -> Type->Type
1339testdata/Builtins.lc 397:70-397:75 Type 1556testdata/Builtins.lc 397:70-397:75 Type
1557testdata/Builtins.lc 397:77-397:78 Type
1558testdata/Builtins.lc 398:21-401:55 Type
1559testdata/Builtins.lc 398:21-398:22 Type
1340testdata/Builtins.lc 398:26-398:31 Type 1560testdata/Builtins.lc 398:26-398:31 Type
1561testdata/Builtins.lc 399:20-401:55 Type
1562testdata/Builtins.lc 399:20-399:21 Type
1563testdata/Builtins.lc 400:20-401:55 Type
1341testdata/Builtins.lc 400:20-400:33 'PrimitiveType->Type 1564testdata/Builtins.lc 400:20-400:33 'PrimitiveType->Type
1342testdata/Builtins.lc 397:21-401:55 'PrimitiveType 1565testdata/Builtins.lc 400:34-400:35 'PrimitiveType
1566testdata/Builtins.lc 400:34-400:35 V5
1567testdata/Builtins.lc 401:20-401:55 Type
1343testdata/Builtins.lc 401:20-401:29 'PrimitiveType -> Type->Type 1568testdata/Builtins.lc 401:20-401:29 'PrimitiveType -> Type->Type
1569testdata/Builtins.lc 401:30-401:31 'PrimitiveType
1570testdata/Builtins.lc 401:32-401:33 Type
1571testdata/Builtins.lc 401:37-401:55 Type
1344testdata/Builtins.lc 401:37-401:51 'Nat -> Type->Type 1572testdata/Builtins.lc 401:37-401:51 'Nat -> Type->Type
1573testdata/Builtins.lc 401:54-401:55 Type
1345testdata/Builtins.lc 397:1-397:11 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) a) 1574testdata/Builtins.lc 397:1-397:11 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) a)
1346testdata/Builtins.lc 403:20-403:54 Type 1575testdata/Builtins.lc 403:20-403:54 Type
1347testdata/Builtins.lc 403:20-403:54 V3 1576testdata/Builtins.lc 403:20-403:21 V3
1348testdata/Builtins.lc 403:25-403:29 Type 1577testdata/Builtins.lc 403:25-403:29 Type
1578testdata/Builtins.lc 403:34-403:54 Type
1349testdata/Builtins.lc 403:34-403:42 'Nat -> Type->Type 1579testdata/Builtins.lc 403:34-403:42 'Nat -> Type->Type
1350testdata/Builtins.lc 403:20-403:54 'Nat 1580testdata/Builtins.lc 403:43-403:44 'Nat
1351testdata/Builtins.lc 403:20-403:54 V2 1581testdata/Builtins.lc 403:43-403:44 V2
1582testdata/Builtins.lc 403:45-403:46 Type
1352testdata/Builtins.lc 403:50-403:54 Type 1583testdata/Builtins.lc 403:50-403:54 Type
1353testdata/Builtins.lc 403:1-403:15 {a} -> {b:'Nat} -> a->'Bool -> 'Fragment b a -> 'Bool 1584testdata/Builtins.lc 403:1-403:15 {a} -> {b:'Nat} -> a->'Bool -> 'Fragment b a -> 'Bool
1354testdata/Builtins.lc 405:21-405:78 Type 1585testdata/Builtins.lc 405:21-405:78 Type
1355testdata/Builtins.lc 405:21-405:78 V3 1586testdata/Builtins.lc 405:21-405:22 V3
1356testdata/Builtins.lc 405:26-405:30 Type 1587testdata/Builtins.lc 405:26-405:30 Type
1588testdata/Builtins.lc 405:36-405:78 Type
1357testdata/Builtins.lc 405:36-405:50 'Nat -> Type->Type 1589testdata/Builtins.lc 405:36-405:50 'Nat -> Type->Type
1358testdata/Builtins.lc 405:21-405:78 'Nat 1590testdata/Builtins.lc 405:51-405:52 'Nat
1359testdata/Builtins.lc 405:21-405:78 V2 1591testdata/Builtins.lc 405:51-405:52 V2
1592testdata/Builtins.lc 405:53-405:54 Type
1593testdata/Builtins.lc 405:60-405:78 Type
1360testdata/Builtins.lc 405:60-405:74 'Nat -> Type->Type 1594testdata/Builtins.lc 405:60-405:74 'Nat -> Type->Type
1361testdata/Builtins.lc 406:21-406:49 {a} -> {b:'Nat} -> a->'Bool -> 'Stream ('Fragment b a) -> 'Stream ('Fragment b a) 1595testdata/Builtins.lc 405:75-405:76 'Nat
1362testdata/Builtins.lc 406:21-406:49 {a:'Nat} -> V1->'Bool -> 'Stream ('Fragment a V2) -> 'Stream ('Fragment a V3) 1596testdata/Builtins.lc 405:77-405:78 Type
1363testdata/Builtins.lc 406:21-406:49 V1->'Bool -> 'Stream ('Fragment V1 V2) -> 'Stream ('Fragment V2 V3) 1597testdata/Builtins.lc 406:21-406:51 {a} -> {b:'Nat} -> a->'Bool -> 'Stream ('Fragment b a) -> 'Stream ('Fragment b a)
1364testdata/Builtins.lc 406:21-406:49 'Stream ('Fragment V1 V2) -> 'Stream ('Fragment V2 V3) 1598testdata/Builtins.lc 406:21-406:51 {a:'Nat} -> V1->'Bool -> 'Stream ('Fragment a V2) -> 'Stream ('Fragment a V3)
1599testdata/Builtins.lc 406:21-406:51 V1->'Bool -> 'Stream ('Fragment V1 V2) -> 'Stream ('Fragment V2 V3)
1600testdata/Builtins.lc 406:21-406:51 'Stream ('Fragment V1 V2) -> 'Stream ('Fragment V2 V3)
1365testdata/Builtins.lc 406:21-406:33 {a} -> a->'Bool -> 'Stream a -> 'Stream a 1601testdata/Builtins.lc 406:21-406:33 {a} -> a->'Bool -> 'Stream a -> 'Stream a
1366testdata/Builtins.lc 406:35-406:49 V0->'Bool 1602testdata/Builtins.lc 406:35-406:51 V0->'Bool
1367testdata/Builtins.lc 406:35-406:49 {a} -> {b:'Nat} -> a->'Bool -> 'Fragment b a -> 'Bool 1603testdata/Builtins.lc 406:35-406:49 {a} -> {b:'Nat} -> a->'Bool -> 'Fragment b a -> 'Bool
1604testdata/Builtins.lc 406:50-406:51 V1->'Bool
1605testdata/Builtins.lc 406:50-406:51 V5->'Bool
1368testdata/Builtins.lc 406:1-406:16 {a} -> {b:'Nat} -> a->'Bool -> 'Stream ('Fragment b a) -> 'Stream ('Fragment b a) 1606testdata/Builtins.lc 406:1-406:16 {a} -> {b:'Nat} -> a->'Bool -> 'Stream ('Fragment b a) -> 'Stream ('Fragment b a)
1369testdata/Builtins.lc 408:17-408:56 Type 1607testdata/Builtins.lc 408:17-408:56 Type
1370testdata/Builtins.lc 408:17-408:56 V5 1608testdata/Builtins.lc 408:17-408:18 V5
1371testdata/Builtins.lc 408:17-408:56 V4 1609testdata/Builtins.lc 408:22-408:23 Type
1610testdata/Builtins.lc 408:22-408:23 V4
1611testdata/Builtins.lc 408:28-408:56 Type
1372testdata/Builtins.lc 408:28-408:36 'Nat -> Type->Type 1612testdata/Builtins.lc 408:28-408:36 'Nat -> Type->Type
1373testdata/Builtins.lc 408:17-408:56 'Nat 1613testdata/Builtins.lc 408:37-408:38 'Nat
1374testdata/Builtins.lc 408:17-408:56 V2 1614testdata/Builtins.lc 408:37-408:38 V2
1615testdata/Builtins.lc 408:39-408:40 Type
1616testdata/Builtins.lc 408:44-408:56 Type
1375testdata/Builtins.lc 408:44-408:52 'Nat -> Type->Type 1617testdata/Builtins.lc 408:44-408:52 'Nat -> Type->Type
1618testdata/Builtins.lc 408:53-408:54 'Nat
1619testdata/Builtins.lc 408:55-408:56 Type
1376testdata/Builtins.lc 408:1-408:12 {a} -> {b} -> {c:'Nat} -> a->b -> 'Fragment c a -> 'Fragment c b 1620testdata/Builtins.lc 408:1-408:12 {a} -> {b} -> {c:'Nat} -> a->b -> 'Fragment c a -> 'Fragment c b
1377testdata/Builtins.lc 410:18-410:27 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b 1621testdata/Builtins.lc 410:18-410:27 {a} -> {b} -> a->b -> 'Stream a -> 'Stream b
1378testdata/Builtins.lc 410:29-410:40 V1->V1 1622testdata/Builtins.lc 410:29-410:42 V1->V1
1379testdata/Builtins.lc 410:29-410:40 {a} -> {b} -> {c:'Nat} -> a->b -> 'Fragment c a -> 'Fragment c b 1623testdata/Builtins.lc 410:29-410:40 {a} -> {b} -> {c:'Nat} -> a->b -> 'Fragment c a -> 'Fragment c b
1624testdata/Builtins.lc 410:41-410:42 V2->V2
1625testdata/Builtins.lc 410:41-410:42 V6
1380testdata/Builtins.lc 410:1-410:13 {a} -> {b} -> {c:'Nat} -> a->b -> 'Stream ('Fragment c a) -> 'Stream ('Fragment c b) 1626testdata/Builtins.lc 410:1-410:13 {a} -> {b} -> {c:'Nat} -> a->b -> 'Stream ('Fragment c a) -> 'Stream ('Fragment c b)
1381testdata/Builtins.lc 415:13-415:26 Type->Type 1627testdata/Builtins.lc 415:13-415:26 Type->Type
1382testdata/Builtins.lc 420:13-420:28 Type->Type 1628testdata/Builtins.lc 420:13-420:28 Type->Type
@@ -1454,22 +1700,38 @@ testdata/Builtins.lc 432:3-432:13 {a:'Nat} -> {b} -> 'FragOps' b -> 'Stream ('F
1454testdata/Builtins.lc 433:20-433:117 Type 1700testdata/Builtins.lc 433:20-433:117 Type
1455testdata/Builtins.lc 433:20-433:36 Type->Type 1701testdata/Builtins.lc 433:20-433:36 Type->Type
1456testdata/Builtins.lc 433:37-433:38 Type 1702testdata/Builtins.lc 433:37-433:38 Type
1703testdata/Builtins.lc 433:40-433:117 Type
1457testdata/Builtins.lc 433:40-433:55 Type->Type 1704testdata/Builtins.lc 433:40-433:55 Type->Type
1458testdata/Builtins.lc 433:20-433:117 V2 1705testdata/Builtins.lc 433:56-433:57 Type
1706testdata/Builtins.lc 433:56-433:57 V2
1707testdata/Builtins.lc 433:59-433:117 Type
1459testdata/Builtins.lc 433:59-433:74 Type 1708testdata/Builtins.lc 433:59-433:74 Type
1460testdata/Builtins.lc 433:59-433:70 'Nat -> Type->Type 1709testdata/Builtins.lc 433:59-433:70 'Nat -> Type->Type
1461testdata/Builtins.lc 433:71-433:72 'Nat 1710testdata/Builtins.lc 433:71-433:72 'Nat
1462testdata/Builtins.lc 433:73-433:74 Type 1711testdata/Builtins.lc 433:73-433:74 Type
1712testdata/Builtins.lc 433:77-433:92 Type
1463testdata/Builtins.lc 433:77-433:90 Type->Type 1713testdata/Builtins.lc 433:77-433:90 Type->Type
1714testdata/Builtins.lc 433:91-433:92 Type
1715testdata/Builtins.lc 433:97-433:117 Type
1716testdata/Builtins.lc 433:97-433:98 Type
1464testdata/Builtins.lc 433:102-433:117 Type 1717testdata/Builtins.lc 433:102-433:117 Type
1465testdata/Builtins.lc 433:102-433:113 'Nat -> Type->Type 1718testdata/Builtins.lc 433:102-433:113 'Nat -> Type->Type
1466testdata/Builtins.lc 433:114-433:115 'Nat 1719testdata/Builtins.lc 433:114-433:115 'Nat
1467testdata/Builtins.lc 433:116-433:117 Type 1720testdata/Builtins.lc 433:116-433:117 Type
1468testdata/Builtins.lc 433:3-433:14 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b 1721testdata/Builtins.lc 433:3-433:14 {a:'Nat} -> {b} -> {c} -> {d : 'SameLayerCounts c} -> {e : 'FrameBuffer a b ~ 'TFFrameBuffer c} -> c -> 'FrameBuffer a b
1469testdata/Builtins.lc 435:34-435:44 {a:'Nat} -> {b} -> 'FragOps' b -> 'Stream ('Fragment a ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b 1722testdata/Builtins.lc 435:34-435:44 {a:'Nat} -> {b} -> 'FragOps' b -> 'Stream ('Fragment a ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b
1470testdata/Builtins.lc 435:50-435:62 'Stream ('Fragment V1 ('RemSemantics V0)) 1723testdata/Builtins.lc 435:45-435:48 'FragOps' V0
1724testdata/Builtins.lc 435:45-435:48 V9
1725testdata/Builtins.lc 435:50-435:75 'Stream ('Fragment V1 ('RemSemantics V0))
1471testdata/Builtins.lc 435:50-435:62 {a} -> {b} -> {c:'Nat} -> a->b -> 'Stream ('Fragment c a) -> 'Stream ('Fragment c b) 1726testdata/Builtins.lc 435:50-435:62 {a} -> {b} -> {c:'Nat} -> a->b -> 'Stream ('Fragment c a) -> 'Stream ('Fragment c b)
1727testdata/Builtins.lc 435:63-435:70 V2->V2
1728testdata/Builtins.lc 435:63-435:70 V10
1729testdata/Builtins.lc 435:71-435:75 'Stream ('Fragment V2 V0)
1730testdata/Builtins.lc 435:71-435:75 V6
1731testdata/Builtins.lc 435:77-435:79 'FrameBuffer V2 V1
1732testdata/Builtins.lc 435:77-435:79 V4
1472testdata/Builtins.lc 435:1-435:11 {a:'Nat} -> {b} -> {c} -> 'FragOps' b -> (c -> 'RemSemantics b) -> 'Stream ('Fragment a c) -> 'FrameBuffer a b -> 'FrameBuffer a b 1733testdata/Builtins.lc 435:1-435:11 {a:'Nat} -> {b} -> {c} -> 'FragOps' b -> (c -> 'RemSemantics b) -> 'Stream ('Fragment a c) -> 'FrameBuffer a b -> 'FrameBuffer a b
1734testdata/Builtins.lc 437:25-437:26 V1
1473testdata/Builtins.lc 437:1-437:20 {a} -> a->a 1735testdata/Builtins.lc 437:1-437:20 {a} -> a->a
1474testdata/Builtins.lc 439:15-439:18 Type 1736testdata/Builtins.lc 439:15-439:18 Type
1475testdata/Builtins.lc 439:22-439:34 Type 1737testdata/Builtins.lc 439:22-439:34 Type
@@ -1520,8 +1782,11 @@ testdata/Builtins.lc 443:64-443:67 Type
1520testdata/Builtins.lc 443:3-443:15 {a:'Nat} -> 'Int -> 'Image a ('Stencil 'Int) 1782testdata/Builtins.lc 443:3-443:15 {a:'Nat} -> 'Int -> 'Image a ('Stencil 'Int)
1521testdata/Builtins.lc 446:26-446:54 Type 1783testdata/Builtins.lc 446:26-446:54 Type
1522testdata/Builtins.lc 446:26-446:37 'Nat -> Type->Type 1784testdata/Builtins.lc 446:26-446:37 'Nat -> Type->Type
1523testdata/Builtins.lc 446:26-446:54 V1 1785testdata/Builtins.lc 446:40-446:41 Type
1786testdata/Builtins.lc 446:40-446:41 V1
1787testdata/Builtins.lc 446:45-446:54 Type
1524testdata/Builtins.lc 446:45-446:50 'Nat -> Type->Type 1788testdata/Builtins.lc 446:45-446:50 'Nat -> Type->Type
1789testdata/Builtins.lc 446:53-446:54 Type
1525testdata/Builtins.lc 446:3-446:11 {a} -> 'FrameBuffer (Succ Zero) a -> 'Image (Succ Zero) a 1790testdata/Builtins.lc 446:3-446:11 {a} -> 'FrameBuffer (Succ Zero) a -> 'Image (Succ Zero) a
1526testdata/Builtins.lc 447:26-447:37 'Nat -> Type->Type 1791testdata/Builtins.lc 447:26-447:37 'Nat -> Type->Type
1527testdata/Builtins.lc 447:40-447:74 Type 1792testdata/Builtins.lc 447:40-447:74 Type
@@ -1548,101 +1813,195 @@ testdata/Builtins.lc 442:53-447:105 Type
1548testdata/Builtins.lc 442:53-442:67 Type 1813testdata/Builtins.lc 442:53-442:67 Type
1549testdata/Builtins.lc 443:53-447:105 Type 1814testdata/Builtins.lc 443:53-447:105 Type
1550testdata/Builtins.lc 443:53-443:67 Type 1815testdata/Builtins.lc 443:53-443:67 Type
1551testdata/Builtins.lc 446:26-447:105 Type 1816testdata/Builtins.lc 446:53-447:105 Type
1552testdata/Builtins.lc 449:6-449:12 Type 1817testdata/Builtins.lc 449:6-449:12 Type
1553testdata/Builtins.lc 450:26-450:51 Type 1818testdata/Builtins.lc 450:26-450:51 Type
1554testdata/Builtins.lc 450:26-450:37 'Nat -> Type->Type 1819testdata/Builtins.lc 450:26-450:37 'Nat -> Type->Type
1555testdata/Builtins.lc 450:26-450:51 'Nat 1820testdata/Builtins.lc 450:38-450:39 'Nat
1556testdata/Builtins.lc 450:26-450:51 V3 1821testdata/Builtins.lc 450:38-450:39 V3
1557testdata/Builtins.lc 450:26-450:51 V1 1822testdata/Builtins.lc 450:40-450:41 Type
1823testdata/Builtins.lc 450:40-450:41 V1
1558testdata/Builtins.lc 450:45-450:51 Type 1824testdata/Builtins.lc 450:45-450:51 Type
1559testdata/Builtins.lc 450:3-450:12 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output 1825testdata/Builtins.lc 450:3-450:12 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Output
1560testdata/Builtins.lc 456:34-456:73 Type 1826testdata/Builtins.lc 456:34-456:73 Type
1561testdata/Builtins.lc 456:34-456:37 Type->Type 1827testdata/Builtins.lc 456:34-456:37 Type->Type
1828testdata/Builtins.lc 456:39-456:57 Type
1562testdata/Builtins.lc 456:39-456:55 Type->Type 1829testdata/Builtins.lc 456:39-456:55 Type->Type
1563testdata/Builtins.lc 456:34-456:73 V1 1830testdata/Builtins.lc 456:56-456:57 Type
1831testdata/Builtins.lc 456:56-456:57 V1
1832testdata/Builtins.lc 456:62-456:73 Type
1833testdata/Builtins.lc 456:62-456:63 Type
1834testdata/Builtins.lc 456:67-456:73 Type
1835testdata/Builtins.lc 456:67-456:68 Type
1836testdata/Builtins.lc 456:72-456:73 Type
1564testdata/Builtins.lc 456:1-456:8 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a 1837testdata/Builtins.lc 456:1-456:8 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
1565testdata/Builtins.lc 456:10-456:17 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a 1838testdata/Builtins.lc 456:10-456:17 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
1566testdata/Builtins.lc 456:19-456:26 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a 1839testdata/Builtins.lc 456:19-456:26 {a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> a->a
1567testdata/Builtins.lc 457:35-457:80 Type 1840testdata/Builtins.lc 457:35-457:80 Type
1568testdata/Builtins.lc 457:35-457:80 V3 1841testdata/Builtins.lc 457:35-457:36 Type
1842testdata/Builtins.lc 457:35-457:36 V3
1843testdata/Builtins.lc 457:39-457:57 Type
1569testdata/Builtins.lc 457:39-457:55 Type->Type 1844testdata/Builtins.lc 457:39-457:55 Type->Type
1570testdata/Builtins.lc 457:35-457:80 V1 1845testdata/Builtins.lc 457:56-457:57 Type
1846testdata/Builtins.lc 457:56-457:57 V1
1847testdata/Builtins.lc 457:59-457:80 Type
1571testdata/Builtins.lc 457:59-457:62 Type->Type 1848testdata/Builtins.lc 457:59-457:62 Type->Type
1849testdata/Builtins.lc 457:63-457:64 Type
1850testdata/Builtins.lc 457:69-457:80 Type
1851testdata/Builtins.lc 457:69-457:70 Type
1852testdata/Builtins.lc 457:74-457:80 Type
1853testdata/Builtins.lc 457:74-457:75 Type
1854testdata/Builtins.lc 457:79-457:80 Type
1572testdata/Builtins.lc 457:1-457:9 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b 1855testdata/Builtins.lc 457:1-457:9 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
1573testdata/Builtins.lc 457:11-457:19 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b 1856testdata/Builtins.lc 457:11-457:19 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
1574testdata/Builtins.lc 457:21-457:29 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b 1857testdata/Builtins.lc 457:21-457:29 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> {d : 'Num a} -> b -> a->b
1575testdata/Builtins.lc 458:35-458:75 Type 1858testdata/Builtins.lc 458:35-458:75 Type
1576testdata/Builtins.lc 458:35-458:38 Type->Type 1859testdata/Builtins.lc 458:35-458:38 Type->Type
1577testdata/Builtins.lc 458:35-458:75 V5 1860testdata/Builtins.lc 458:39-458:40 Type
1578testdata/Builtins.lc 458:35-458:75 V4 1861testdata/Builtins.lc 458:39-458:40 V5
1862testdata/Builtins.lc 458:42-458:75 Type
1863testdata/Builtins.lc 458:42-458:43 Type
1864testdata/Builtins.lc 458:42-458:43 V4
1865testdata/Builtins.lc 458:46-458:59 Type
1579testdata/Builtins.lc 458:46-458:55 'Nat -> Type->Type 1866testdata/Builtins.lc 458:46-458:55 'Nat -> Type->Type
1580testdata/Builtins.lc 458:35-458:75 'Nat 1867testdata/Builtins.lc 458:56-458:57 'Nat
1581testdata/Builtins.lc 458:35-458:75 V2 1868testdata/Builtins.lc 458:56-458:57 V2
1869testdata/Builtins.lc 458:58-458:59 Type
1870testdata/Builtins.lc 458:64-458:75 Type
1871testdata/Builtins.lc 458:64-458:65 Type
1872testdata/Builtins.lc 458:69-458:75 Type
1873testdata/Builtins.lc 458:69-458:70 Type
1874testdata/Builtins.lc 458:74-458:75 Type
1582testdata/Builtins.lc 458:1-458:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1875testdata/Builtins.lc 458:1-458:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1583testdata/Builtins.lc 458:10-458:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1876testdata/Builtins.lc 458:10-458:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1584testdata/Builtins.lc 459:35-459:75 Type 1877testdata/Builtins.lc 459:35-459:75 Type
1585testdata/Builtins.lc 459:35-459:38 Type->Type 1878testdata/Builtins.lc 459:35-459:38 Type->Type
1586testdata/Builtins.lc 459:35-459:75 V5 1879testdata/Builtins.lc 459:39-459:40 Type
1587testdata/Builtins.lc 459:35-459:75 V4 1880testdata/Builtins.lc 459:39-459:40 V5
1881testdata/Builtins.lc 459:42-459:75 Type
1882testdata/Builtins.lc 459:42-459:43 Type
1883testdata/Builtins.lc 459:42-459:43 V4
1884testdata/Builtins.lc 459:46-459:59 Type
1588testdata/Builtins.lc 459:46-459:55 'Nat -> Type->Type 1885testdata/Builtins.lc 459:46-459:55 'Nat -> Type->Type
1589testdata/Builtins.lc 459:35-459:75 'Nat 1886testdata/Builtins.lc 459:56-459:57 'Nat
1590testdata/Builtins.lc 459:35-459:75 V2 1887testdata/Builtins.lc 459:56-459:57 V2
1888testdata/Builtins.lc 459:58-459:59 Type
1889testdata/Builtins.lc 459:64-459:75 Type
1890testdata/Builtins.lc 459:64-459:65 Type
1891testdata/Builtins.lc 459:69-459:75 Type
1892testdata/Builtins.lc 459:69-459:70 Type
1893testdata/Builtins.lc 459:74-459:75 Type
1591testdata/Builtins.lc 459:1-459:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1894testdata/Builtins.lc 459:1-459:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1592testdata/Builtins.lc 459:11-459:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1895testdata/Builtins.lc 459:11-459:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1593testdata/Builtins.lc 460:34-460:71 Type 1896testdata/Builtins.lc 460:34-460:71 Type
1594testdata/Builtins.lc 460:34-460:40 Type->Type 1897testdata/Builtins.lc 460:34-460:40 Type->Type
1898testdata/Builtins.lc 460:42-460:60 Type
1595testdata/Builtins.lc 460:42-460:58 Type->Type 1899testdata/Builtins.lc 460:42-460:58 Type->Type
1596testdata/Builtins.lc 460:34-460:71 V1 1900testdata/Builtins.lc 460:59-460:60 Type
1901testdata/Builtins.lc 460:59-460:60 V1
1902testdata/Builtins.lc 460:65-460:71 Type
1903testdata/Builtins.lc 460:65-460:66 Type
1904testdata/Builtins.lc 460:70-460:71 Type
1597testdata/Builtins.lc 460:1-460:8 {a} -> {b : 'Signed ('MatVecScalarElem a)} -> a->a 1905testdata/Builtins.lc 460:1-460:8 {a} -> {b : 'Signed ('MatVecScalarElem a)} -> a->a
1598testdata/Builtins.lc 462:35-462:80 Type 1906testdata/Builtins.lc 462:35-462:80 Type
1599testdata/Builtins.lc 462:35-462:43 Type->Type 1907testdata/Builtins.lc 462:35-462:43 Type->Type
1600testdata/Builtins.lc 462:35-462:80 V5 1908testdata/Builtins.lc 462:44-462:45 Type
1601testdata/Builtins.lc 462:35-462:80 V4 1909testdata/Builtins.lc 462:44-462:45 V5
1910testdata/Builtins.lc 462:47-462:80 Type
1911testdata/Builtins.lc 462:47-462:48 Type
1912testdata/Builtins.lc 462:47-462:48 V4
1913testdata/Builtins.lc 462:51-462:64 Type
1602testdata/Builtins.lc 462:51-462:60 'Nat -> Type->Type 1914testdata/Builtins.lc 462:51-462:60 'Nat -> Type->Type
1603testdata/Builtins.lc 462:35-462:80 'Nat 1915testdata/Builtins.lc 462:61-462:62 'Nat
1604testdata/Builtins.lc 462:35-462:80 V2 1916testdata/Builtins.lc 462:61-462:62 V2
1917testdata/Builtins.lc 462:63-462:64 Type
1918testdata/Builtins.lc 462:69-462:80 Type
1919testdata/Builtins.lc 462:69-462:70 Type
1920testdata/Builtins.lc 462:74-462:80 Type
1921testdata/Builtins.lc 462:74-462:75 Type
1922testdata/Builtins.lc 462:79-462:80 Type
1605testdata/Builtins.lc 462:1-462:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1923testdata/Builtins.lc 462:1-462:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1606testdata/Builtins.lc 462:11-462:18 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1924testdata/Builtins.lc 462:11-462:18 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1607testdata/Builtins.lc 462:20-462:28 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 1925testdata/Builtins.lc 462:20-462:28 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1608testdata/Builtins.lc 463:35-463:80 Type 1926testdata/Builtins.lc 463:35-463:80 Type
1609testdata/Builtins.lc 463:35-463:43 Type->Type 1927testdata/Builtins.lc 463:35-463:43 Type->Type
1610testdata/Builtins.lc 463:35-463:80 V5 1928testdata/Builtins.lc 463:44-463:45 Type
1611testdata/Builtins.lc 463:35-463:80 V4 1929testdata/Builtins.lc 463:44-463:45 V5
1930testdata/Builtins.lc 463:47-463:80 Type
1931testdata/Builtins.lc 463:47-463:48 Type
1932testdata/Builtins.lc 463:47-463:48 V4
1933testdata/Builtins.lc 463:51-463:64 Type
1612testdata/Builtins.lc 463:51-463:60 'Nat -> Type->Type 1934testdata/Builtins.lc 463:51-463:60 'Nat -> Type->Type
1613testdata/Builtins.lc 463:35-463:80 'Nat 1935testdata/Builtins.lc 463:61-463:62 'Nat
1614testdata/Builtins.lc 463:35-463:80 V2 1936testdata/Builtins.lc 463:61-463:62 V2
1937testdata/Builtins.lc 463:63-463:64 Type
1938testdata/Builtins.lc 463:69-463:80 Type
1939testdata/Builtins.lc 463:69-463:70 Type
1940testdata/Builtins.lc 463:74-463:80 Type
1941testdata/Builtins.lc 463:74-463:75 Type
1942testdata/Builtins.lc 463:79-463:80 Type
1615testdata/Builtins.lc 463:1-463:10 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1943testdata/Builtins.lc 463:1-463:10 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1616testdata/Builtins.lc 463:12-463:20 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1944testdata/Builtins.lc 463:12-463:20 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1617testdata/Builtins.lc 463:22-463:31 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 1945testdata/Builtins.lc 463:22-463:31 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1618testdata/Builtins.lc 464:35-464:75 Type 1946testdata/Builtins.lc 464:35-464:75 Type
1619testdata/Builtins.lc 464:35-464:43 Type->Type 1947testdata/Builtins.lc 464:35-464:43 Type->Type
1620testdata/Builtins.lc 464:35-464:75 V5 1948testdata/Builtins.lc 464:44-464:45 Type
1621testdata/Builtins.lc 464:35-464:75 V4 1949testdata/Builtins.lc 464:44-464:45 V5
1950testdata/Builtins.lc 464:47-464:75 Type
1951testdata/Builtins.lc 464:47-464:48 Type
1952testdata/Builtins.lc 464:47-464:48 V4
1953testdata/Builtins.lc 464:51-464:64 Type
1622testdata/Builtins.lc 464:51-464:60 'Nat -> Type->Type 1954testdata/Builtins.lc 464:51-464:60 'Nat -> Type->Type
1623testdata/Builtins.lc 464:35-464:75 'Nat 1955testdata/Builtins.lc 464:61-464:62 'Nat
1624testdata/Builtins.lc 464:35-464:75 V2 1956testdata/Builtins.lc 464:61-464:62 V2
1957testdata/Builtins.lc 464:63-464:64 Type
1958testdata/Builtins.lc 464:69-464:75 Type
1959testdata/Builtins.lc 464:69-464:70 Type
1960testdata/Builtins.lc 464:74-464:75 Type
1625testdata/Builtins.lc 464:1-464:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b->b 1961testdata/Builtins.lc 464:1-464:9 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b->b
1626testdata/Builtins.lc 465:35-465:102 Type 1962testdata/Builtins.lc 465:35-465:102 Type
1627testdata/Builtins.lc 465:35-465:43 Type->Type 1963testdata/Builtins.lc 465:35-465:43 Type->Type
1628testdata/Builtins.lc 465:35-465:102 V7 1964testdata/Builtins.lc 465:44-465:45 Type
1629testdata/Builtins.lc 465:35-465:102 V6 1965testdata/Builtins.lc 465:44-465:45 V7
1966testdata/Builtins.lc 465:47-465:102 Type
1967testdata/Builtins.lc 465:47-465:48 Type
1968testdata/Builtins.lc 465:47-465:48 V6
1969testdata/Builtins.lc 465:51-465:64 Type
1630testdata/Builtins.lc 465:51-465:60 'Nat -> Type->Type 1970testdata/Builtins.lc 465:51-465:60 'Nat -> Type->Type
1631testdata/Builtins.lc 465:35-465:102 'Nat 1971testdata/Builtins.lc 465:61-465:62 'Nat
1632testdata/Builtins.lc 465:35-465:102 V4 1972testdata/Builtins.lc 465:61-465:62 V4
1633testdata/Builtins.lc 465:35-465:102 V3 1973testdata/Builtins.lc 465:63-465:64 Type
1974testdata/Builtins.lc 465:66-465:102 Type
1975testdata/Builtins.lc 465:66-465:67 Type
1976testdata/Builtins.lc 465:66-465:67 V3
1977testdata/Builtins.lc 465:70-465:86 Type
1634testdata/Builtins.lc 465:70-465:79 'Nat -> Type->Type 1978testdata/Builtins.lc 465:70-465:79 'Nat -> Type->Type
1979testdata/Builtins.lc 465:80-465:81 'Nat
1635testdata/Builtins.lc 465:82-465:86 Type 1980testdata/Builtins.lc 465:82-465:86 Type
1981testdata/Builtins.lc 465:91-465:102 Type
1982testdata/Builtins.lc 465:91-465:92 Type
1983testdata/Builtins.lc 465:96-465:102 Type
1984testdata/Builtins.lc 465:96-465:97 Type
1985testdata/Builtins.lc 465:101-465:102 Type
1636testdata/Builtins.lc 465:1-465:12 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b 1986testdata/Builtins.lc 465:1-465:12 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b
1637testdata/Builtins.lc 465:14-465:25 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b 1987testdata/Builtins.lc 465:14-465:25 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Integral a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Word} -> b -> d->b
1638testdata/Builtins.lc 466:35-466:83 Type 1988testdata/Builtins.lc 466:35-466:83 Type
1639testdata/Builtins.lc 466:35-466:43 Type->Type 1989testdata/Builtins.lc 466:35-466:43 Type->Type
1640testdata/Builtins.lc 466:35-466:83 V5 1990testdata/Builtins.lc 466:44-466:45 Type
1641testdata/Builtins.lc 466:35-466:83 V4 1991testdata/Builtins.lc 466:44-466:45 V5
1992testdata/Builtins.lc 466:47-466:83 Type
1993testdata/Builtins.lc 466:47-466:48 Type
1994testdata/Builtins.lc 466:47-466:48 V4
1995testdata/Builtins.lc 466:51-466:64 Type
1642testdata/Builtins.lc 466:51-466:60 'Nat -> Type->Type 1996testdata/Builtins.lc 466:51-466:60 'Nat -> Type->Type
1643testdata/Builtins.lc 466:35-466:83 'Nat 1997testdata/Builtins.lc 466:61-466:62 'Nat
1644testdata/Builtins.lc 466:35-466:83 V2 1998testdata/Builtins.lc 466:61-466:62 V2
1999testdata/Builtins.lc 466:63-466:64 Type
2000testdata/Builtins.lc 466:69-466:83 Type
2001testdata/Builtins.lc 466:69-466:70 Type
2002testdata/Builtins.lc 466:74-466:83 Type
1645testdata/Builtins.lc 466:74-466:78 Type 2003testdata/Builtins.lc 466:74-466:78 Type
2004testdata/Builtins.lc 466:82-466:83 Type
1646testdata/Builtins.lc 466:1-466:13 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b 2005testdata/Builtins.lc 466:1-466:13 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b
1647testdata/Builtins.lc 466:15-466:27 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b 2006testdata/Builtins.lc 466:15-466:27 {a} -> {b} -> {c:'Nat} -> {d : 'Integral a} -> {e : b ~ 'VecScalar c a} -> b -> 'Word->b
1648testdata/Builtins.lc 468:34-468:38 Type 2007testdata/Builtins.lc 468:34-468:38 Type
@@ -1653,26 +2012,36 @@ testdata/Builtins.lc 468:1-468:8 'Bool -> 'Bool->'Bool
1653testdata/Builtins.lc 468:10-468:16 'Bool -> 'Bool->'Bool 2012testdata/Builtins.lc 468:10-468:16 'Bool -> 'Bool->'Bool
1654testdata/Builtins.lc 468:18-468:25 'Bool -> 'Bool->'Bool 2013testdata/Builtins.lc 468:18-468:25 'Bool -> 'Bool->'Bool
1655testdata/Builtins.lc 469:35-469:66 Type 2014testdata/Builtins.lc 469:35-469:66 Type
1656testdata/Builtins.lc 469:35-469:66 V3 2015testdata/Builtins.lc 469:35-469:36 Type
2016testdata/Builtins.lc 469:35-469:36 V3
2017testdata/Builtins.lc 469:39-469:55 Type
1657testdata/Builtins.lc 469:39-469:48 'Nat -> Type->Type 2018testdata/Builtins.lc 469:39-469:48 'Nat -> Type->Type
1658testdata/Builtins.lc 469:35-469:66 'Nat 2019testdata/Builtins.lc 469:49-469:50 'Nat
1659testdata/Builtins.lc 469:35-469:66 V1 2020testdata/Builtins.lc 469:49-469:50 V1
1660testdata/Builtins.lc 469:51-469:55 Type 2021testdata/Builtins.lc 469:51-469:55 Type
2022testdata/Builtins.lc 469:60-469:66 Type
2023testdata/Builtins.lc 469:60-469:61 Type
2024testdata/Builtins.lc 469:65-469:66 Type
1661testdata/Builtins.lc 469:1-469:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Bool} -> a->a 2025testdata/Builtins.lc 469:1-469:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Bool} -> a->a
1662testdata/Builtins.lc 470:34-470:58 Type 2026testdata/Builtins.lc 470:34-470:58 Type
1663testdata/Builtins.lc 470:34-470:43 'Nat -> Type->Type 2027testdata/Builtins.lc 470:34-470:43 'Nat -> Type->Type
1664testdata/Builtins.lc 470:34-470:58 'Nat 2028testdata/Builtins.lc 470:44-470:45 'Nat
1665testdata/Builtins.lc 470:34-470:58 V1 2029testdata/Builtins.lc 470:44-470:45 V1
1666testdata/Builtins.lc 470:46-470:50 Type 2030testdata/Builtins.lc 470:46-470:50 Type
1667testdata/Builtins.lc 470:54-470:58 Type 2031testdata/Builtins.lc 470:54-470:58 Type
1668testdata/Builtins.lc 470:1-470:8 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool 2032testdata/Builtins.lc 470:1-470:8 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
1669testdata/Builtins.lc 470:10-470:17 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool 2033testdata/Builtins.lc 470:10-470:17 {a:'Nat} -> 'VecScalar a 'Bool -> 'Bool
1670testdata/Builtins.lc 474:35-474:67 Type 2034testdata/Builtins.lc 474:35-474:67 Type
1671testdata/Builtins.lc 474:35-474:67 V3 2035testdata/Builtins.lc 474:35-474:36 Type
2036testdata/Builtins.lc 474:35-474:36 V3
2037testdata/Builtins.lc 474:39-474:56 Type
1672testdata/Builtins.lc 474:39-474:48 'Nat -> Type->Type 2038testdata/Builtins.lc 474:39-474:48 'Nat -> Type->Type
1673testdata/Builtins.lc 474:35-474:67 'Nat 2039testdata/Builtins.lc 474:49-474:50 'Nat
1674testdata/Builtins.lc 474:35-474:67 V1 2040testdata/Builtins.lc 474:49-474:50 V1
1675testdata/Builtins.lc 474:51-474:56 Type 2041testdata/Builtins.lc 474:51-474:56 Type
2042testdata/Builtins.lc 474:61-474:67 Type
2043testdata/Builtins.lc 474:61-474:62 Type
2044testdata/Builtins.lc 474:66-474:67 Type
1676testdata/Builtins.lc 473:1-473:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2045testdata/Builtins.lc 473:1-473:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1677testdata/Builtins.lc 473:11-473:20 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2046testdata/Builtins.lc 473:11-473:20 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1678testdata/Builtins.lc 473:22-473:30 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2047testdata/Builtins.lc 473:22-473:30 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
@@ -1694,19 +2063,31 @@ testdata/Builtins.lc 473:175-473:183 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b '
1694testdata/Builtins.lc 473:185-473:193 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2063testdata/Builtins.lc 473:185-473:193 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1695testdata/Builtins.lc 473:195-473:206 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2064testdata/Builtins.lc 473:195-473:206 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1696testdata/Builtins.lc 475:35-475:72 Type 2065testdata/Builtins.lc 475:35-475:72 Type
1697testdata/Builtins.lc 475:35-475:72 V3 2066testdata/Builtins.lc 475:35-475:36 Type
2067testdata/Builtins.lc 475:35-475:36 V3
2068testdata/Builtins.lc 475:39-475:56 Type
1698testdata/Builtins.lc 475:39-475:48 'Nat -> Type->Type 2069testdata/Builtins.lc 475:39-475:48 'Nat -> Type->Type
1699testdata/Builtins.lc 475:35-475:72 'Nat 2070testdata/Builtins.lc 475:49-475:50 'Nat
1700testdata/Builtins.lc 475:35-475:72 V1 2071testdata/Builtins.lc 475:49-475:50 V1
1701testdata/Builtins.lc 475:51-475:56 Type 2072testdata/Builtins.lc 475:51-475:56 Type
2073testdata/Builtins.lc 475:61-475:72 Type
2074testdata/Builtins.lc 475:61-475:62 Type
2075testdata/Builtins.lc 475:66-475:72 Type
2076testdata/Builtins.lc 475:66-475:67 Type
2077testdata/Builtins.lc 475:71-475:72 Type
1702testdata/Builtins.lc 475:1-475:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a 2078testdata/Builtins.lc 475:1-475:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
1703testdata/Builtins.lc 475:10-475:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a 2079testdata/Builtins.lc 475:10-475:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
1704testdata/Builtins.lc 478:35-478:67 Type 2080testdata/Builtins.lc 478:35-478:67 Type
1705testdata/Builtins.lc 478:35-478:67 V3 2081testdata/Builtins.lc 478:35-478:36 Type
2082testdata/Builtins.lc 478:35-478:36 V3
2083testdata/Builtins.lc 478:39-478:56 Type
1706testdata/Builtins.lc 478:39-478:48 'Nat -> Type->Type 2084testdata/Builtins.lc 478:39-478:48 'Nat -> Type->Type
1707testdata/Builtins.lc 478:35-478:67 'Nat 2085testdata/Builtins.lc 478:49-478:50 'Nat
1708testdata/Builtins.lc 478:35-478:67 V1 2086testdata/Builtins.lc 478:49-478:50 V1
1709testdata/Builtins.lc 478:51-478:56 Type 2087testdata/Builtins.lc 478:51-478:56 Type
2088testdata/Builtins.lc 478:61-478:67 Type
2089testdata/Builtins.lc 478:61-478:62 Type
2090testdata/Builtins.lc 478:66-478:67 Type
1710testdata/Builtins.lc 477:1-477:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2091testdata/Builtins.lc 477:1-477:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1711testdata/Builtins.lc 477:12-477:21 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2092testdata/Builtins.lc 477:12-477:21 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1712testdata/Builtins.lc 477:23-477:32 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2093testdata/Builtins.lc 477:23-477:32 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
@@ -1715,268 +2096,502 @@ testdata/Builtins.lc 477:49-477:57 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Fl
1715testdata/Builtins.lc 477:59-477:68 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2096testdata/Builtins.lc 477:59-477:68 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1716testdata/Builtins.lc 479:35-479:75 Type 2097testdata/Builtins.lc 479:35-479:75 Type
1717testdata/Builtins.lc 479:35-479:38 Type->Type 2098testdata/Builtins.lc 479:35-479:38 Type->Type
1718testdata/Builtins.lc 479:35-479:75 V5 2099testdata/Builtins.lc 479:39-479:40 Type
1719testdata/Builtins.lc 479:35-479:75 V4 2100testdata/Builtins.lc 479:39-479:40 V5
2101testdata/Builtins.lc 479:42-479:75 Type
2102testdata/Builtins.lc 479:42-479:43 Type
2103testdata/Builtins.lc 479:42-479:43 V4
2104testdata/Builtins.lc 479:46-479:59 Type
1720testdata/Builtins.lc 479:46-479:55 'Nat -> Type->Type 2105testdata/Builtins.lc 479:46-479:55 'Nat -> Type->Type
1721testdata/Builtins.lc 479:35-479:75 'Nat 2106testdata/Builtins.lc 479:56-479:57 'Nat
1722testdata/Builtins.lc 479:35-479:75 V2 2107testdata/Builtins.lc 479:56-479:57 V2
2108testdata/Builtins.lc 479:58-479:59 Type
2109testdata/Builtins.lc 479:64-479:75 Type
2110testdata/Builtins.lc 479:64-479:65 Type
2111testdata/Builtins.lc 479:69-479:75 Type
2112testdata/Builtins.lc 479:69-479:70 Type
2113testdata/Builtins.lc 479:74-479:75 Type
1723testdata/Builtins.lc 479:1-479:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 2114testdata/Builtins.lc 479:1-479:8 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1724testdata/Builtins.lc 479:10-479:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b 2115testdata/Builtins.lc 479:10-479:17 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b->b
1725testdata/Builtins.lc 480:35-480:75 Type 2116testdata/Builtins.lc 480:35-480:75 Type
1726testdata/Builtins.lc 480:35-480:38 Type->Type 2117testdata/Builtins.lc 480:35-480:38 Type->Type
1727testdata/Builtins.lc 480:35-480:75 V5 2118testdata/Builtins.lc 480:39-480:40 Type
1728testdata/Builtins.lc 480:35-480:75 V4 2119testdata/Builtins.lc 480:39-480:40 V5
2120testdata/Builtins.lc 480:42-480:75 Type
2121testdata/Builtins.lc 480:42-480:43 Type
2122testdata/Builtins.lc 480:42-480:43 V4
2123testdata/Builtins.lc 480:46-480:59 Type
1729testdata/Builtins.lc 480:46-480:55 'Nat -> Type->Type 2124testdata/Builtins.lc 480:46-480:55 'Nat -> Type->Type
1730testdata/Builtins.lc 480:35-480:75 'Nat 2125testdata/Builtins.lc 480:56-480:57 'Nat
1731testdata/Builtins.lc 480:35-480:75 V2 2126testdata/Builtins.lc 480:56-480:57 V2
2127testdata/Builtins.lc 480:58-480:59 Type
2128testdata/Builtins.lc 480:64-480:75 Type
2129testdata/Builtins.lc 480:64-480:65 Type
2130testdata/Builtins.lc 480:69-480:75 Type
2131testdata/Builtins.lc 480:69-480:70 Type
2132testdata/Builtins.lc 480:74-480:75 Type
1732testdata/Builtins.lc 480:1-480:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 2133testdata/Builtins.lc 480:1-480:9 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1733testdata/Builtins.lc 480:11-480:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b 2134testdata/Builtins.lc 480:11-480:19 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a->b
1734testdata/Builtins.lc 481:35-481:89 Type 2135testdata/Builtins.lc 481:35-481:89 Type
1735testdata/Builtins.lc 481:35-481:89 V5 2136testdata/Builtins.lc 481:35-481:36 Type
2137testdata/Builtins.lc 481:35-481:36 V5
2138testdata/Builtins.lc 481:39-481:56 Type
1736testdata/Builtins.lc 481:39-481:48 'Nat -> Type->Type 2139testdata/Builtins.lc 481:39-481:48 'Nat -> Type->Type
1737testdata/Builtins.lc 481:35-481:89 'Nat 2140testdata/Builtins.lc 481:49-481:50 'Nat
1738testdata/Builtins.lc 481:35-481:89 V3 2141testdata/Builtins.lc 481:49-481:50 V3
1739testdata/Builtins.lc 481:51-481:56 Type 2142testdata/Builtins.lc 481:51-481:56 Type
1740testdata/Builtins.lc 481:35-481:89 V2 2143testdata/Builtins.lc 481:58-481:89 Type
2144testdata/Builtins.lc 481:58-481:59 Type
2145testdata/Builtins.lc 481:58-481:59 V2
2146testdata/Builtins.lc 481:62-481:78 Type
1741testdata/Builtins.lc 481:62-481:71 'Nat -> Type->Type 2147testdata/Builtins.lc 481:62-481:71 'Nat -> Type->Type
2148testdata/Builtins.lc 481:72-481:73 'Nat
1742testdata/Builtins.lc 481:74-481:78 Type 2149testdata/Builtins.lc 481:74-481:78 Type
2150testdata/Builtins.lc 481:83-481:89 Type
2151testdata/Builtins.lc 481:83-481:84 Type
2152testdata/Builtins.lc 481:88-481:89 Type
1743testdata/Builtins.lc 481:1-481:10 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c 2153testdata/Builtins.lc 481:1-481:10 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c
1744testdata/Builtins.lc 481:12-481:21 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c 2154testdata/Builtins.lc 481:12-481:21 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a->c
1745testdata/Builtins.lc 482:35-482:73 Type 2155testdata/Builtins.lc 482:35-482:73 Type
1746testdata/Builtins.lc 482:35-482:41 Type->Type 2156testdata/Builtins.lc 482:35-482:41 Type->Type
1747testdata/Builtins.lc 482:35-482:73 V5 2157testdata/Builtins.lc 482:42-482:43 Type
1748testdata/Builtins.lc 482:35-482:73 V4 2158testdata/Builtins.lc 482:42-482:43 V5
2159testdata/Builtins.lc 482:45-482:73 Type
2160testdata/Builtins.lc 482:45-482:46 Type
2161testdata/Builtins.lc 482:45-482:46 V4
2162testdata/Builtins.lc 482:49-482:62 Type
1749testdata/Builtins.lc 482:49-482:58 'Nat -> Type->Type 2163testdata/Builtins.lc 482:49-482:58 'Nat -> Type->Type
1750testdata/Builtins.lc 482:35-482:73 'Nat 2164testdata/Builtins.lc 482:59-482:60 'Nat
1751testdata/Builtins.lc 482:35-482:73 V2 2165testdata/Builtins.lc 482:59-482:60 V2
2166testdata/Builtins.lc 482:61-482:62 Type
2167testdata/Builtins.lc 482:67-482:73 Type
2168testdata/Builtins.lc 482:67-482:68 Type
2169testdata/Builtins.lc 482:72-482:73 Type
1752testdata/Builtins.lc 482:1-482:8 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b 2170testdata/Builtins.lc 482:1-482:8 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
1753testdata/Builtins.lc 482:10-482:18 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b 2171testdata/Builtins.lc 482:10-482:18 {a} -> {b} -> {c:'Nat} -> {d : 'Signed a} -> {e : b ~ 'VecScalar c a} -> b->b
1754testdata/Builtins.lc 483:35-483:72 Type 2172testdata/Builtins.lc 483:35-483:72 Type
1755testdata/Builtins.lc 483:35-483:72 V3 2173testdata/Builtins.lc 483:35-483:36 Type
2174testdata/Builtins.lc 483:35-483:36 V3
2175testdata/Builtins.lc 483:39-483:56 Type
1756testdata/Builtins.lc 483:39-483:48 'Nat -> Type->Type 2176testdata/Builtins.lc 483:39-483:48 'Nat -> Type->Type
1757testdata/Builtins.lc 483:35-483:72 'Nat 2177testdata/Builtins.lc 483:49-483:50 'Nat
1758testdata/Builtins.lc 483:35-483:72 V1 2178testdata/Builtins.lc 483:49-483:50 V1
1759testdata/Builtins.lc 483:51-483:56 Type 2179testdata/Builtins.lc 483:51-483:56 Type
2180testdata/Builtins.lc 483:61-483:72 Type
2181testdata/Builtins.lc 483:61-483:62 Type
2182testdata/Builtins.lc 483:66-483:72 Type
1760testdata/Builtins.lc 483:66-483:72 Type -> Type->Type 2183testdata/Builtins.lc 483:66-483:72 Type -> Type->Type
2184testdata/Builtins.lc 483:67-483:68 Type
2185testdata/Builtins.lc 483:70-483:71 Type
1761testdata/Builtins.lc 483:1-483:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> 'Tuple2 a a 2186testdata/Builtins.lc 483:1-483:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> 'Tuple2 a a
1762testdata/Builtins.lc 484:35-484:80 Type 2187testdata/Builtins.lc 484:35-484:80 Type
1763testdata/Builtins.lc 484:35-484:38 Type->Type 2188testdata/Builtins.lc 484:35-484:38 Type->Type
1764testdata/Builtins.lc 484:35-484:80 V5 2189testdata/Builtins.lc 484:39-484:40 Type
1765testdata/Builtins.lc 484:35-484:80 V4 2190testdata/Builtins.lc 484:39-484:40 V5
2191testdata/Builtins.lc 484:42-484:80 Type
2192testdata/Builtins.lc 484:42-484:43 Type
2193testdata/Builtins.lc 484:42-484:43 V4
2194testdata/Builtins.lc 484:46-484:59 Type
1766testdata/Builtins.lc 484:46-484:55 'Nat -> Type->Type 2195testdata/Builtins.lc 484:46-484:55 'Nat -> Type->Type
1767testdata/Builtins.lc 484:35-484:80 'Nat 2196testdata/Builtins.lc 484:56-484:57 'Nat
1768testdata/Builtins.lc 484:35-484:80 V2 2197testdata/Builtins.lc 484:56-484:57 V2
2198testdata/Builtins.lc 484:58-484:59 Type
2199testdata/Builtins.lc 484:64-484:80 Type
2200testdata/Builtins.lc 484:64-484:65 Type
2201testdata/Builtins.lc 484:69-484:80 Type
2202testdata/Builtins.lc 484:69-484:70 Type
2203testdata/Builtins.lc 484:74-484:80 Type
2204testdata/Builtins.lc 484:74-484:75 Type
2205testdata/Builtins.lc 484:79-484:80 Type
1769testdata/Builtins.lc 484:1-484:10 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b -> b->b 2206testdata/Builtins.lc 484:1-484:10 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> b -> b->b
1770testdata/Builtins.lc 485:35-485:80 Type 2207testdata/Builtins.lc 485:35-485:80 Type
1771testdata/Builtins.lc 485:35-485:38 Type->Type 2208testdata/Builtins.lc 485:35-485:38 Type->Type
1772testdata/Builtins.lc 485:35-485:80 V5 2209testdata/Builtins.lc 485:39-485:40 Type
1773testdata/Builtins.lc 485:35-485:80 V4 2210testdata/Builtins.lc 485:39-485:40 V5
2211testdata/Builtins.lc 485:42-485:80 Type
2212testdata/Builtins.lc 485:42-485:43 Type
2213testdata/Builtins.lc 485:42-485:43 V4
2214testdata/Builtins.lc 485:46-485:59 Type
1774testdata/Builtins.lc 485:46-485:55 'Nat -> Type->Type 2215testdata/Builtins.lc 485:46-485:55 'Nat -> Type->Type
1775testdata/Builtins.lc 485:35-485:80 'Nat 2216testdata/Builtins.lc 485:56-485:57 'Nat
1776testdata/Builtins.lc 485:35-485:80 V2 2217testdata/Builtins.lc 485:56-485:57 V2
2218testdata/Builtins.lc 485:58-485:59 Type
2219testdata/Builtins.lc 485:64-485:80 Type
2220testdata/Builtins.lc 485:64-485:65 Type
2221testdata/Builtins.lc 485:69-485:80 Type
2222testdata/Builtins.lc 485:69-485:70 Type
2223testdata/Builtins.lc 485:74-485:80 Type
2224testdata/Builtins.lc 485:74-485:75 Type
2225testdata/Builtins.lc 485:79-485:80 Type
1777testdata/Builtins.lc 485:1-485:11 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a -> a->b 2226testdata/Builtins.lc 485:1-485:11 {a} -> {b} -> {c:'Nat} -> {d : 'Num a} -> {e : b ~ 'VecScalar c a} -> b -> a -> a->b
1778testdata/Builtins.lc 486:35-486:77 Type 2227testdata/Builtins.lc 486:35-486:77 Type
1779testdata/Builtins.lc 486:35-486:77 V3 2228testdata/Builtins.lc 486:35-486:36 Type
2229testdata/Builtins.lc 486:35-486:36 V3
2230testdata/Builtins.lc 486:39-486:56 Type
1780testdata/Builtins.lc 486:39-486:48 'Nat -> Type->Type 2231testdata/Builtins.lc 486:39-486:48 'Nat -> Type->Type
1781testdata/Builtins.lc 486:35-486:77 'Nat 2232testdata/Builtins.lc 486:49-486:50 'Nat
1782testdata/Builtins.lc 486:35-486:77 V1 2233testdata/Builtins.lc 486:49-486:50 V1
1783testdata/Builtins.lc 486:51-486:56 Type 2234testdata/Builtins.lc 486:51-486:56 Type
2235testdata/Builtins.lc 486:61-486:77 Type
2236testdata/Builtins.lc 486:61-486:62 Type
2237testdata/Builtins.lc 486:66-486:77 Type
2238testdata/Builtins.lc 486:66-486:67 Type
2239testdata/Builtins.lc 486:71-486:77 Type
2240testdata/Builtins.lc 486:71-486:72 Type
2241testdata/Builtins.lc 486:76-486:77 Type
1784testdata/Builtins.lc 486:1-486:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a 2242testdata/Builtins.lc 486:1-486:8 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
1785testdata/Builtins.lc 487:35-487:81 Type 2243testdata/Builtins.lc 487:35-487:81 Type
1786testdata/Builtins.lc 487:35-487:81 V3 2244testdata/Builtins.lc 487:35-487:36 Type
2245testdata/Builtins.lc 487:35-487:36 V3
2246testdata/Builtins.lc 487:39-487:56 Type
1787testdata/Builtins.lc 487:39-487:48 'Nat -> Type->Type 2247testdata/Builtins.lc 487:39-487:48 'Nat -> Type->Type
1788testdata/Builtins.lc 487:35-487:81 'Nat 2248testdata/Builtins.lc 487:49-487:50 'Nat
1789testdata/Builtins.lc 487:35-487:81 V1 2249testdata/Builtins.lc 487:49-487:50 V1
1790testdata/Builtins.lc 487:51-487:56 Type 2250testdata/Builtins.lc 487:51-487:56 Type
2251testdata/Builtins.lc 487:61-487:81 Type
2252testdata/Builtins.lc 487:61-487:62 Type
2253testdata/Builtins.lc 487:66-487:81 Type
2254testdata/Builtins.lc 487:66-487:67 Type
2255testdata/Builtins.lc 487:71-487:81 Type
1791testdata/Builtins.lc 487:71-487:76 Type 2256testdata/Builtins.lc 487:71-487:76 Type
2257testdata/Builtins.lc 487:80-487:81 Type
1792testdata/Builtins.lc 487:1-487:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> 'Float->a 2258testdata/Builtins.lc 487:1-487:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> 'Float->a
1793testdata/Builtins.lc 488:35-488:99 Type 2259testdata/Builtins.lc 488:35-488:99 Type
1794testdata/Builtins.lc 488:35-488:99 V5 2260testdata/Builtins.lc 488:35-488:36 Type
2261testdata/Builtins.lc 488:35-488:36 V5
2262testdata/Builtins.lc 488:39-488:56 Type
1795testdata/Builtins.lc 488:39-488:48 'Nat -> Type->Type 2263testdata/Builtins.lc 488:39-488:48 'Nat -> Type->Type
1796testdata/Builtins.lc 488:35-488:99 'Nat 2264testdata/Builtins.lc 488:49-488:50 'Nat
1797testdata/Builtins.lc 488:35-488:99 V3 2265testdata/Builtins.lc 488:49-488:50 V3
1798testdata/Builtins.lc 488:51-488:56 Type 2266testdata/Builtins.lc 488:51-488:56 Type
1799testdata/Builtins.lc 488:35-488:99 V2 2267testdata/Builtins.lc 488:58-488:99 Type
2268testdata/Builtins.lc 488:58-488:59 Type
2269testdata/Builtins.lc 488:58-488:59 V2
2270testdata/Builtins.lc 488:62-488:78 Type
1800testdata/Builtins.lc 488:62-488:71 'Nat -> Type->Type 2271testdata/Builtins.lc 488:62-488:71 'Nat -> Type->Type
2272testdata/Builtins.lc 488:72-488:73 'Nat
1801testdata/Builtins.lc 488:74-488:78 Type 2273testdata/Builtins.lc 488:74-488:78 Type
2274testdata/Builtins.lc 488:83-488:99 Type
2275testdata/Builtins.lc 488:83-488:84 Type
2276testdata/Builtins.lc 488:88-488:99 Type
2277testdata/Builtins.lc 488:88-488:89 Type
2278testdata/Builtins.lc 488:93-488:99 Type
2279testdata/Builtins.lc 488:93-488:94 Type
2280testdata/Builtins.lc 488:98-488:99 Type
1802testdata/Builtins.lc 488:1-488:9 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a -> a -> c->a 2281testdata/Builtins.lc 488:1-488:9 {a} -> {b:'Nat} -> {c} -> {d : a ~ 'VecScalar b 'Float} -> {e : c ~ 'VecScalar b 'Bool} -> a -> a -> c->a
1803testdata/Builtins.lc 489:35-489:68 Type 2282testdata/Builtins.lc 489:35-489:68 Type
1804testdata/Builtins.lc 489:35-489:68 V3 2283testdata/Builtins.lc 489:35-489:36 Type
2284testdata/Builtins.lc 489:35-489:36 V3
2285testdata/Builtins.lc 489:39-489:52 Type
1805testdata/Builtins.lc 489:39-489:44 'Nat -> Type->Type 2286testdata/Builtins.lc 489:39-489:44 'Nat -> Type->Type
1806testdata/Builtins.lc 489:35-489:68 'Nat 2287testdata/Builtins.lc 489:45-489:46 'Nat
1807testdata/Builtins.lc 489:35-489:68 V1 2288testdata/Builtins.lc 489:45-489:46 V1
1808testdata/Builtins.lc 489:47-489:52 Type 2289testdata/Builtins.lc 489:47-489:52 Type
2290testdata/Builtins.lc 489:57-489:68 Type
2291testdata/Builtins.lc 489:57-489:58 Type
2292testdata/Builtins.lc 489:62-489:68 Type
2293testdata/Builtins.lc 489:62-489:63 Type
2294testdata/Builtins.lc 489:67-489:68 Type
1809testdata/Builtins.lc 489:1-489:9 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a->a 2295testdata/Builtins.lc 489:1-489:9 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a->a
1810testdata/Builtins.lc 490:35-490:76 Type 2296testdata/Builtins.lc 490:35-490:76 Type
1811testdata/Builtins.lc 490:35-490:76 V3 2297testdata/Builtins.lc 490:35-490:36 Type
2298testdata/Builtins.lc 490:35-490:36 V3
2299testdata/Builtins.lc 490:39-490:56 Type
1812testdata/Builtins.lc 490:39-490:48 'Nat -> Type->Type 2300testdata/Builtins.lc 490:39-490:48 'Nat -> Type->Type
1813testdata/Builtins.lc 490:35-490:76 'Nat 2301testdata/Builtins.lc 490:49-490:50 'Nat
1814testdata/Builtins.lc 490:35-490:76 V1 2302testdata/Builtins.lc 490:49-490:50 V1
1815testdata/Builtins.lc 490:51-490:56 Type 2303testdata/Builtins.lc 490:51-490:56 Type
2304testdata/Builtins.lc 490:61-490:76 Type
1816testdata/Builtins.lc 490:61-490:66 Type 2305testdata/Builtins.lc 490:61-490:66 Type
2306testdata/Builtins.lc 490:70-490:76 Type
2307testdata/Builtins.lc 490:70-490:71 Type
2308testdata/Builtins.lc 490:75-490:76 Type
1817testdata/Builtins.lc 490:1-490:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> a->a 2309testdata/Builtins.lc 490:1-490:10 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> a->a
1818testdata/Builtins.lc 491:35-491:73 Type 2310testdata/Builtins.lc 491:35-491:73 Type
1819testdata/Builtins.lc 491:35-491:73 V3 2311testdata/Builtins.lc 491:35-491:36 Type
2312testdata/Builtins.lc 491:35-491:36 V3
2313testdata/Builtins.lc 491:39-491:52 Type
1820testdata/Builtins.lc 491:39-491:44 'Nat -> Type->Type 2314testdata/Builtins.lc 491:39-491:44 'Nat -> Type->Type
1821testdata/Builtins.lc 491:35-491:73 'Nat 2315testdata/Builtins.lc 491:45-491:46 'Nat
1822testdata/Builtins.lc 491:35-491:73 V1 2316testdata/Builtins.lc 491:45-491:46 V1
1823testdata/Builtins.lc 491:47-491:52 Type 2317testdata/Builtins.lc 491:47-491:52 Type
2318testdata/Builtins.lc 491:57-491:73 Type
2319testdata/Builtins.lc 491:57-491:58 Type
2320testdata/Builtins.lc 491:62-491:73 Type
2321testdata/Builtins.lc 491:62-491:63 Type
2322testdata/Builtins.lc 491:67-491:73 Type
2323testdata/Builtins.lc 491:67-491:68 Type
2324testdata/Builtins.lc 491:72-491:73 Type
1824testdata/Builtins.lc 491:1-491:15 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a -> a->a 2325testdata/Builtins.lc 491:1-491:15 {a} -> {b:'Nat} -> {c : a ~ 'VecS 'Float b} -> a -> a -> a->a
1825testdata/Builtins.lc 492:35-492:85 Type 2326testdata/Builtins.lc 492:35-492:85 Type
1826testdata/Builtins.lc 492:35-492:85 V3 2327testdata/Builtins.lc 492:35-492:36 Type
2328testdata/Builtins.lc 492:35-492:36 V3
2329testdata/Builtins.lc 492:39-492:56 Type
1827testdata/Builtins.lc 492:39-492:48 'Nat -> Type->Type 2330testdata/Builtins.lc 492:39-492:48 'Nat -> Type->Type
1828testdata/Builtins.lc 492:35-492:85 'Nat 2331testdata/Builtins.lc 492:49-492:50 'Nat
1829testdata/Builtins.lc 492:35-492:85 V1 2332testdata/Builtins.lc 492:49-492:50 V1
1830testdata/Builtins.lc 492:51-492:56 Type 2333testdata/Builtins.lc 492:51-492:56 Type
2334testdata/Builtins.lc 492:61-492:85 Type
1831testdata/Builtins.lc 492:61-492:66 Type 2335testdata/Builtins.lc 492:61-492:66 Type
2336testdata/Builtins.lc 492:70-492:85 Type
1832testdata/Builtins.lc 492:70-492:75 Type 2337testdata/Builtins.lc 492:70-492:75 Type
2338testdata/Builtins.lc 492:79-492:85 Type
2339testdata/Builtins.lc 492:79-492:80 Type
2340testdata/Builtins.lc 492:84-492:85 Type
1833testdata/Builtins.lc 492:1-492:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> 'Float -> a->a 2341testdata/Builtins.lc 492:1-492:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> 'Float -> 'Float -> a->a
1834testdata/Builtins.lc 495:34-495:70 Type 2342testdata/Builtins.lc 495:34-495:70 Type
1835testdata/Builtins.lc 495:34-495:43 'Nat -> Type->Type 2343testdata/Builtins.lc 495:34-495:43 'Nat -> Type->Type
1836testdata/Builtins.lc 495:34-495:70 'Nat 2344testdata/Builtins.lc 495:44-495:45 'Nat
1837testdata/Builtins.lc 495:34-495:70 V1 2345testdata/Builtins.lc 495:44-495:45 V1
1838testdata/Builtins.lc 495:46-495:51 Type 2346testdata/Builtins.lc 495:46-495:51 Type
2347testdata/Builtins.lc 495:55-495:70 Type
1839testdata/Builtins.lc 495:55-495:64 'Nat -> Type->Type 2348testdata/Builtins.lc 495:55-495:64 'Nat -> Type->Type
2349testdata/Builtins.lc 495:65-495:66 'Nat
1840testdata/Builtins.lc 495:67-495:70 Type 2350testdata/Builtins.lc 495:67-495:70 Type
1841testdata/Builtins.lc 495:1-495:19 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Int 2351testdata/Builtins.lc 495:1-495:19 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Int
1842testdata/Builtins.lc 496:34-496:71 Type 2352testdata/Builtins.lc 496:34-496:71 Type
1843testdata/Builtins.lc 496:34-496:43 'Nat -> Type->Type 2353testdata/Builtins.lc 496:34-496:43 'Nat -> Type->Type
1844testdata/Builtins.lc 496:34-496:71 'Nat 2354testdata/Builtins.lc 496:44-496:45 'Nat
1845testdata/Builtins.lc 496:34-496:71 V1 2355testdata/Builtins.lc 496:44-496:45 V1
1846testdata/Builtins.lc 496:46-496:51 Type 2356testdata/Builtins.lc 496:46-496:51 Type
2357testdata/Builtins.lc 496:55-496:71 Type
1847testdata/Builtins.lc 496:55-496:64 'Nat -> Type->Type 2358testdata/Builtins.lc 496:55-496:64 'Nat -> Type->Type
2359testdata/Builtins.lc 496:65-496:66 'Nat
1848testdata/Builtins.lc 496:67-496:71 Type 2360testdata/Builtins.lc 496:67-496:71 Type
1849testdata/Builtins.lc 496:1-496:20 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Word 2361testdata/Builtins.lc 496:1-496:20 {a:'Nat} -> 'VecScalar a 'Float -> 'VecScalar a 'Word
1850testdata/Builtins.lc 497:34-497:72 Type 2362testdata/Builtins.lc 497:34-497:72 Type
1851testdata/Builtins.lc 497:34-497:43 'Nat -> Type->Type 2363testdata/Builtins.lc 497:34-497:43 'Nat -> Type->Type
1852testdata/Builtins.lc 497:34-497:72 'Nat 2364testdata/Builtins.lc 497:44-497:45 'Nat
1853testdata/Builtins.lc 497:34-497:72 V1 2365testdata/Builtins.lc 497:44-497:45 V1
1854testdata/Builtins.lc 497:46-497:49 Type 2366testdata/Builtins.lc 497:46-497:49 Type
2367testdata/Builtins.lc 497:55-497:72 Type
1855testdata/Builtins.lc 497:55-497:64 'Nat -> Type->Type 2368testdata/Builtins.lc 497:55-497:64 'Nat -> Type->Type
2369testdata/Builtins.lc 497:65-497:66 'Nat
1856testdata/Builtins.lc 497:67-497:72 Type 2370testdata/Builtins.lc 497:67-497:72 Type
1857testdata/Builtins.lc 497:1-497:19 {a:'Nat} -> 'VecScalar a 'Int -> 'VecScalar a 'Float 2371testdata/Builtins.lc 497:1-497:19 {a:'Nat} -> 'VecScalar a 'Int -> 'VecScalar a 'Float
1858testdata/Builtins.lc 498:34-498:72 Type 2372testdata/Builtins.lc 498:34-498:72 Type
1859testdata/Builtins.lc 498:34-498:43 'Nat -> Type->Type 2373testdata/Builtins.lc 498:34-498:43 'Nat -> Type->Type
1860testdata/Builtins.lc 498:34-498:72 'Nat 2374testdata/Builtins.lc 498:44-498:45 'Nat
1861testdata/Builtins.lc 498:34-498:72 V1 2375testdata/Builtins.lc 498:44-498:45 V1
1862testdata/Builtins.lc 498:46-498:50 Type 2376testdata/Builtins.lc 498:46-498:50 Type
2377testdata/Builtins.lc 498:55-498:72 Type
1863testdata/Builtins.lc 498:55-498:64 'Nat -> Type->Type 2378testdata/Builtins.lc 498:55-498:64 'Nat -> Type->Type
2379testdata/Builtins.lc 498:65-498:66 'Nat
1864testdata/Builtins.lc 498:67-498:72 Type 2380testdata/Builtins.lc 498:67-498:72 Type
1865testdata/Builtins.lc 498:1-498:20 {a:'Nat} -> 'VecScalar a 'Word -> 'VecScalar a 'Float 2381testdata/Builtins.lc 498:1-498:20 {a:'Nat} -> 'VecScalar a 'Word -> 'VecScalar a 'Float
1866testdata/Builtins.lc 500:35-500:71 Type 2382testdata/Builtins.lc 500:35-500:71 Type
1867testdata/Builtins.lc 500:35-500:71 V3 2383testdata/Builtins.lc 500:35-500:36 Type
2384testdata/Builtins.lc 500:35-500:36 V3
2385testdata/Builtins.lc 500:39-500:56 Type
1868testdata/Builtins.lc 500:39-500:48 'Nat -> Type->Type 2386testdata/Builtins.lc 500:39-500:48 'Nat -> Type->Type
1869testdata/Builtins.lc 500:35-500:71 'Nat 2387testdata/Builtins.lc 500:49-500:50 'Nat
1870testdata/Builtins.lc 500:35-500:71 V1 2388testdata/Builtins.lc 500:49-500:50 V1
1871testdata/Builtins.lc 500:51-500:56 Type 2389testdata/Builtins.lc 500:51-500:56 Type
2390testdata/Builtins.lc 500:61-500:71 Type
2391testdata/Builtins.lc 500:61-500:62 Type
1872testdata/Builtins.lc 500:66-500:71 Type 2392testdata/Builtins.lc 500:66-500:71 Type
1873testdata/Builtins.lc 500:1-500:11 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->'Float 2393testdata/Builtins.lc 500:1-500:11 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->'Float
1874testdata/Builtins.lc 501:35-501:76 Type 2394testdata/Builtins.lc 501:35-501:76 Type
1875testdata/Builtins.lc 501:35-501:76 V3 2395testdata/Builtins.lc 501:35-501:36 Type
2396testdata/Builtins.lc 501:35-501:36 V3
2397testdata/Builtins.lc 501:39-501:56 Type
1876testdata/Builtins.lc 501:39-501:48 'Nat -> Type->Type 2398testdata/Builtins.lc 501:39-501:48 'Nat -> Type->Type
1877testdata/Builtins.lc 501:35-501:76 'Nat 2399testdata/Builtins.lc 501:49-501:50 'Nat
1878testdata/Builtins.lc 501:35-501:76 V1 2400testdata/Builtins.lc 501:49-501:50 V1
1879testdata/Builtins.lc 501:51-501:56 Type 2401testdata/Builtins.lc 501:51-501:56 Type
2402testdata/Builtins.lc 501:61-501:76 Type
2403testdata/Builtins.lc 501:61-501:62 Type
2404testdata/Builtins.lc 501:66-501:76 Type
2405testdata/Builtins.lc 501:66-501:67 Type
1880testdata/Builtins.lc 501:71-501:76 Type 2406testdata/Builtins.lc 501:71-501:76 Type
1881testdata/Builtins.lc 501:1-501:13 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float 2407testdata/Builtins.lc 501:1-501:13 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
1882testdata/Builtins.lc 501:15-501:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float 2408testdata/Builtins.lc 501:15-501:22 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->'Float
1883testdata/Builtins.lc 502:35-502:72 Type 2409testdata/Builtins.lc 502:35-502:72 Type
1884testdata/Builtins.lc 502:35-502:72 V1 2410testdata/Builtins.lc 502:35-502:36 Type
2411testdata/Builtins.lc 502:35-502:36 V1
1885testdata/Builtins.lc 502:39-502:56 Type 2412testdata/Builtins.lc 502:39-502:56 Type
1886testdata/Builtins.lc 502:39-502:48 'Nat -> Type->Type 2413testdata/Builtins.lc 502:39-502:48 'Nat -> Type->Type
1887testdata/Builtins.lc 502:51-502:56 Type 2414testdata/Builtins.lc 502:51-502:56 Type
2415testdata/Builtins.lc 502:61-502:72 Type
2416testdata/Builtins.lc 502:61-502:62 Type
2417testdata/Builtins.lc 502:66-502:72 Type
2418testdata/Builtins.lc 502:66-502:67 Type
2419testdata/Builtins.lc 502:71-502:72 Type
1888testdata/Builtins.lc 502:1-502:10 {a} -> {b : a ~ 'VecS 'Float (Succ (Succ (Succ Zero)))} -> a -> a->a 2420testdata/Builtins.lc 502:1-502:10 {a} -> {b : a ~ 'VecS 'Float (Succ (Succ (Succ Zero)))} -> a -> a->a
1889testdata/Builtins.lc 503:35-503:67 Type 2421testdata/Builtins.lc 503:35-503:67 Type
1890testdata/Builtins.lc 503:35-503:67 V3 2422testdata/Builtins.lc 503:35-503:36 Type
2423testdata/Builtins.lc 503:35-503:36 V3
2424testdata/Builtins.lc 503:39-503:56 Type
1891testdata/Builtins.lc 503:39-503:48 'Nat -> Type->Type 2425testdata/Builtins.lc 503:39-503:48 'Nat -> Type->Type
1892testdata/Builtins.lc 503:35-503:67 'Nat 2426testdata/Builtins.lc 503:49-503:50 'Nat
1893testdata/Builtins.lc 503:35-503:67 V1 2427testdata/Builtins.lc 503:49-503:50 V1
1894testdata/Builtins.lc 503:51-503:56 Type 2428testdata/Builtins.lc 503:51-503:56 Type
2429testdata/Builtins.lc 503:61-503:67 Type
2430testdata/Builtins.lc 503:61-503:62 Type
2431testdata/Builtins.lc 503:66-503:67 Type
1895testdata/Builtins.lc 503:1-503:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2432testdata/Builtins.lc 503:1-503:14 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
1896testdata/Builtins.lc 504:35-504:77 Type 2433testdata/Builtins.lc 504:35-504:77 Type
1897testdata/Builtins.lc 504:35-504:77 V3 2434testdata/Builtins.lc 504:35-504:36 Type
2435testdata/Builtins.lc 504:35-504:36 V3
2436testdata/Builtins.lc 504:39-504:56 Type
1898testdata/Builtins.lc 504:39-504:48 'Nat -> Type->Type 2437testdata/Builtins.lc 504:39-504:48 'Nat -> Type->Type
1899testdata/Builtins.lc 504:35-504:77 'Nat 2438testdata/Builtins.lc 504:49-504:50 'Nat
1900testdata/Builtins.lc 504:35-504:77 V1 2439testdata/Builtins.lc 504:49-504:50 V1
1901testdata/Builtins.lc 504:51-504:56 Type 2440testdata/Builtins.lc 504:51-504:56 Type
2441testdata/Builtins.lc 504:61-504:77 Type
2442testdata/Builtins.lc 504:61-504:62 Type
2443testdata/Builtins.lc 504:66-504:77 Type
2444testdata/Builtins.lc 504:66-504:67 Type
2445testdata/Builtins.lc 504:71-504:77 Type
2446testdata/Builtins.lc 504:71-504:72 Type
2447testdata/Builtins.lc 504:76-504:77 Type
1902testdata/Builtins.lc 504:1-504:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a 2448testdata/Builtins.lc 504:1-504:16 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
1903testdata/Builtins.lc 504:18-504:29 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a 2449testdata/Builtins.lc 504:18-504:29 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a -> a->a
1904testdata/Builtins.lc 505:35-505:72 Type 2450testdata/Builtins.lc 505:35-505:72 Type
1905testdata/Builtins.lc 505:35-505:72 V3 2451testdata/Builtins.lc 505:35-505:36 Type
2452testdata/Builtins.lc 505:35-505:36 V3
2453testdata/Builtins.lc 505:39-505:56 Type
1906testdata/Builtins.lc 505:39-505:48 'Nat -> Type->Type 2454testdata/Builtins.lc 505:39-505:48 'Nat -> Type->Type
1907testdata/Builtins.lc 505:35-505:72 'Nat 2455testdata/Builtins.lc 505:49-505:50 'Nat
1908testdata/Builtins.lc 505:35-505:72 V1 2456testdata/Builtins.lc 505:49-505:50 V1
1909testdata/Builtins.lc 505:51-505:56 Type 2457testdata/Builtins.lc 505:51-505:56 Type
2458testdata/Builtins.lc 505:61-505:72 Type
2459testdata/Builtins.lc 505:61-505:62 Type
2460testdata/Builtins.lc 505:66-505:72 Type
2461testdata/Builtins.lc 505:66-505:67 Type
2462testdata/Builtins.lc 505:71-505:72 Type
1910testdata/Builtins.lc 505:1-505:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a 2463testdata/Builtins.lc 505:1-505:12 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a -> a->a
1911testdata/Builtins.lc 507:34-507:56 Type 2464testdata/Builtins.lc 507:34-507:56 Type
1912testdata/Builtins.lc 507:34-507:37 'Nat -> 'Nat -> Type->Type 2465testdata/Builtins.lc 507:34-507:37 'Nat -> 'Nat -> Type->Type
1913testdata/Builtins.lc 507:34-507:56 'Nat 2466testdata/Builtins.lc 507:38-507:39 'Nat
1914testdata/Builtins.lc 507:34-507:56 V5 2467testdata/Builtins.lc 507:38-507:39 V5
1915testdata/Builtins.lc 507:34-507:56 V3 2468testdata/Builtins.lc 507:40-507:41 'Nat
1916testdata/Builtins.lc 507:34-507:56 V1 2469testdata/Builtins.lc 507:40-507:41 V3
2470testdata/Builtins.lc 507:42-507:43 Type
2471testdata/Builtins.lc 507:42-507:43 V1
2472testdata/Builtins.lc 507:47-507:56 Type
1917testdata/Builtins.lc 507:47-507:50 'Nat -> 'Nat -> Type->Type 2473testdata/Builtins.lc 507:47-507:50 'Nat -> 'Nat -> Type->Type
2474testdata/Builtins.lc 507:51-507:52 'Nat
2475testdata/Builtins.lc 507:53-507:54 'Nat
2476testdata/Builtins.lc 507:55-507:56 Type
1918testdata/Builtins.lc 507:1-507:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Mat b a c 2477testdata/Builtins.lc 507:1-507:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'Mat b a c
1919testdata/Builtins.lc 508:34-508:52 Type 2478testdata/Builtins.lc 508:34-508:52 Type
1920testdata/Builtins.lc 508:34-508:37 'Nat -> 'Nat -> Type->Type 2479testdata/Builtins.lc 508:34-508:37 'Nat -> 'Nat -> Type->Type
1921testdata/Builtins.lc 508:34-508:52 'Nat 2480testdata/Builtins.lc 508:38-508:39 'Nat
1922testdata/Builtins.lc 508:34-508:52 V3 2481testdata/Builtins.lc 508:38-508:39 V3
1923testdata/Builtins.lc 508:34-508:52 V1 2482testdata/Builtins.lc 508:40-508:41 'Nat
2483testdata/Builtins.lc 508:42-508:43 Type
2484testdata/Builtins.lc 508:42-508:43 V1
1924testdata/Builtins.lc 508:47-508:52 Type 2485testdata/Builtins.lc 508:47-508:52 Type
1925testdata/Builtins.lc 508:1-508:16 {a:'Nat} -> {b} -> 'Mat a a b -> 'Float 2486testdata/Builtins.lc 508:1-508:16 {a:'Nat} -> {b} -> 'Mat a a b -> 'Float
1926testdata/Builtins.lc 509:34-509:56 Type 2487testdata/Builtins.lc 509:34-509:56 Type
1927testdata/Builtins.lc 509:34-509:37 'Nat -> 'Nat -> Type->Type 2488testdata/Builtins.lc 509:34-509:37 'Nat -> 'Nat -> Type->Type
1928testdata/Builtins.lc 509:34-509:56 'Nat 2489testdata/Builtins.lc 509:38-509:39 'Nat
1929testdata/Builtins.lc 509:34-509:56 V3 2490testdata/Builtins.lc 509:38-509:39 V3
1930testdata/Builtins.lc 509:34-509:56 V1 2491testdata/Builtins.lc 509:40-509:41 'Nat
2492testdata/Builtins.lc 509:42-509:43 Type
2493testdata/Builtins.lc 509:42-509:43 V1
2494testdata/Builtins.lc 509:47-509:56 Type
1931testdata/Builtins.lc 509:47-509:50 'Nat -> 'Nat -> Type->Type 2495testdata/Builtins.lc 509:47-509:50 'Nat -> 'Nat -> Type->Type
2496testdata/Builtins.lc 509:51-509:52 'Nat
2497testdata/Builtins.lc 509:53-509:54 'Nat
2498testdata/Builtins.lc 509:55-509:56 Type
1932testdata/Builtins.lc 509:1-509:12 {a:'Nat} -> {b} -> 'Mat a a b -> 'Mat a a b 2499testdata/Builtins.lc 509:1-509:12 {a:'Nat} -> {b} -> 'Mat a a b -> 'Mat a a b
1933testdata/Builtins.lc 510:34-510:69 Type 2500testdata/Builtins.lc 510:34-510:69 Type
1934testdata/Builtins.lc 510:34-510:37 'Nat -> Type->Type 2501testdata/Builtins.lc 510:34-510:37 'Nat -> Type->Type
1935testdata/Builtins.lc 510:34-510:69 'Nat 2502testdata/Builtins.lc 510:38-510:39 'Nat
1936testdata/Builtins.lc 510:34-510:69 V5 2503testdata/Builtins.lc 510:38-510:39 V5
1937testdata/Builtins.lc 510:34-510:69 V3 2504testdata/Builtins.lc 510:40-510:41 Type
2505testdata/Builtins.lc 510:40-510:41 V3
2506testdata/Builtins.lc 510:47-510:69 Type
1938testdata/Builtins.lc 510:47-510:50 'Nat -> Type->Type 2507testdata/Builtins.lc 510:47-510:50 'Nat -> Type->Type
1939testdata/Builtins.lc 510:34-510:69 V2 2508testdata/Builtins.lc 510:51-510:52 'Nat
2509testdata/Builtins.lc 510:51-510:52 V2
2510testdata/Builtins.lc 510:53-510:54 Type
2511testdata/Builtins.lc 510:60-510:69 Type
1940testdata/Builtins.lc 510:60-510:63 'Nat -> 'Nat -> Type->Type 2512testdata/Builtins.lc 510:60-510:63 'Nat -> 'Nat -> Type->Type
2513testdata/Builtins.lc 510:64-510:65 'Nat
2514testdata/Builtins.lc 510:66-510:67 'Nat
2515testdata/Builtins.lc 510:68-510:69 Type
1941testdata/Builtins.lc 510:1-510:17 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'VecS b c -> 'Mat c a b 2516testdata/Builtins.lc 510:1-510:17 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'VecS b c -> 'Mat c a b
1942testdata/Builtins.lc 511:34-511:67 Type 2517testdata/Builtins.lc 511:34-511:67 Type
1943testdata/Builtins.lc 511:34-511:37 'Nat -> 'Nat -> Type->Type 2518testdata/Builtins.lc 511:34-511:37 'Nat -> 'Nat -> Type->Type
1944testdata/Builtins.lc 511:34-511:67 'Nat 2519testdata/Builtins.lc 511:38-511:39 'Nat
1945testdata/Builtins.lc 511:34-511:67 V5 2520testdata/Builtins.lc 511:38-511:39 V5
1946testdata/Builtins.lc 511:34-511:67 V3 2521testdata/Builtins.lc 511:40-511:41 'Nat
1947testdata/Builtins.lc 511:34-511:67 V1 2522testdata/Builtins.lc 511:40-511:41 V3
2523testdata/Builtins.lc 511:42-511:43 Type
2524testdata/Builtins.lc 511:42-511:43 V1
2525testdata/Builtins.lc 511:47-511:67 Type
1948testdata/Builtins.lc 511:47-511:50 'Nat -> Type->Type 2526testdata/Builtins.lc 511:47-511:50 'Nat -> Type->Type
2527testdata/Builtins.lc 511:51-511:52 'Nat
2528testdata/Builtins.lc 511:53-511:54 Type
2529testdata/Builtins.lc 511:60-511:67 Type
1949testdata/Builtins.lc 511:60-511:63 'Nat -> Type->Type 2530testdata/Builtins.lc 511:60-511:63 'Nat -> Type->Type
2531testdata/Builtins.lc 511:64-511:65 'Nat
2532testdata/Builtins.lc 511:66-511:67 Type
1950testdata/Builtins.lc 511:1-511:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'VecS c b -> 'VecS c a 2533testdata/Builtins.lc 511:1-511:14 {a:'Nat} -> {b:'Nat} -> {c} -> 'Mat a b c -> 'VecS c b -> 'VecS c a
1951testdata/Builtins.lc 512:34-512:67 Type 2534testdata/Builtins.lc 512:34-512:67 Type
1952testdata/Builtins.lc 512:34-512:37 'Nat -> Type->Type 2535testdata/Builtins.lc 512:34-512:37 'Nat -> Type->Type
1953testdata/Builtins.lc 512:34-512:67 'Nat 2536testdata/Builtins.lc 512:38-512:39 'Nat
1954testdata/Builtins.lc 512:34-512:67 V5 2537testdata/Builtins.lc 512:38-512:39 V5
1955testdata/Builtins.lc 512:34-512:67 V3 2538testdata/Builtins.lc 512:40-512:41 Type
2539testdata/Builtins.lc 512:40-512:41 V3
2540testdata/Builtins.lc 512:47-512:67 Type
1956testdata/Builtins.lc 512:47-512:50 'Nat -> 'Nat -> Type->Type 2541testdata/Builtins.lc 512:47-512:50 'Nat -> 'Nat -> Type->Type
1957testdata/Builtins.lc 512:34-512:67 V2 2542testdata/Builtins.lc 512:51-512:52 'Nat
2543testdata/Builtins.lc 512:53-512:54 'Nat
2544testdata/Builtins.lc 512:53-512:54 V2
2545testdata/Builtins.lc 512:55-512:56 Type
2546testdata/Builtins.lc 512:60-512:67 Type
1958testdata/Builtins.lc 512:60-512:63 'Nat -> Type->Type 2547testdata/Builtins.lc 512:60-512:63 'Nat -> Type->Type
2548testdata/Builtins.lc 512:64-512:65 'Nat
2549testdata/Builtins.lc 512:66-512:67 Type
1959testdata/Builtins.lc 512:1-512:14 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'Mat a c b -> 'VecS b c 2550testdata/Builtins.lc 512:1-512:14 {a:'Nat} -> {b} -> {c:'Nat} -> 'VecS b a -> 'Mat a c b -> 'VecS b c
1960testdata/Builtins.lc 513:34-513:69 Type 2551testdata/Builtins.lc 513:34-513:69 Type
1961testdata/Builtins.lc 513:34-513:37 'Nat -> 'Nat -> Type->Type 2552testdata/Builtins.lc 513:34-513:37 'Nat -> 'Nat -> Type->Type
1962testdata/Builtins.lc 513:34-513:69 'Nat 2553testdata/Builtins.lc 513:38-513:39 'Nat
1963testdata/Builtins.lc 513:34-513:69 V7 2554testdata/Builtins.lc 513:38-513:39 V7
1964testdata/Builtins.lc 513:34-513:69 V5 2555testdata/Builtins.lc 513:40-513:41 'Nat
1965testdata/Builtins.lc 513:34-513:69 V3 2556testdata/Builtins.lc 513:40-513:41 V5
2557testdata/Builtins.lc 513:42-513:43 Type
2558testdata/Builtins.lc 513:42-513:43 V3
2559testdata/Builtins.lc 513:47-513:69 Type
1966testdata/Builtins.lc 513:47-513:50 'Nat -> 'Nat -> Type->Type 2560testdata/Builtins.lc 513:47-513:50 'Nat -> 'Nat -> Type->Type
1967testdata/Builtins.lc 513:34-513:69 V2 2561testdata/Builtins.lc 513:51-513:52 'Nat
2562testdata/Builtins.lc 513:53-513:54 'Nat
2563testdata/Builtins.lc 513:53-513:54 V2
2564testdata/Builtins.lc 513:55-513:56 Type
2565testdata/Builtins.lc 513:60-513:69 Type
1968testdata/Builtins.lc 513:60-513:63 'Nat -> 'Nat -> Type->Type 2566testdata/Builtins.lc 513:60-513:63 'Nat -> 'Nat -> Type->Type
2567testdata/Builtins.lc 513:64-513:65 'Nat
2568testdata/Builtins.lc 513:66-513:67 'Nat
2569testdata/Builtins.lc 513:68-513:69 Type
1969testdata/Builtins.lc 513:1-513:14 {a:'Nat} -> {b:'Nat} -> {c} -> {d:'Nat} -> 'Mat a b c -> 'Mat b d c -> 'Mat a d c 2570testdata/Builtins.lc 513:1-513:14 {a:'Nat} -> {b:'Nat} -> {c} -> {d:'Nat} -> 'Mat a b c -> 'Mat b d c -> 'Mat a d c
1970testdata/Builtins.lc 516:35-516:97 Type 2571testdata/Builtins.lc 516:35-516:97 Type
1971testdata/Builtins.lc 516:35-516:38 Type->Type 2572testdata/Builtins.lc 516:35-516:38 Type->Type
1972testdata/Builtins.lc 516:35-516:97 V7 2573testdata/Builtins.lc 516:39-516:40 Type
1973testdata/Builtins.lc 516:35-516:97 V6 2574testdata/Builtins.lc 516:39-516:40 V7
2575testdata/Builtins.lc 516:42-516:97 Type
2576testdata/Builtins.lc 516:42-516:43 Type
2577testdata/Builtins.lc 516:42-516:43 V6
2578testdata/Builtins.lc 516:46-516:59 Type
1974testdata/Builtins.lc 516:46-516:55 'Nat -> Type->Type 2579testdata/Builtins.lc 516:46-516:55 'Nat -> Type->Type
1975testdata/Builtins.lc 516:35-516:97 'Nat 2580testdata/Builtins.lc 516:56-516:57 'Nat
1976testdata/Builtins.lc 516:35-516:97 V4 2581testdata/Builtins.lc 516:56-516:57 V4
1977testdata/Builtins.lc 516:35-516:97 V3 2582testdata/Builtins.lc 516:58-516:59 Type
2583testdata/Builtins.lc 516:61-516:97 Type
2584testdata/Builtins.lc 516:61-516:62 Type
2585testdata/Builtins.lc 516:61-516:62 V3
2586testdata/Builtins.lc 516:65-516:81 Type
1978testdata/Builtins.lc 516:65-516:74 'Nat -> Type->Type 2587testdata/Builtins.lc 516:65-516:74 'Nat -> Type->Type
2588testdata/Builtins.lc 516:75-516:76 'Nat
1979testdata/Builtins.lc 516:77-516:81 Type 2589testdata/Builtins.lc 516:77-516:81 Type
2590testdata/Builtins.lc 516:86-516:97 Type
2591testdata/Builtins.lc 516:86-516:87 Type
2592testdata/Builtins.lc 516:91-516:97 Type
2593testdata/Builtins.lc 516:91-516:92 Type
2594testdata/Builtins.lc 516:96-516:97 Type
1980testdata/Builtins.lc 515:1-515:13 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 2595testdata/Builtins.lc 515:1-515:13 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
1981testdata/Builtins.lc 515:15-515:32 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 2596testdata/Builtins.lc 515:15-515:32 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
1982testdata/Builtins.lc 515:34-515:49 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 2597testdata/Builtins.lc 515:34-515:49 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
@@ -1984,32 +2599,44 @@ testdata/Builtins.lc 515:51-515:71 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a
1984testdata/Builtins.lc 515:73-515:83 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 2599testdata/Builtins.lc 515:73-515:83 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
1985testdata/Builtins.lc 515:85-515:98 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d 2600testdata/Builtins.lc 515:85-515:98 {a} -> {b} -> {c:'Nat} -> {d} -> {e : 'Num a} -> {f : b ~ 'VecScalar c a} -> {g : d ~ 'VecScalar c 'Bool} -> b -> b->d
1986testdata/Builtins.lc 517:35-517:76 Type 2601testdata/Builtins.lc 517:35-517:76 Type
1987testdata/Builtins.lc 517:35-517:76 V3 2602testdata/Builtins.lc 517:35-517:36 Type
2603testdata/Builtins.lc 517:35-517:36 V3
2604testdata/Builtins.lc 517:39-517:57 Type
1988testdata/Builtins.lc 517:39-517:55 Type->Type 2605testdata/Builtins.lc 517:39-517:55 Type->Type
1989testdata/Builtins.lc 517:35-517:76 V1 2606testdata/Builtins.lc 517:56-517:57 Type
2607testdata/Builtins.lc 517:56-517:57 V1
2608testdata/Builtins.lc 517:62-517:76 Type
2609testdata/Builtins.lc 517:62-517:63 Type
2610testdata/Builtins.lc 517:67-517:76 Type
2611testdata/Builtins.lc 517:67-517:68 Type
1990testdata/Builtins.lc 517:72-517:76 Type 2612testdata/Builtins.lc 517:72-517:76 Type
1991testdata/Builtins.lc 517:1-517:10 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool 2613testdata/Builtins.lc 517:1-517:10 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool
1992testdata/Builtins.lc 517:12-517:24 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool 2614testdata/Builtins.lc 517:12-517:24 {a} -> {b} -> {c : a ~ 'MatVecScalarElem b} -> b -> b->'Bool
1993testdata/Builtins.lc 520:35-520:67 Type 2615testdata/Builtins.lc 520:35-520:67 Type
1994testdata/Builtins.lc 520:35-520:67 V3 2616testdata/Builtins.lc 520:35-520:36 Type
2617testdata/Builtins.lc 520:35-520:36 V3
2618testdata/Builtins.lc 520:39-520:56 Type
1995testdata/Builtins.lc 520:39-520:48 'Nat -> Type->Type 2619testdata/Builtins.lc 520:39-520:48 'Nat -> Type->Type
1996testdata/Builtins.lc 520:35-520:67 'Nat 2620testdata/Builtins.lc 520:49-520:50 'Nat
1997testdata/Builtins.lc 520:35-520:67 V1 2621testdata/Builtins.lc 520:49-520:50 V1
1998testdata/Builtins.lc 520:51-520:56 Type 2622testdata/Builtins.lc 520:51-520:56 Type
2623testdata/Builtins.lc 520:61-520:67 Type
2624testdata/Builtins.lc 520:61-520:62 Type
2625testdata/Builtins.lc 520:66-520:67 Type
1999testdata/Builtins.lc 519:1-519:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2626testdata/Builtins.lc 519:1-519:9 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
2000testdata/Builtins.lc 519:11-519:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2627testdata/Builtins.lc 519:11-519:19 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
2001testdata/Builtins.lc 519:21-519:31 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a 2628testdata/Builtins.lc 519:21-519:31 {a} -> {b:'Nat} -> {c : a ~ 'VecScalar b 'Float} -> a->a
2002testdata/Builtins.lc 522:34-522:60 Type 2629testdata/Builtins.lc 522:34-522:60 Type
2003testdata/Builtins.lc 522:34-522:43 'Nat -> Type->Type 2630testdata/Builtins.lc 522:34-522:43 'Nat -> Type->Type
2004testdata/Builtins.lc 522:34-522:60 'Nat 2631testdata/Builtins.lc 522:44-522:45 'Nat
2005testdata/Builtins.lc 522:34-522:60 V1 2632testdata/Builtins.lc 522:44-522:45 V1
2006testdata/Builtins.lc 522:46-522:51 Type 2633testdata/Builtins.lc 522:46-522:51 Type
2007testdata/Builtins.lc 522:55-522:60 Type 2634testdata/Builtins.lc 522:55-522:60 Type
2008testdata/Builtins.lc 522:1-522:11 {a:'Nat} -> 'VecScalar a 'Float -> 'Float 2635testdata/Builtins.lc 522:1-522:11 {a:'Nat} -> 'VecScalar a 'Float -> 'Float
2009testdata/Builtins.lc 523:34-523:66 Type 2636testdata/Builtins.lc 523:34-523:66 Type
2010testdata/Builtins.lc 523:34-523:43 'Nat -> Type->Type 2637testdata/Builtins.lc 523:34-523:43 'Nat -> Type->Type
2011testdata/Builtins.lc 523:34-523:66 'Nat 2638testdata/Builtins.lc 523:44-523:45 'Nat
2012testdata/Builtins.lc 523:34-523:66 V1 2639testdata/Builtins.lc 523:44-523:45 V1
2013testdata/Builtins.lc 523:46-523:51 Type 2640testdata/Builtins.lc 523:46-523:51 Type
2014testdata/Builtins.lc 523:55-523:66 Type 2641testdata/Builtins.lc 523:55-523:66 Type
2015testdata/Builtins.lc 523:55-523:58 'Nat -> Type->Type 2642testdata/Builtins.lc 523:55-523:58 'Nat -> Type->Type
@@ -2017,8 +2644,8 @@ testdata/Builtins.lc 523:61-523:66 Type
2017testdata/Builtins.lc 523:1-523:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ Zero)) 2644testdata/Builtins.lc 523:1-523:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ Zero))
2018testdata/Builtins.lc 524:34-524:66 Type 2645testdata/Builtins.lc 524:34-524:66 Type
2019testdata/Builtins.lc 524:34-524:43 'Nat -> Type->Type 2646testdata/Builtins.lc 524:34-524:43 'Nat -> Type->Type
2020testdata/Builtins.lc 524:34-524:66 'Nat 2647testdata/Builtins.lc 524:44-524:45 'Nat
2021testdata/Builtins.lc 524:34-524:66 V1 2648testdata/Builtins.lc 524:44-524:45 V1
2022testdata/Builtins.lc 524:46-524:51 Type 2649testdata/Builtins.lc 524:46-524:51 Type
2023testdata/Builtins.lc 524:55-524:66 Type 2650testdata/Builtins.lc 524:55-524:66 Type
2024testdata/Builtins.lc 524:55-524:58 'Nat -> Type->Type 2651testdata/Builtins.lc 524:55-524:58 'Nat -> Type->Type
@@ -2026,8 +2653,8 @@ testdata/Builtins.lc 524:61-524:66 Type
2026testdata/Builtins.lc 524:1-524:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ (Succ Zero))) 2653testdata/Builtins.lc 524:1-524:11 {a:'Nat} -> 'VecScalar a 'Float -> 'VecS 'Float (Succ (Succ (Succ Zero)))
2027testdata/Builtins.lc 525:34-525:66 Type 2654testdata/Builtins.lc 525:34-525:66 Type
2028testdata/Builtins.lc 525:34-525:43 'Nat -> Type->Type 2655testdata/Builtins.lc 525:34-525:43 'Nat -> Type->Type
2029testdata/Builtins.lc 525:34-525:66 'Nat 2656testdata/Builtins.lc 525:44-525:45 'Nat
2030testdata/Builtins.lc 525:34-525:66 V1 2657testdata/Builtins.lc 525:44-525:45 V1
2031testdata/Builtins.lc 525:46-525:51 Type 2658testdata/Builtins.lc 525:46-525:51 Type
2032testdata/Builtins.lc 525:55-525:66 Type 2659testdata/Builtins.lc 525:55-525:66 Type
2033testdata/Builtins.lc 525:55-525:58 'Nat -> Type->Type 2660testdata/Builtins.lc 525:55-525:58 'Nat -> Type->Type
@@ -2070,22 +2697,42 @@ testdata/Builtins.lc 561:40-561:43 'Nat -> Type->Type
2070testdata/Builtins.lc 561:46-561:51 Type 2697testdata/Builtins.lc 561:46-561:51 Type
2071testdata/Builtins.lc 561:1-561:10 'Sampler -> 'VecS 'Float (Succ (Succ Zero)) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero)))) 2698testdata/Builtins.lc 561:1-561:10 'Sampler -> 'VecS 'Float (Succ (Succ Zero)) -> 'VecS 'Float (Succ (Succ (Succ (Succ Zero))))
2072testdata/Builtins.lc 564:30-564:45 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b 2699testdata/Builtins.lc 564:30-564:45 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b
2073testdata/Builtins.lc 564:47-564:66 V1 -> 'Stream V1 2700testdata/Builtins.lc 564:47-564:74 V1 -> 'Stream V1
2074testdata/Builtins.lc 564:47-564:57 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) a) 2701testdata/Builtins.lc 564:47-564:57 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) a)
2075testdata/Builtins.lc 564:59-564:66 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType V1) -> 'Float 2702testdata/Builtins.lc 564:59-564:66 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType V1) -> 'Float
2076testdata/Builtins.lc 564:65-564:66 'Float 2703testdata/Builtins.lc 564:65-564:66 'Float
2077testdata/Builtins.lc 564:65-564:66 'Int 2704testdata/Builtins.lc 564:65-564:66 'Int
2705testdata/Builtins.lc 564:68-564:70 V1
2706testdata/Builtins.lc 564:68-564:70 V5
2707testdata/Builtins.lc 564:71-564:74 'RasterContext V0
2708testdata/Builtins.lc 564:71-564:74 V4
2078testdata/Builtins.lc 564:1-564:20 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) ('InterpolatedType a)) 2709testdata/Builtins.lc 564:1-564:20 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) ('InterpolatedType a))
2079testdata/Builtins.lc 565:46-565:61 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b 2710testdata/Builtins.lc 565:46-565:61 {a} -> {b} -> (a -> 'Stream b) -> 'Stream a -> 'Stream b
2080testdata/Builtins.lc 565:63-565:73 V1 -> 'Stream V1 2711testdata/Builtins.lc 565:63-565:83 V1 -> 'Stream V1
2081testdata/Builtins.lc 565:63-565:73 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) a) 2712testdata/Builtins.lc 565:63-565:73 {a} -> {b} -> {c} -> {d:'PrimitiveType} -> {e : a ~ 'InterpolatedType b} -> {f : c ~ 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) a} -> c->'Float -> b -> 'RasterContext d -> 'Primitive d c -> 'Stream ('Fragment (Succ Zero) a)
2713testdata/Builtins.lc 565:74-565:76 'JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType V1) -> 'Float
2714testdata/Builtins.lc 565:74-565:76 V7
2715testdata/Builtins.lc 565:77-565:79 V1
2716testdata/Builtins.lc 565:77-565:79 V5
2717testdata/Builtins.lc 565:80-565:83 'RasterContext V0
2718testdata/Builtins.lc 565:80-565:83 V5
2082testdata/Builtins.lc 565:1-565:33 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a) -> 'Float) -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) ('InterpolatedType a)) 2719testdata/Builtins.lc 565:1-565:33 {a} -> {b:'PrimitiveType} -> 'RasterContext b -> ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a) -> 'Float) -> a -> 'Stream ('Primitive b ('JoinTupleType ('VecS 'Float (Succ (Succ (Succ (Succ Zero))))) ('InterpolatedType a))) -> 'Stream ('Fragment (Succ Zero) ('InterpolatedType a))
2083testdata/Builtins.lc 566:24-566:32 {a} -> {b} -> a -> b -> 'Tuple2 a b 2720testdata/Builtins.lc 566:24-566:32 {a} -> {b} -> a -> b -> 'Tuple2 a b
2721testdata/Builtins.lc 566:25-566:28 V1
2722testdata/Builtins.lc 566:25-566:28 V5
2723testdata/Builtins.lc 566:30-566:31 V0
2724testdata/Builtins.lc 566:30-566:31 V2
2084testdata/Builtins.lc 566:1-566:15 {a} -> {b} -> a -> b -> 'Tuple2 a b 2725testdata/Builtins.lc 566:1-566:15 {a} -> {b} -> a -> b -> 'Tuple2 a b
2085testdata/Builtins.lc 567:25-567:35 V2 -> V2->V2 2726testdata/Builtins.lc 567:25-567:46 V2 -> V2->V2
2086testdata/Builtins.lc 567:25-567:35 V2->V2 2727testdata/Builtins.lc 567:25-567:46 V2->V2
2087testdata/Builtins.lc 567:25-567:35 V2 2728testdata/Builtins.lc 567:25-567:46 V2
2088testdata/Builtins.lc 567:25-567:35 {a:'Nat} -> {b} -> 'FragOps' b -> 'Stream ('Fragment a ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b 2729testdata/Builtins.lc 567:25-567:35 {a:'Nat} -> {b} -> 'FragOps' b -> 'Stream ('Fragment a ('RemSemantics b)) -> 'FrameBuffer a b -> 'FrameBuffer a b
2730testdata/Builtins.lc 567:36-567:39 'FragOps' V0
2731testdata/Builtins.lc 567:36-567:39 V6
2732testdata/Builtins.lc 567:40-567:43 'Stream ('Fragment V1 ('RemSemantics V0))
2733testdata/Builtins.lc 567:40-567:43 V5
2734testdata/Builtins.lc 567:44-567:46 'FrameBuffer V1 V0
2735testdata/Builtins.lc 567:44-567:46 V7
2089testdata/Builtins.lc 567:13-567:21 'Tuple2 ('FragOps' V0) ('Stream ('Fragment V1 ('RemSemantics V0))) 2736testdata/Builtins.lc 567:13-567:21 'Tuple2 ('FragOps' V0) ('Stream ('Fragment V1 ('RemSemantics V0)))
2090testdata/Builtins.lc 567:13-567:21 V3 2737testdata/Builtins.lc 567:13-567:21 V3
2091testdata/Builtins.lc 567:1-567:8 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Tuple2 ('FragOps' b) ('Stream ('Fragment a ('RemSemantics b))) -> 'FrameBuffer a b 2738testdata/Builtins.lc 567:1-567:8 {a:'Nat} -> {b} -> 'FrameBuffer a b -> 'Tuple2 ('FragOps' b) ('Stream ('Fragment a ('RemSemantics b))) -> 'FrameBuffer a b
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 18:25:01 +0000