diff options
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r-- | testdata/Prelude.out | 70 |
1 files changed, 35 insertions, 35 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index ee451b4f..631f7aea 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -2,15 +2,15 @@ main is not found | |||
2 | ------------ trace | 2 | ------------ trace |
3 | const :: [32m{a} -> {b} -> a -> b->a[39m[K | 3 | const :: [32m{a} -> {b} -> a -> b->a[39m[K |
4 | otherwise :: [32m'Bool[39m[K | 4 | otherwise :: [32m'Bool[39m[K |
5 | & :: [32m{a} -> {b} -> a -> a->b -> b[39m[K | 5 | & :: [32m{a} -> {b} -> a -> (a->b)->b[39m[K |
6 | $ :: [32m{a} -> {b} -> a->b -> a->b[39m[K | 6 | $ :: [32m{a} -> {b} -> (a->b) -> a->b[39m[K |
7 | . :: [32m{a} -> {b} -> {c} -> b->c -> a->b -> a->c[39m[K | 7 | . :: [32m{a} -> {b} -> {c} -> (b->c) -> (a->b) -> a->c[39m[K |
8 | uncurry :: [32m{a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b[39m[K | 8 | uncurry :: [32m{a} -> {b} -> {c} -> (a -> c->b) -> (a, c)->b[39m[K |
9 | *** :: [32m{a} -> {b} -> {c} -> {d} -> a->c -> b->d -> (a, b)->(c, d)[39m[K | 9 | *** :: [32m{a} -> {b} -> {c} -> {d} -> (a->c) -> (b->d) -> (a, b)->(c, d)[39m[K |
10 | pi :: [32m'Float[39m[K | 10 | pi :: [32m'Float[39m[K |
11 | zip :: [32m{a} -> {b} -> 'List a -> 'List b -> 'List (a, b)[39m[K | 11 | zip :: [32m{a} -> {b} -> 'List a -> 'List b -> 'List (a, b)[39m[K |
12 | unzip :: [32m{a} -> {b} -> 'List (a, b) -> ('List a, 'List b)[39m[K | 12 | unzip :: [32m{a} -> {b} -> 'List (a, b) -> ('List a, 'List b)[39m[K |
13 | filter :: [32m{a} -> a->'Bool -> 'List a -> 'List a[39m[K | 13 | filter :: [32m{a} -> (a->'Bool) -> 'List a -> 'List a[39m[K |
14 | tail :: [32m{a} -> 'List a -> 'List a[39m[K | 14 | tail :: [32m{a} -> 'List a -> 'List a[39m[K |
15 | pairs :: [32m{a} -> 'List a -> 'List (a, a)[39m[K | 15 | pairs :: [32m{a} -> 'List a -> 'List (a, a)[39m[K |
16 | foldl' :: [32m{a} -> {b} -> (a -> b->a) -> a -> 'List b -> a[39m[K | 16 | foldl' :: [32m{a} -> {b} -> (a -> b->a) -> a -> 'List b -> a[39m[K |
@@ -18,24 +18,24 @@ foldr1 :: [32m{a} -> (a -> a->a) -> 'List a -> a[39m[K | |||
18 | split :: [32m{a} -> 'List a -> ('List a, 'List a)[39m[K | 18 | split :: [32m{a} -> 'List a -> ('List a, 'List a)[39m[K |
19 | mergeBy :: [32m{a} -> (a -> a->'Ordering) -> 'List a -> 'List a -> 'List a[39m[K | 19 | mergeBy :: [32m{a} -> (a -> a->'Ordering) -> 'List a -> 'List a -> 'List a[39m[K |
20 | sortBy :: [32m{a} -> (a -> a->'Ordering) -> 'List a -> 'List a[39m[K | 20 | sortBy :: [32m{a} -> (a -> a->'Ordering) -> 'List a -> 'List a[39m[K |
21 | iterate :: [32m{a} -> a->a -> a -> 'List a[39m[K | 21 | iterate :: [32m{a} -> (a->a) -> a -> 'List a[39m[K |
22 | fst :: [32m{a} -> {b} -> (a, b)->a[39m[K | 22 | fst :: [32m{a} -> {b} -> (a, b)->a[39m[K |
23 | snd :: [32m{a} -> {b} -> (a, b)->b[39m[K | 23 | snd :: [32m{a} -> {b} -> (a, b)->b[39m[K |
24 | ||| :: [32m'Bool -> 'Bool->'Bool[39m[K | 24 | ||| :: [32m'Bool -> 'Bool->'Bool[39m[K |
25 | &&& :: [32m'Bool -> 'Bool->'Bool[39m[K | 25 | &&& :: [32m'Bool -> 'Bool->'Bool[39m[K |
26 | 'RecItem :: [32mType[39m[K | 26 | 'RecItem :: [32mType[39m[K |
27 | RecItem :: [32m'String -> Type->'RecItem[39m[K | 27 | RecItem :: [32m'String -> Type->'RecItem[39m[K |
28 | 'RecItemCase :: [32m(a : 'RecItem->Type) -> (b:'String -> c:Type -> a (RecItem b c)) -> d:'RecItem -> a d[39m[K | 28 | 'RecItemCase :: [32m(a : 'RecItem->Type) -> ((b:'String) -> (c:Type) -> a (RecItem b c)) -> (d:'RecItem) -> a d[39m[K |
29 | match'RecItem :: [32m(a : Type->Type) -> a 'RecItem -> b:Type -> a b -> a b[39m[K | 29 | match'RecItem :: [32m(a : Type->Type) -> a 'RecItem -> (b:Type) -> a b -> a b[39m[K |
30 | recItemType :: [32m'RecItem->Type[39m[K | 30 | recItemType :: [32m'RecItem->Type[39m[K |
31 | 'RecordC :: [32m'List 'RecItem -> Type[39m[K | 31 | 'RecordC :: [32m'List 'RecItem -> Type[39m[K |
32 | RecordCons :: [32m{a : 'List 'RecItem} -> 'HList (map 'RecItem Type recItemType a) -> 'RecordC a[39m[K | 32 | RecordCons :: [32m{a : 'List 'RecItem} -> 'HList (map 'RecItem Type recItemType a) -> 'RecordC a[39m[K |
33 | 'RecordCCase :: [32m{a : 'List 'RecItem} -> (b : 'RecordC a -> Type) -> ((c : 'HList (map 'RecItem Type recItemType a)) -> b (RecordCons c)) -> (d : 'RecordC a) -> b d[39m[K | 33 | 'RecordCCase :: [32m{a : 'List 'RecItem} -> (b : 'RecordC a -> Type) -> ((c : 'HList (map 'RecItem Type recItemType a)) -> b (RecordCons c)) -> (d : 'RecordC a) -> b d[39m[K |
34 | match'RecordC :: [32m(a : Type->Type) -> ((b : 'List 'RecItem) -> a ('RecordC b)) -> c:Type -> a c -> a c[39m[K | 34 | match'RecordC :: [32m(a : Type->Type) -> ((b : 'List 'RecItem) -> a ('RecordC b)) -> (c:Type) -> a c -> a c[39m[K |
35 | isKeyC :: [32m'String -> Type -> 'List 'RecItem -> Type[39m[K | 35 | isKeyC :: [32m'String -> Type -> 'List 'RecItem -> Type[39m[K |
36 | fstTup :: [32m{a} -> {b : 'List Type} -> 'HList (Cons a b) -> a[39m[K | 36 | fstTup :: [32m{a} -> {b : 'List Type} -> 'HList (Cons a b) -> a[39m[K |
37 | sndTup :: [32m{a} -> {b : 'List Type} -> 'HList (Cons a b) -> 'HList b[39m[K | 37 | sndTup :: [32m{a} -> {b : 'List Type} -> 'HList (Cons a b) -> 'HList b[39m[K |
38 | project :: [32m{a} -> {b : 'List 'RecItem} -> c:'String -> {_ : isKeyC c a b} -> 'RecordC b -> a[39m[K | 38 | project :: [32m{a} -> {b : 'List 'RecItem} -> (c:'String) -> {_ : isKeyC c a b} -> 'RecordC b -> a[39m[K |
39 | rgb :: [32m'Float -> 'Float -> 'Float -> 'VecS 'Float 4[39m[K | 39 | rgb :: [32m'Float -> 'Float -> 'Float -> 'VecS 'Float 4[39m[K |
40 | black :: [32m'VecS 'Float 4[39m[K | 40 | black :: [32m'VecS 'Float 4[39m[K |
41 | gray :: [32m'VecS 'Float 4[39m[K | 41 | gray :: [32m'VecS 'Float 4[39m[K |
@@ -176,13 +176,13 @@ testdata/Prelude.lc 16:1-16:6 {a} -> {b} -> a -> b->a | |||
176 | testdata/Prelude.lc 16:13-16:14 d_ | 176 | testdata/Prelude.lc 16:13-16:14 d_ |
177 | testdata/Prelude.lc 18:1-18:10 Bool | 177 | testdata/Prelude.lc 18:1-18:10 Bool |
178 | testdata/Prelude.lc 18:13-18:17 Bool | 178 | testdata/Prelude.lc 18:13-18:17 Bool |
179 | testdata/Prelude.lc 20:3-20:4 {a} -> {b} -> a -> a->b -> b | 179 | testdata/Prelude.lc 20:3-20:4 {a} -> {b} -> a -> (a->b)->b |
180 | testdata/Prelude.lc 20:9-20:10 b_ | 180 | testdata/Prelude.lc 20:9-20:10 b_ |
181 | testdata/Prelude.lc 20:11-20:12 g_ | 181 | testdata/Prelude.lc 20:11-20:12 g_ |
182 | testdata/Prelude.lc 22:2-22:3 {a} -> {b} -> a->b -> a->b | 182 | testdata/Prelude.lc 22:2-22:3 {a} -> {b} -> (a->b) -> a->b |
183 | testdata/Prelude.lc 22:15-22:16 d_ | 183 | testdata/Prelude.lc 22:15-22:16 d_ |
184 | testdata/Prelude.lc 22:17-22:18 e_ | 184 | testdata/Prelude.lc 22:17-22:18 e_ |
185 | testdata/Prelude.lc 23:2-23:3 {a} -> {b} -> {c} -> b->c -> a->b -> a->c | 185 | testdata/Prelude.lc 23:2-23:3 {a} -> {b} -> {c} -> (b->c) -> (a->b) -> a->c |
186 | testdata/Prelude.lc 23:17-23:18 f_ | 186 | testdata/Prelude.lc 23:17-23:18 f_ |
187 | testdata/Prelude.lc 23:20-23:21 g_ | 187 | testdata/Prelude.lc 23:20-23:21 g_ |
188 | testdata/Prelude.lc 23:22-23:23 h_ | 188 | testdata/Prelude.lc 23:22-23:23 h_ |
@@ -191,7 +191,7 @@ testdata/Prelude.lc 25:20-25:21 o_ | |||
191 | testdata/Prelude.lc 25:20-25:25 HList c_ -> c_ | c_ | c_ -> HList c_ -> c_ | d_ | 191 | testdata/Prelude.lc 25:20-25:25 HList c_ -> c_ | c_ | c_ -> HList c_ -> c_ | d_ |
192 | testdata/Prelude.lc 25:22-25:23 n_ | 192 | testdata/Prelude.lc 25:22-25:23 n_ |
193 | testdata/Prelude.lc 25:24-25:25 j_ | 193 | testdata/Prelude.lc 25:24-25:25 j_ |
194 | testdata/Prelude.lc 27:2-27:5 {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> (a, b)->(c, d) | 194 | testdata/Prelude.lc 27:2-27:5 {a} -> {b} -> {c} -> {d} -> (a->c) -> (b->d) -> (a, b)->(c, d) |
195 | testdata/Prelude.lc 27:20-27:30 (b_, a_) | HList c_ -> c_ | c_ -> HList c_ -> c_ | 195 | testdata/Prelude.lc 27:20-27:30 (b_, a_) | HList c_ -> c_ | c_ -> HList c_ -> c_ |
196 | testdata/Prelude.lc 27:21-27:22 s_ | 196 | testdata/Prelude.lc 27:21-27:22 s_ |
197 | testdata/Prelude.lc 27:23-27:24 p_ | 197 | testdata/Prelude.lc 27:23-27:24 p_ |
@@ -264,7 +264,7 @@ testdata/Prelude.lc 39:13-39:15 HList c_ -> c_ | c_ | c_ -> HList c_ -> c_ | f_ | |||
264 | testdata/Prelude.lc 39:19-39:24 {a} -> {b} -> List (a, b) -> (List a, List b) | 264 | testdata/Prelude.lc 39:19-39:24 {a} -> {b} -> List (a, b) -> (List a, List b) |
265 | testdata/Prelude.lc 39:19-39:27 (List b_, List a_) | 265 | testdata/Prelude.lc 39:19-39:27 (List b_, List a_) |
266 | testdata/Prelude.lc 39:25-39:27 List r_ | 266 | testdata/Prelude.lc 39:25-39:27 List r_ |
267 | testdata/Prelude.lc 41:1-41:7 {a} -> a->Bool -> List a -> List a | 267 | testdata/Prelude.lc 41:1-41:7 {a} -> (a->Bool) -> List a -> List a |
268 | testdata/Prelude.lc 41:21-41:23 {a} -> List a | 268 | testdata/Prelude.lc 41:21-41:23 {a} -> List a |
269 | testdata/Prelude.lc 41:21-44:49 List a_ -> List b_ | a_->b_ | 269 | testdata/Prelude.lc 41:21-44:49 List a_ -> List b_ | a_->b_ |
270 | testdata/Prelude.lc 42:22-44:49 List c_ | List c_ -> List c_ | b_ -> List c_ -> List c_ | 270 | testdata/Prelude.lc 42:22-44:49 List c_ | List c_ -> List c_ | b_ -> List c_ -> List c_ |
@@ -392,10 +392,10 @@ testdata/Prelude.lc 71:24-71:33 List a_ -> List b_ -> List c_ | |||
392 | testdata/Prelude.lc 71:32-71:33 o_ | 392 | testdata/Prelude.lc 71:32-71:33 o_ |
393 | testdata/Prelude.lc 71:36-71:70 (List h_, List h_) | 393 | testdata/Prelude.lc 71:36-71:70 (List h_, List h_) |
394 | testdata/Prelude.lc 71:37-71:43 p_ | 394 | testdata/Prelude.lc 71:37-71:43 p_ |
395 | testdata/Prelude.lc 71:37-71:49 c_->b_ -> (e_, d_)->(d_, c_) | 395 | testdata/Prelude.lc 71:37-71:49 (c_->b_) -> (e_, d_)->(d_, c_) |
396 | testdata/Prelude.lc 71:37-71:58 (b_, b_)->(b_, b_) | 396 | testdata/Prelude.lc 71:37-71:58 (b_, b_)->(b_, b_) |
397 | testdata/Prelude.lc 71:44-71:45 n_ -> o_->Ordering | 397 | testdata/Prelude.lc 71:44-71:45 n_ -> o_->Ordering |
398 | testdata/Prelude.lc 71:46-71:49 {a} -> {b} -> {c} -> {d} -> a->c -> b->d -> (a, b)->(c, d) | 398 | testdata/Prelude.lc 71:46-71:49 {a} -> {b} -> {c} -> {d} -> (a->c) -> (b->d) -> (a, b)->(c, d) |
399 | testdata/Prelude.lc 71:50-71:56 (k_ -> l_->Ordering) -> e_->d_ | 399 | testdata/Prelude.lc 71:50-71:56 (k_ -> l_->Ordering) -> e_->d_ |
400 | testdata/Prelude.lc 71:50-71:58 b_->b_ | 400 | testdata/Prelude.lc 71:50-71:58 b_->b_ |
401 | testdata/Prelude.lc 71:57-71:58 i_ -> j_->Ordering | 401 | testdata/Prelude.lc 71:57-71:58 i_ -> j_->Ordering |
@@ -403,19 +403,19 @@ testdata/Prelude.lc 71:61-71:66 {a} -> List a -> (List a, List a) | |||
403 | testdata/Prelude.lc 71:61-71:69 (List a_, List a_) | 403 | testdata/Prelude.lc 71:61-71:69 (List a_, List a_) |
404 | testdata/Prelude.lc 71:67-71:69 k_ | 404 | testdata/Prelude.lc 71:67-71:69 k_ |
405 | testdata/Prelude.lc 73:12-73:32 Type | 405 | testdata/Prelude.lc 73:12-73:32 Type |
406 | testdata/Prelude.lc 73:12-74:35 a_->b_ | {a} -> a->a -> a -> List a | 406 | testdata/Prelude.lc 73:12-74:35 a_->b_ | {a} -> (a->a) -> a -> List a |
407 | testdata/Prelude.lc 73:13-73:14 b_ | 407 | testdata/Prelude.lc 73:13-73:14 b_ |
408 | testdata/Prelude.lc 73:18-73:19 Type | 408 | testdata/Prelude.lc 73:18-73:19 Type |
409 | testdata/Prelude.lc 73:24-73:25 Type | 409 | testdata/Prelude.lc 73:24-73:25 Type |
410 | testdata/Prelude.lc 73:24-73:32 Type | 410 | testdata/Prelude.lc 73:24-73:32 Type |
411 | testdata/Prelude.lc 73:29-73:32 Type | 411 | testdata/Prelude.lc 73:29-73:32 Type |
412 | testdata/Prelude.lc 73:30-73:31 Type | 412 | testdata/Prelude.lc 73:30-73:31 Type |
413 | testdata/Prelude.lc 74:1-74:8 {a} -> a->a -> a -> List a | 413 | testdata/Prelude.lc 74:1-74:8 {a} -> (a->a) -> a -> List a |
414 | testdata/Prelude.lc 74:16-74:17 d_ | 414 | testdata/Prelude.lc 74:16-74:17 d_ |
415 | testdata/Prelude.lc 74:16-74:19 List c_ -> List d_ | 415 | testdata/Prelude.lc 74:16-74:19 List c_ -> List d_ |
416 | testdata/Prelude.lc 74:16-74:35 List c_ | a_->b_ -> b_ -> List c_ | b_ -> List c_ | 416 | testdata/Prelude.lc 74:16-74:35 (a_->b_) -> b_ -> List c_ | List c_ | b_ -> List c_ |
417 | testdata/Prelude.lc 74:18-74:19 {a} -> a -> List a -> List a | 417 | testdata/Prelude.lc 74:18-74:19 {a} -> a -> List a -> List a |
418 | testdata/Prelude.lc 74:20-74:27 {a} -> a->a -> a -> List a | 418 | testdata/Prelude.lc 74:20-74:27 {a} -> (a->a) -> a -> List a |
419 | testdata/Prelude.lc 74:20-74:29 c_ -> List d_ | 419 | testdata/Prelude.lc 74:20-74:29 c_ -> List d_ |
420 | testdata/Prelude.lc 74:20-74:35 List c_ | 420 | testdata/Prelude.lc 74:20-74:35 List c_ |
421 | testdata/Prelude.lc 74:28-74:29 d_->e_ | 421 | testdata/Prelude.lc 74:28-74:29 d_->e_ |
@@ -452,7 +452,7 @@ testdata/Prelude.lc 126:22-126:29 Type | |||
452 | testdata/Prelude.lc 127:7-127:17 RecordC c_ | Type | {a : List RecItem} -> HList ('map RecItem Type 'recItemType a) -> RecordC a | 452 | testdata/Prelude.lc 127:7-127:17 RecordC c_ | Type | {a : List RecItem} -> HList ('map RecItem Type 'recItemType a) -> RecordC a |
453 | testdata/Prelude.lc 127:19-127:24 List Type -> Type | 453 | testdata/Prelude.lc 127:19-127:24 List Type -> Type |
454 | testdata/Prelude.lc 127:19-127:45 Type | 454 | testdata/Prelude.lc 127:19-127:45 Type |
455 | testdata/Prelude.lc 127:26-127:29 {a} -> {b} -> a->b -> List a -> List b | 455 | testdata/Prelude.lc 127:26-127:29 {a} -> {b} -> (a->b) -> List a -> List b |
456 | testdata/Prelude.lc 127:26-127:41 List RecItem -> List Type | 456 | testdata/Prelude.lc 127:26-127:41 List RecItem -> List Type |
457 | testdata/Prelude.lc 127:26-127:44 List Type | 457 | testdata/Prelude.lc 127:26-127:44 List Type |
458 | testdata/Prelude.lc 127:30-127:41 RecItem->Type | 458 | testdata/Prelude.lc 127:30-127:41 RecItem->Type |
@@ -479,18 +479,18 @@ testdata/Prelude.lc 130:69-130:70 String | |||
479 | testdata/Prelude.lc 130:71-130:72 Type | 479 | testdata/Prelude.lc 130:71-130:72 Type |
480 | testdata/Prelude.lc 130:73-130:75 List i_ | 480 | testdata/Prelude.lc 130:73-130:75 List i_ |
481 | testdata/Prelude.lc 132:1-132:7 {a} -> {b : List Type} -> HList ('Cons a b) -> a | 481 | testdata/Prelude.lc 132:1-132:7 {a} -> {b : List Type} -> HList ('Cons a b) -> a |
482 | testdata/Prelude.lc 132:10-132:23 {a} -> {b : List Type} -> c:Type -> (a -> HList b -> c) -> HList ('Cons a b) -> c | 482 | testdata/Prelude.lc 132:10-132:23 {a} -> {b : List Type} -> (c:Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c |
483 | testdata/Prelude.lc 132:10-132:25 (c_ -> HList c_ -> c_) -> HList ('Cons d_ c_) -> c_ | 483 | testdata/Prelude.lc 132:10-132:25 (c_ -> HList c_ -> c_) -> HList ('Cons d_ c_) -> c_ |
484 | testdata/Prelude.lc 132:10-132:37 HList ('Cons b_ a_) -> c_ | 484 | testdata/Prelude.lc 132:10-132:37 HList ('Cons b_ a_) -> c_ |
485 | testdata/Prelude.lc 132:27-132:36 c_ -> HList c_ -> c_ | 485 | testdata/Prelude.lc 132:27-132:36 c_ -> HList c_ -> c_ |
486 | testdata/Prelude.lc 132:35-132:36 HList c_ -> c_ | e_ | 486 | testdata/Prelude.lc 132:35-132:36 HList c_ -> c_ | e_ |
487 | testdata/Prelude.lc 133:1-133:7 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b | 487 | testdata/Prelude.lc 133:1-133:7 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b |
488 | testdata/Prelude.lc 133:10-133:23 {a} -> {b : List Type} -> c:Type -> (a -> HList b -> c) -> HList ('Cons a b) -> c | 488 | testdata/Prelude.lc 133:10-133:23 {a} -> {b : List Type} -> (c:Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c |
489 | testdata/Prelude.lc 133:10-133:25 (c_ -> HList c_ -> c_) -> HList ('Cons d_ c_) -> c_ | 489 | testdata/Prelude.lc 133:10-133:25 (c_ -> HList c_ -> c_) -> HList ('Cons d_ c_) -> c_ |
490 | testdata/Prelude.lc 133:10-133:37 HList ('Cons b_ a_) -> HList b_ | 490 | testdata/Prelude.lc 133:10-133:37 HList ('Cons b_ a_) -> HList b_ |
491 | testdata/Prelude.lc 133:27-133:36 c_ -> HList c_ -> c_ | 491 | testdata/Prelude.lc 133:27-133:36 c_ -> HList c_ -> c_ |
492 | testdata/Prelude.lc 133:35-133:36 HList c_ -> c_ | HList d_ | 492 | testdata/Prelude.lc 133:35-133:36 HList c_ -> c_ | HList d_ |
493 | testdata/Prelude.lc 136:12-138:181 a_->b_ | {a} -> {b : List RecItem} -> c:String -> {_ : 'isKeyC c a b} -> RecordC b -> a | 493 | testdata/Prelude.lc 136:12-138:181 a_->b_ | {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a |
494 | testdata/Prelude.lc 136:28-136:37 Type | 494 | testdata/Prelude.lc 136:28-136:37 Type |
495 | testdata/Prelude.lc 136:28-136:97 Type | 495 | testdata/Prelude.lc 136:28-136:97 Type |
496 | testdata/Prelude.lc 136:29-136:36 Type | 496 | testdata/Prelude.lc 136:29-136:36 Type |
@@ -509,11 +509,11 @@ testdata/Prelude.lc 136:82-136:92 Type | |||
509 | testdata/Prelude.lc 136:82-136:97 Type | 509 | testdata/Prelude.lc 136:82-136:97 Type |
510 | testdata/Prelude.lc 136:90-136:92 List RecItem | 510 | testdata/Prelude.lc 136:90-136:92 List RecItem |
511 | testdata/Prelude.lc 136:96-136:97 Type | 511 | testdata/Prelude.lc 136:96-136:97 Type |
512 | testdata/Prelude.lc 137:1-137:8 {a} -> {b : List RecItem} -> c:String -> {_ : 'isKeyC c a b} -> RecordC b -> a | 512 | testdata/Prelude.lc 137:1-137:8 {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a |
513 | testdata/Prelude.lc 137:57-137:58 String | 513 | testdata/Prelude.lc 137:57-137:58 String |
514 | testdata/Prelude.lc 137:57-137:61 String->Bool | 514 | testdata/Prelude.lc 137:57-137:61 String->Bool |
515 | testdata/Prelude.lc 137:57-137:64 Bool | 515 | testdata/Prelude.lc 137:57-137:64 Bool |
516 | testdata/Prelude.lc 137:57-138:181 HList ('map RecItem Type 'recItemType b_) -> b_ | List c_ -> c_ | RecordC c_ -> e_ | String -> Type->c_ | Type->c_ | a:String -> {_ : 'isKeyC a c_ b_} -> RecordC c_ -> e_ | b_ -> List c_ -> c_ | e_ | g_ | j_ | m_ | {_ : 'isKeyC a_ c_ b_} -> RecordC c_ -> e_ | {a : List RecItem} -> b:String -> {_ : 'isKeyC b c_ a} -> RecordC a -> e_ | {a} -> {b : List RecItem} -> c:String -> {_ : 'isKeyC c a b} -> RecordC b -> a | 516 | testdata/Prelude.lc 137:57-138:181 (a:String) -> {_ : 'isKeyC a c_ b_} -> RecordC c_ -> e_ | HList ('map RecItem Type 'recItemType b_) -> b_ | List c_ -> c_ | RecordC c_ -> e_ | String -> Type->c_ | Type->c_ | b_ -> List c_ -> c_ | e_ | g_ | j_ | m_ | {_ : 'isKeyC a_ c_ b_} -> RecordC c_ -> e_ | {a : List RecItem} -> (b:String) -> {_ : 'isKeyC b c_ a} -> RecordC a -> e_ | {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a |
517 | testdata/Prelude.lc 137:59-137:61 {a} -> {_ : Eq a} -> a -> a->Bool | 517 | testdata/Prelude.lc 137:59-137:61 {a} -> {_ : Eq a} -> a -> a->Bool |
518 | testdata/Prelude.lc 137:62-137:64 String | 518 | testdata/Prelude.lc 137:62-137:64 String |
519 | testdata/Prelude.lc 137:67-137:73 {a} -> {b : List Type} -> HList ('Cons a b) -> a | 519 | testdata/Prelude.lc 137:67-137:73 {a} -> {b : List Type} -> HList ('Cons a b) -> a |
@@ -529,15 +529,15 @@ testdata/Prelude.lc 137:101-137:102 Type | |||
529 | testdata/Prelude.lc 137:101-137:104 List Type -> List Type | 529 | testdata/Prelude.lc 137:101-137:104 List Type -> List Type |
530 | testdata/Prelude.lc 137:101-137:123 List Type | 530 | testdata/Prelude.lc 137:101-137:123 List Type |
531 | testdata/Prelude.lc 137:103-137:104 {a} -> a -> List a -> List a | 531 | testdata/Prelude.lc 137:103-137:104 {a} -> a -> List a -> List a |
532 | testdata/Prelude.lc 137:105-137:108 {a} -> {b} -> a->b -> List a -> List b | 532 | testdata/Prelude.lc 137:105-137:108 {a} -> {b} -> (a->b) -> List a -> List b |
533 | testdata/Prelude.lc 137:105-137:120 List RecItem -> List Type | 533 | testdata/Prelude.lc 137:105-137:120 List RecItem -> List Type |
534 | testdata/Prelude.lc 137:105-137:123 List Type | 534 | testdata/Prelude.lc 137:105-137:123 List Type |
535 | testdata/Prelude.lc 137:109-137:120 RecItem->Type | 535 | testdata/Prelude.lc 137:109-137:120 RecItem->Type |
536 | testdata/Prelude.lc 137:121-137:123 List RecItem | 536 | testdata/Prelude.lc 137:121-137:123 List RecItem |
537 | testdata/Prelude.lc 137:126-137:128 HList ('map RecItem Type 'recItemType d_) | 537 | testdata/Prelude.lc 137:126-137:128 HList ('map RecItem Type 'recItemType d_) |
538 | testdata/Prelude.lc 138:57-138:64 {a} -> {b : List RecItem} -> c:String -> {_ : 'isKeyC c a b} -> RecordC b -> a | 538 | testdata/Prelude.lc 138:57-138:64 {a} -> {b : List RecItem} -> (c:String) -> {_ : 'isKeyC c a b} -> RecordC b -> a |
539 | testdata/Prelude.lc 138:57-138:67 {a : List RecItem} -> b:String -> {_ : 'isKeyC b r_ a} -> RecordC a -> t_ | 539 | testdata/Prelude.lc 138:57-138:67 {a : List RecItem} -> (b:String) -> {_ : 'isKeyC b r_ a} -> RecordC a -> t_ |
540 | testdata/Prelude.lc 138:57-138:71 a:String -> {_ : 'isKeyC a p_ i_} -> RecordC j_ -> r_ | 540 | testdata/Prelude.lc 138:57-138:71 (a:String) -> {_ : 'isKeyC a p_ i_} -> RecordC j_ -> r_ |
541 | testdata/Prelude.lc 138:57-138:73 {_ : 'isKeyC m_ o_ h_} -> RecordC i_ -> q_ | 541 | testdata/Prelude.lc 138:57-138:73 {_ : 'isKeyC m_ o_ h_} -> RecordC i_ -> q_ |
542 | testdata/Prelude.lc 138:57-138:103 RecordC h_ -> p_ | 542 | testdata/Prelude.lc 138:57-138:103 RecordC h_ -> p_ |
543 | testdata/Prelude.lc 138:57-138:181 n_ | 543 | testdata/Prelude.lc 138:57-138:181 n_ |
@@ -567,7 +567,7 @@ testdata/Prelude.lc 138:151-138:152 Type | |||
567 | testdata/Prelude.lc 138:151-138:154 List Type -> List Type | 567 | testdata/Prelude.lc 138:151-138:154 List Type -> List Type |
568 | testdata/Prelude.lc 138:151-138:173 List Type | 568 | testdata/Prelude.lc 138:151-138:173 List Type |
569 | testdata/Prelude.lc 138:153-138:154 {a} -> a -> List a -> List a | 569 | testdata/Prelude.lc 138:153-138:154 {a} -> a -> List a -> List a |
570 | testdata/Prelude.lc 138:155-138:158 {a} -> {b} -> a->b -> List a -> List b | 570 | testdata/Prelude.lc 138:155-138:158 {a} -> {b} -> (a->b) -> List a -> List b |
571 | testdata/Prelude.lc 138:155-138:170 List RecItem -> List Type | 571 | testdata/Prelude.lc 138:155-138:170 List RecItem -> List Type |
572 | testdata/Prelude.lc 138:155-138:173 List Type | 572 | testdata/Prelude.lc 138:155-138:173 List Type |
573 | testdata/Prelude.lc 138:159-138:170 RecItem->Type | 573 | testdata/Prelude.lc 138:159-138:170 RecItem->Type |
@@ -1481,7 +1481,7 @@ testdata/Prelude.lc 374:29-374:30 b_ | |||
1481 | testdata/Prelude.lc 375:9-375:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a | 1481 | testdata/Prelude.lc 375:9-375:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a |
1482 | testdata/Prelude.lc 375:9-375:20 VecScalar a_ Float -> VecScalar b_ Float | 1482 | testdata/Prelude.lc 375:9-375:20 VecScalar a_ Float -> VecScalar b_ Float |
1483 | testdata/Prelude.lc 375:9-375:33 VecScalar 3 Float | 1483 | testdata/Prelude.lc 375:9-375:33 VecScalar 3 Float |
1484 | testdata/Prelude.lc 375:19-375:20 {a} -> {b} -> a->b -> a->b | 1484 | testdata/Prelude.lc 375:19-375:20 {a} -> {b} -> (a->b) -> a->b |
1485 | testdata/Prelude.lc 375:21-375:24 Vec 3 Float | 1485 | testdata/Prelude.lc 375:21-375:24 Vec 3 Float |
1486 | testdata/Prelude.lc 375:21-375:26 VecS Float 3 -> VecS Float 3 | 1486 | testdata/Prelude.lc 375:21-375:26 VecS Float 3 -> VecS Float 3 |
1487 | testdata/Prelude.lc 375:21-375:33 VecS Float 3 | 1487 | testdata/Prelude.lc 375:21-375:33 VecS Float 3 |
@@ -1490,7 +1490,7 @@ testdata/Prelude.lc 375:27-375:33 Vec 3 Float | |||
1490 | testdata/Prelude.lc 376:9-376:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a | 1490 | testdata/Prelude.lc 376:9-376:18 {a} -> {b:Nat} -> {_ : a ~ VecScalar b Float} -> a->a |
1491 | testdata/Prelude.lc 376:9-376:20 VecScalar a_ Float -> VecScalar b_ Float | 1491 | testdata/Prelude.lc 376:9-376:20 VecScalar a_ Float -> VecScalar b_ Float |
1492 | testdata/Prelude.lc 376:9-376:33 VecScalar 3 Float | 1492 | testdata/Prelude.lc 376:9-376:33 VecScalar 3 Float |
1493 | testdata/Prelude.lc 376:19-376:20 {a} -> {b} -> a->b -> a->b | 1493 | testdata/Prelude.lc 376:19-376:20 {a} -> {b} -> (a->b) -> a->b |
1494 | testdata/Prelude.lc 376:21-376:23 Vec 3 Float | 1494 | testdata/Prelude.lc 376:21-376:23 Vec 3 Float |
1495 | testdata/Prelude.lc 376:21-376:31 VecS Float 3 -> VecS Float 3 | 1495 | testdata/Prelude.lc 376:21-376:31 VecS Float 3 -> VecS Float 3 |
1496 | testdata/Prelude.lc 376:21-376:33 VecS Float 3 | 1496 | testdata/Prelude.lc 376:21-376:33 VecS Float 3 |
@@ -1504,7 +1504,7 @@ testdata/Prelude.lc 377:19-377:20 VecScalar 3 Float | |||
1504 | testdata/Prelude.lc 378:9-378:18 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c | 1504 | testdata/Prelude.lc 378:9-378:18 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c |
1505 | testdata/Prelude.lc 378:9-378:20 Mat c_ b_ a_ -> Mat c_ d_ b_ | 1505 | testdata/Prelude.lc 378:9-378:20 Mat c_ b_ a_ -> Mat c_ d_ b_ |
1506 | testdata/Prelude.lc 378:9-378:65 Mat 4 4 Float | 1506 | testdata/Prelude.lc 378:9-378:65 Mat 4 4 Float |
1507 | testdata/Prelude.lc 378:19-378:20 {a} -> {b} -> a->b -> a->b | 1507 | testdata/Prelude.lc 378:19-378:20 {a} -> {b} -> (a->b) -> a->b |
1508 | testdata/Prelude.lc 378:21-378:25 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1508 | testdata/Prelude.lc 378:21-378:25 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1509 | testdata/Prelude.lc 378:21-378:34 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1509 | testdata/Prelude.lc 378:21-378:34 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1510 | testdata/Prelude.lc 378:21-378:43 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1510 | testdata/Prelude.lc 378:21-378:43 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |