diff options
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r-- | testdata/Prelude.out | 36 |
1 files changed, 4 insertions, 32 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 89f6b9ac..a5c55c09 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -270,8 +270,6 @@ testdata/Prelude.lc 41:21-44:49 List V0 -> List V1 | V0->V1 | |||
270 | testdata/Prelude.lc 42:22-44:49 List V2 | List V2 -> List V2 | V1 -> List V2 -> List V2 | 270 | testdata/Prelude.lc 42:22-44:49 List V2 | List V2 -> List V2 | V1 -> List V2 -> List V2 |
271 | testdata/Prelude.lc 42:27-42:31 V6 | 271 | testdata/Prelude.lc 42:27-42:31 V6 |
272 | testdata/Prelude.lc 42:32-42:33 V5 | 272 | testdata/Prelude.lc 42:32-42:33 V5 |
273 | testdata/Prelude.lc 43:24-43:28 V1 | ||
274 | testdata/Prelude.lc 43:24-44:49 List V4 | ||
275 | testdata/Prelude.lc 43:32-44:49 Bool -> List V6 | 273 | testdata/Prelude.lc 43:32-44:49 Bool -> List V6 |
276 | testdata/Prelude.lc 43:33-43:34 V7 | 274 | testdata/Prelude.lc 43:33-43:34 V7 |
277 | testdata/Prelude.lc 43:33-43:36 List V6 -> List V7 | 275 | testdata/Prelude.lc 43:33-43:36 List V6 -> List V7 |
@@ -291,9 +289,7 @@ testdata/Prelude.lc 49:10-49:11 V1 | |||
291 | testdata/Prelude.lc 49:16-49:19 Type | 289 | testdata/Prelude.lc 49:16-49:19 Type |
292 | testdata/Prelude.lc 49:17-49:18 Type | 290 | testdata/Prelude.lc 49:17-49:18 Type |
293 | testdata/Prelude.lc 50:1-50:5 {a} -> List a -> List a | 291 | testdata/Prelude.lc 50:1-50:5 {a} -> List a -> List a |
294 | testdata/Prelude.lc 50:8-50:9 List V1 | 292 | testdata/Prelude.lc 50:16-50:18 List V0 -> List V1 | List V1 | List V2 -> V2 | List V3 | V1 -> List V2 -> V2 |
295 | testdata/Prelude.lc 50:8-50:18 List V0 -> List V1 | List V1 | ||
296 | testdata/Prelude.lc 50:16-50:18 List V2 -> V2 | List V3 | V1 -> List V2 -> V2 | ||
297 | testdata/Prelude.lc 52:10-52:13 Type | 293 | testdata/Prelude.lc 52:10-52:13 Type |
298 | testdata/Prelude.lc 52:10-52:25 Type | 294 | testdata/Prelude.lc 52:10-52:25 Type |
299 | testdata/Prelude.lc 52:11-52:12 V1 | 295 | testdata/Prelude.lc 52:11-52:12 V1 |
@@ -321,8 +317,6 @@ testdata/Prelude.lc 56:34-56:35 V13 | |||
321 | testdata/Prelude.lc 56:36-56:37 V10 | 317 | testdata/Prelude.lc 56:36-56:37 V10 |
322 | testdata/Prelude.lc 56:39-56:41 List V7 | 318 | testdata/Prelude.lc 56:39-56:41 List V7 |
323 | testdata/Prelude.lc 58:1-58:7 {a} -> (a -> a->a) -> List a -> a | 319 | testdata/Prelude.lc 58:1-58:7 {a} -> (a -> a->a) -> List a -> a |
324 | testdata/Prelude.lc 58:12-58:13 V2 | ||
325 | testdata/Prelude.lc 58:12-58:32 V0 | ||
326 | testdata/Prelude.lc 58:20-58:25 {a} -> {b} -> (b -> a->a) -> a -> List b -> a | 320 | testdata/Prelude.lc 58:20-58:25 {a} -> {b} -> (b -> a->a) -> a -> List b -> a |
327 | testdata/Prelude.lc 58:20-58:27 V1 -> List V1 -> V3 | 321 | testdata/Prelude.lc 58:20-58:27 V1 -> List V1 -> V3 |
328 | testdata/Prelude.lc 58:20-58:29 List V0 -> V5 | 322 | testdata/Prelude.lc 58:20-58:29 List V0 -> V5 |
@@ -349,17 +343,11 @@ testdata/Prelude.lc 61:41-61:43 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V5 | |||
349 | testdata/Prelude.lc 61:47-61:52 V8 | 343 | testdata/Prelude.lc 61:47-61:52 V8 |
350 | testdata/Prelude.lc 61:53-61:55 List V7 | 344 | testdata/Prelude.lc 61:53-61:55 List V7 |
351 | testdata/Prelude.lc 63:1-63:8 {a} -> (a -> a->Ordering) -> List a -> List a -> List a | 345 | testdata/Prelude.lc 63:1-63:8 {a} -> (a -> a->Ordering) -> List a -> List a -> List a |
352 | testdata/Prelude.lc 63:13-63:14 List V0 | ||
353 | testdata/Prelude.lc 63:13-67:21 List V0 | V0->V1 | ||
354 | testdata/Prelude.lc 63:20-63:21 List V2 | ||
355 | testdata/Prelude.lc 63:20-67:21 List V1 -> V4 | List V2 | V0 -> List V1 -> V4 | ||
356 | testdata/Prelude.lc 63:27-65:32 List V1 -> V9 | List V4 | V0 -> List V1 -> V9 | 346 | testdata/Prelude.lc 63:27-65:32 List V1 -> V9 | List V4 | V0 -> List V1 -> V9 |
357 | testdata/Prelude.lc 63:27-67:21 List V2 -> List V3 | 347 | testdata/Prelude.lc 63:27-67:21 List V1 -> V4 | List V2 | List V2 -> List V3 | V0 -> List V1 -> V4 | V0->V1 |
358 | testdata/Prelude.lc 63:32-63:33 V9 | 348 | testdata/Prelude.lc 63:32-63:33 V9 |
359 | testdata/Prelude.lc 63:34-63:35 V7 | 349 | testdata/Prelude.lc 63:34-63:35 V7 |
360 | testdata/Prelude.lc 63:36-63:37 V8 | 350 | testdata/Prelude.lc 63:36-63:37 V8 |
361 | testdata/Prelude.lc 64:5-64:7 V1 | ||
362 | testdata/Prelude.lc 64:5-65:32 List V5 | ||
363 | testdata/Prelude.lc 64:11-64:12 V9 | 351 | testdata/Prelude.lc 64:11-64:12 V9 |
364 | testdata/Prelude.lc 64:11-64:13 List V8 -> List V9 | 352 | testdata/Prelude.lc 64:11-64:13 List V8 -> List V9 |
365 | testdata/Prelude.lc 64:11-64:33 List V7 | 353 | testdata/Prelude.lc 64:11-64:33 List V7 |
@@ -438,14 +426,10 @@ testdata/Prelude.lc 76:1-76:4 {a} -> {b} -> (a, b)->a | |||
438 | testdata/Prelude.lc 76:14-76:15 HList V2 -> V2 | V10 | V2 -> HList V2 -> V2 | V3 | V7 | 426 | testdata/Prelude.lc 76:14-76:15 HList V2 -> V2 | V10 | V2 -> HList V2 -> V2 | V3 | V7 |
439 | testdata/Prelude.lc 77:1-77:4 {a} -> {b} -> (a, b)->b | 427 | testdata/Prelude.lc 77:1-77:4 {a} -> {b} -> (a, b)->b |
440 | testdata/Prelude.lc 77:14-77:15 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V5 | 428 | testdata/Prelude.lc 77:14-77:15 HList V2 -> V2 | V2 | V2 -> HList V2 -> V2 | V5 |
441 | testdata/Prelude.lc 79:1-79:6 V2 | ||
442 | testdata/Prelude.lc 79:1-80:18 Bool | ||
443 | testdata/Prelude.lc 79:7-79:10 Bool -> Bool->Bool | 429 | testdata/Prelude.lc 79:7-79:10 Bool -> Bool->Bool |
444 | testdata/Prelude.lc 79:15-79:16 V2 | 430 | testdata/Prelude.lc 79:15-79:16 V2 |
445 | testdata/Prelude.lc 79:15-80:18 Bool->Bool | 431 | testdata/Prelude.lc 79:15-80:18 Bool->Bool |
446 | testdata/Prelude.lc 80:14-80:18 Bool | 432 | testdata/Prelude.lc 80:14-80:18 Bool |
447 | testdata/Prelude.lc 84:1-84:5 V2 | ||
448 | testdata/Prelude.lc 84:1-85:20 Bool | ||
449 | testdata/Prelude.lc 84:6-84:9 Bool -> Bool->Bool | 433 | testdata/Prelude.lc 84:6-84:9 Bool -> Bool->Bool |
450 | testdata/Prelude.lc 84:14-84:15 V1 | 434 | testdata/Prelude.lc 84:14-84:15 V1 |
451 | testdata/Prelude.lc 84:14-85:20 Bool->Bool | 435 | testdata/Prelude.lc 84:14-85:20 Bool->Bool |
@@ -457,8 +441,6 @@ testdata/Prelude.lc 122:16-122:23 RecItem | String -> Type->RecItem | Type | |||
457 | testdata/Prelude.lc 122:24-122:30 Type | 441 | testdata/Prelude.lc 122:24-122:30 Type |
458 | testdata/Prelude.lc 122:31-122:35 Type | 442 | testdata/Prelude.lc 122:31-122:35 Type |
459 | testdata/Prelude.lc 124:1-124:12 RecItem->Type | 443 | testdata/Prelude.lc 124:1-124:12 RecItem->Type |
460 | testdata/Prelude.lc 124:14-124:21 V1 | ||
461 | testdata/Prelude.lc 124:14-124:30 Type | ||
462 | testdata/Prelude.lc 124:29-124:30 String -> Type->V2 | Type | Type->V2 | 444 | testdata/Prelude.lc 124:29-124:30 String -> Type->V2 | Type | Type->V2 |
463 | testdata/Prelude.lc 126:6-126:13 List RecItem -> Type | Type | 445 | testdata/Prelude.lc 126:6-126:13 List RecItem -> Type | Type |
464 | testdata/Prelude.lc 126:6-127:17 Type | 446 | testdata/Prelude.lc 126:6-127:17 Type |
@@ -495,12 +477,8 @@ testdata/Prelude.lc 130:69-130:70 String | |||
495 | testdata/Prelude.lc 130:71-130:72 Type | 477 | testdata/Prelude.lc 130:71-130:72 Type |
496 | testdata/Prelude.lc 130:73-130:75 List V8 | 478 | testdata/Prelude.lc 130:73-130:75 List V8 |
497 | testdata/Prelude.lc 132:1-132:7 {a} -> {b : List Type} -> HList ('Cons a b) -> a | 479 | testdata/Prelude.lc 132:1-132:7 {a} -> {b : List Type} -> HList ('Cons a b) -> a |
498 | testdata/Prelude.lc 132:9-132:14 V3 | ||
499 | testdata/Prelude.lc 132:9-132:23 V1 | ||
500 | testdata/Prelude.lc 132:22-132:23 HList V2 -> V2 | V2 -> HList V2 -> V2 | V4 | 480 | testdata/Prelude.lc 132:22-132:23 HList V2 -> V2 | V2 -> HList V2 -> V2 | V4 |
501 | testdata/Prelude.lc 133:1-133:7 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b | 481 | testdata/Prelude.lc 133:1-133:7 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b |
502 | testdata/Prelude.lc 133:9-133:14 V3 | ||
503 | testdata/Prelude.lc 133:9-133:23 HList V0 | ||
504 | testdata/Prelude.lc 133:22-133:23 HList V2 -> V2 | HList V3 | V2 -> HList V2 -> V2 | 482 | testdata/Prelude.lc 133:22-133:23 HList V2 -> V2 | HList V3 | V2 -> HList V2 -> V2 |
505 | testdata/Prelude.lc 136:12-138:181 V0->V1 | {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a | 483 | testdata/Prelude.lc 136:12-138:181 V0->V1 | {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a |
506 | testdata/Prelude.lc 136:28-136:37 Type | 484 | testdata/Prelude.lc 136:28-136:37 Type |
@@ -522,14 +500,10 @@ testdata/Prelude.lc 136:82-136:97 Type | |||
522 | testdata/Prelude.lc 136:90-136:92 List RecItem | 500 | testdata/Prelude.lc 136:90-136:92 List RecItem |
523 | testdata/Prelude.lc 136:96-136:97 Type | 501 | testdata/Prelude.lc 136:96-136:97 Type |
524 | testdata/Prelude.lc 137:1-137:8 {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a | 502 | testdata/Prelude.lc 137:1-137:8 {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a |
525 | testdata/Prelude.lc 137:28-137:29 List RecItem | ||
526 | testdata/Prelude.lc 137:28-138:181 RecordC V2 -> V4 | V4 | a:String -> {b : 'isKeyC a V2 V1} -> RecordC V2 -> V4 | {a : 'isKeyC V0 V2 V1} -> RecordC V2 -> V4 | {a : List RecItem} -> b:String -> {c : 'isKeyC b V2 a} -> RecordC a -> V4 | {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a | ||
527 | testdata/Prelude.lc 137:40-137:50 RecordC V9 | ||
528 | testdata/Prelude.lc 137:40-138:181 List V2 -> V2 | String -> Type->V2 | Type->V2 | V1 -> List V2 -> V2 | V6 | V9 | ||
529 | testdata/Prelude.lc 137:57-137:58 String | 503 | testdata/Prelude.lc 137:57-137:58 String |
530 | testdata/Prelude.lc 137:57-137:61 String->Bool | 504 | testdata/Prelude.lc 137:57-137:61 String->Bool |
531 | testdata/Prelude.lc 137:57-137:64 Bool | 505 | testdata/Prelude.lc 137:57-137:64 Bool |
532 | testdata/Prelude.lc 137:57-138:181 HList ('map RecItem Type 'recItemType V1) -> V1 | V12 | 506 | testdata/Prelude.lc 137:57-138:181 HList ('map RecItem Type 'recItemType V1) -> V1 | List V2 -> V2 | RecordC V2 -> V4 | String -> Type->V2 | Type->V2 | V1 -> List V2 -> V2 | V12 | V4 | V6 | V9 | a:String -> {b : 'isKeyC a V2 V1} -> RecordC V2 -> V4 | {a : 'isKeyC V0 V2 V1} -> RecordC V2 -> V4 | {a : List RecItem} -> b:String -> {c : 'isKeyC b V2 a} -> RecordC a -> V4 | {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a |
533 | testdata/Prelude.lc 137:59-137:61 {a} -> {b : Eq a} -> a -> a->Bool | 507 | testdata/Prelude.lc 137:59-137:61 {a} -> {b : Eq a} -> a -> a->Bool |
534 | testdata/Prelude.lc 137:62-137:64 String | 508 | testdata/Prelude.lc 137:62-137:64 String |
535 | testdata/Prelude.lc 137:67-137:73 {a} -> {b : List Type} -> HList ('Cons a b) -> a | 509 | testdata/Prelude.lc 137:67-137:73 {a} -> {b : List Type} -> HList ('Cons a b) -> a |
@@ -1595,11 +1569,9 @@ testdata/Prelude.lc 387:10-387:11 V1 | |||
1595 | testdata/Prelude.lc 387:16-387:19 Type | 1569 | testdata/Prelude.lc 387:16-387:19 Type |
1596 | testdata/Prelude.lc 387:16-387:24 Type | 1570 | testdata/Prelude.lc 387:16-387:24 Type |
1597 | testdata/Prelude.lc 387:23-387:24 Type | 1571 | testdata/Prelude.lc 387:23-387:24 Type |
1598 | testdata/Prelude.lc 388:4-388:5 List V2 | ||
1599 | testdata/Prelude.lc 388:4-389:30 Int->V2 | List V0 -> Int->V2 | V2 | ||
1600 | testdata/Prelude.lc 388:10-388:12 {a} -> List a -> Int->a | 1572 | testdata/Prelude.lc 388:10-388:12 {a} -> List a -> Int->a |
1601 | testdata/Prelude.lc 388:19-388:20 V3 | 1573 | testdata/Prelude.lc 388:19-388:20 V3 |
1602 | testdata/Prelude.lc 388:19-389:30 Bool->V4 | List V2 -> V2 | V1 -> List V2 -> V2 | V2 | 1574 | testdata/Prelude.lc 388:19-389:30 Bool->V4 | Int->V2 | List V0 -> Int->V2 | List V2 -> V2 | V1 -> List V2 -> V2 | V2 |
1603 | testdata/Prelude.lc 389:19-389:21 List V5 | 1575 | testdata/Prelude.lc 389:19-389:21 List V5 |
1604 | testdata/Prelude.lc 389:19-389:24 Int->V5 | 1576 | testdata/Prelude.lc 389:19-389:24 Int->V5 |
1605 | testdata/Prelude.lc 389:19-389:30 V3 | 1577 | testdata/Prelude.lc 389:19-389:30 V3 |