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