summaryrefslogtreecommitdiff
path: root/testdata/Prelude.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-04-19 10:36:13 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-04-19 10:36:13 +0200
commit445da179fab22a16cd68aa9f1139d77a2e121543 (patch)
tree772983bf71a2ef70a26c40e90b667befd7a9d77f /testdata/Prelude.out
parent94963d9fedafa68481dc0c1b9c0e14f2b4f233b5 (diff)
refactoring & fix switching to type namespace after @
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r--testdata/Prelude.out136
1 files changed, 68 insertions, 68 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 4f04ea11..6f5c5a87 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -510,7 +510,7 @@ testdata/Prelude.lc 133:1-133:7 {a} -> {b : List Type} -> HList ('Cons a b) ->
510testdata/Prelude.lc 133:9-133:14 V3 510testdata/Prelude.lc 133:9-133:14 V3
511testdata/Prelude.lc 133:9-133:23 HList V0 511testdata/Prelude.lc 133:9-133:23 HList V0
512testdata/Prelude.lc 133:22-133:23 HList V2 -> V2 | HList V3 | V2 -> HList V2 -> V2 512testdata/Prelude.lc 133:22-133:23 HList V2 -> V2 | HList V3 | V2 -> HList V2 -> V2
513testdata/Prelude.lc 136:12-138:180 V0->V1 | {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a 513testdata/Prelude.lc 136:12-138:181 V0->V1 | {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a
514testdata/Prelude.lc 136:28-136:37 Type 514testdata/Prelude.lc 136:28-136:37 Type
515testdata/Prelude.lc 136:28-136:97 Type 515testdata/Prelude.lc 136:28-136:97 Type
516testdata/Prelude.lc 136:29-136:36 Type 516testdata/Prelude.lc 136:29-136:36 Type
@@ -530,73 +530,73 @@ testdata/Prelude.lc 136:82-136:97 Type
530testdata/Prelude.lc 136:90-136:92 List RecItem 530testdata/Prelude.lc 136:90-136:92 List RecItem
531testdata/Prelude.lc 136:96-136:97 Type 531testdata/Prelude.lc 136:96-136:97 Type
532testdata/Prelude.lc 137:1-137:8 {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a 532testdata/Prelude.lc 137:1-137:8 {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a
533testdata/Prelude.lc 137:27-137:28 List RecItem 533testdata/Prelude.lc 137:28-137:29 List RecItem
534testdata/Prelude.lc 137:27-138:180 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 534testdata/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
535testdata/Prelude.lc 137:39-137:49 RecordC V9 535testdata/Prelude.lc 137:40-137:50 RecordC V9
536testdata/Prelude.lc 137:39-138:180 List V2 -> V2 | String -> Type->V2 | Type->V2 | V1 -> List V2 -> V2 | V6 | V9 536testdata/Prelude.lc 137:40-138:181 List V2 -> V2 | String -> Type->V2 | Type->V2 | V1 -> List V2 -> V2 | V6 | V9
537testdata/Prelude.lc 137:56-137:57 String 537testdata/Prelude.lc 137:57-137:58 String
538testdata/Prelude.lc 137:56-137:60 String->Bool 538testdata/Prelude.lc 137:57-137:61 String->Bool
539testdata/Prelude.lc 137:56-137:63 Bool 539testdata/Prelude.lc 137:57-137:64 Bool
540testdata/Prelude.lc 137:56-138:180 HList ('map RecItem Type 'recItemType V1) -> V1 | V12 540testdata/Prelude.lc 137:57-138:181 HList ('map RecItem Type 'recItemType V1) -> V1 | V12
541testdata/Prelude.lc 137:58-137:60 {a} -> {b : Eq a} -> a -> a->Bool 541testdata/Prelude.lc 137:59-137:61 {a} -> {b : Eq a} -> a -> a->Bool
542testdata/Prelude.lc 137:61-137:63 String 542testdata/Prelude.lc 137:62-137:64 String
543testdata/Prelude.lc 137:66-137:72 {a} -> {b : List Type} -> HList ('Cons a b) -> a 543testdata/Prelude.lc 137:67-137:73 {a} -> {b : List Type} -> HList ('Cons a b) -> a
544testdata/Prelude.lc 137:66-137:128 V13 544testdata/Prelude.lc 137:67-137:129 V13
545testdata/Prelude.lc 137:66-138:180 Bool->V14 545testdata/Prelude.lc 137:67-138:181 Bool->V14
546testdata/Prelude.lc 137:74-137:86 {a} -> {b} -> a->b 546testdata/Prelude.lc 137:75-137:87 {a} -> {b} -> a->b
547testdata/Prelude.lc 137:74-137:89 {a} -> V1->a 547testdata/Prelude.lc 137:75-137:90 {a} -> V1->a
548testdata/Prelude.lc 137:74-137:124 V0 -> HList ('Cons V17 ('map RecItem Type 'recItemType V10)) 548testdata/Prelude.lc 137:75-137:125 V0 -> HList ('Cons V17 ('map RecItem Type 'recItemType V10))
549testdata/Prelude.lc 137:74-137:127 HList ('Cons V13 ('map RecItem Type 'recItemType V6)) 549testdata/Prelude.lc 137:75-137:128 HList ('Cons V13 ('map RecItem Type 'recItemType V6))
550testdata/Prelude.lc 137:92-137:97 List Type -> Type 550testdata/Prelude.lc 137:93-137:98 List Type -> Type
551testdata/Prelude.lc 137:92-137:123 Type 551testdata/Prelude.lc 137:93-137:124 Type
552testdata/Prelude.lc 137:100-137:101 Type 552testdata/Prelude.lc 137:101-137:102 Type
553testdata/Prelude.lc 137:100-137:103 List Type -> List Type 553testdata/Prelude.lc 137:101-137:104 List Type -> List Type
554testdata/Prelude.lc 137:100-137:122 List Type 554testdata/Prelude.lc 137:101-137:123 List Type
555testdata/Prelude.lc 137:102-137:103 {a} -> a -> List a -> List a 555testdata/Prelude.lc 137:103-137:104 {a} -> a -> List a -> List a
556testdata/Prelude.lc 137:104-137:107 {a} -> {b} -> a->b -> List a -> List b 556testdata/Prelude.lc 137:105-137:108 {a} -> {b} -> a->b -> List a -> List b
557testdata/Prelude.lc 137:104-137:119 List RecItem -> List Type 557testdata/Prelude.lc 137:105-137:120 List RecItem -> List Type
558testdata/Prelude.lc 137:104-137:122 List Type 558testdata/Prelude.lc 137:105-137:123 List Type
559testdata/Prelude.lc 137:108-137:119 RecItem->Type 559testdata/Prelude.lc 137:109-137:120 RecItem->Type
560testdata/Prelude.lc 137:120-137:122 List RecItem 560testdata/Prelude.lc 137:121-137:123 List RecItem
561testdata/Prelude.lc 137:125-137:127 HList ('map RecItem Type 'recItemType V3) 561testdata/Prelude.lc 137:126-137:128 HList ('map RecItem Type 'recItemType V3)
562testdata/Prelude.lc 138:56-138:63 {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a 562testdata/Prelude.lc 138:57-138:64 {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a
563testdata/Prelude.lc 138:56-138:66 {a : List RecItem} -> b:String -> {c : 'isKeyC b V17 a} -> RecordC a -> V19 563testdata/Prelude.lc 138:57-138:67 {a : List RecItem} -> b:String -> {c : 'isKeyC b V17 a} -> RecordC a -> V19
564testdata/Prelude.lc 138:56-138:70 a:String -> {b : 'isKeyC a V15 V8} -> RecordC V9 -> V17 564testdata/Prelude.lc 138:57-138:71 a:String -> {b : 'isKeyC a V15 V8} -> RecordC V9 -> V17
565testdata/Prelude.lc 138:56-138:72 {a : 'isKeyC V12 V14 V7} -> RecordC V8 -> V16 565testdata/Prelude.lc 138:57-138:73 {a : 'isKeyC V12 V14 V7} -> RecordC V8 -> V16
566testdata/Prelude.lc 138:56-138:102 RecordC V7 -> V15 566testdata/Prelude.lc 138:57-138:103 RecordC V7 -> V15
567testdata/Prelude.lc 138:56-138:180 V13 567testdata/Prelude.lc 138:57-138:181 V13
568testdata/Prelude.lc 138:65-138:66 Type 568testdata/Prelude.lc 138:66-138:67 Type
569testdata/Prelude.lc 138:68-138:70 List V10 569testdata/Prelude.lc 138:69-138:71 List V10
570testdata/Prelude.lc 138:71-138:72 String 570testdata/Prelude.lc 138:72-138:73 String
571testdata/Prelude.lc 138:75-138:84 {a}->a 571testdata/Prelude.lc 138:76-138:85 {a}->a
572testdata/Prelude.lc 138:75-138:101 'isKeyC V12 V14 V7 572testdata/Prelude.lc 138:76-138:102 'isKeyC V12 V14 V7
573testdata/Prelude.lc 138:87-138:93 String -> Type -> List RecItem -> Type 573testdata/Prelude.lc 138:88-138:94 String -> Type -> List RecItem -> Type
574testdata/Prelude.lc 138:87-138:95 Type -> List RecItem -> Type 574testdata/Prelude.lc 138:88-138:96 Type -> List RecItem -> Type
575testdata/Prelude.lc 138:87-138:97 List RecItem -> Type 575testdata/Prelude.lc 138:88-138:98 List RecItem -> Type
576testdata/Prelude.lc 138:87-138:100 Type 576testdata/Prelude.lc 138:88-138:101 Type
577testdata/Prelude.lc 138:94-138:95 String 577testdata/Prelude.lc 138:95-138:96 String
578testdata/Prelude.lc 138:96-138:97 Type 578testdata/Prelude.lc 138:97-138:98 Type
579testdata/Prelude.lc 138:98-138:100 List RecItem 579testdata/Prelude.lc 138:99-138:101 List RecItem
580testdata/Prelude.lc 138:104-138:114 {a : List RecItem} -> HList ('map RecItem Type 'recItemType a) -> RecordC a 580testdata/Prelude.lc 138:105-138:115 {a : List RecItem} -> HList ('map RecItem Type 'recItemType a) -> RecordC a
581testdata/Prelude.lc 138:104-138:179 RecordC V1 581testdata/Prelude.lc 138:105-138:180 RecordC V1
582testdata/Prelude.lc 138:116-138:122 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b 582testdata/Prelude.lc 138:117-138:123 {a} -> {b : List Type} -> HList ('Cons a b) -> HList b
583testdata/Prelude.lc 138:116-138:178 HList ('map RecItem Type 'recItemType V7) 583testdata/Prelude.lc 138:117-138:179 HList ('map RecItem Type 'recItemType V7)
584testdata/Prelude.lc 138:124-138:136 {a} -> {b} -> a->b 584testdata/Prelude.lc 138:125-138:137 {a} -> {b} -> a->b
585testdata/Prelude.lc 138:124-138:139 {a} -> V1->a 585testdata/Prelude.lc 138:125-138:140 {a} -> V1->a
586testdata/Prelude.lc 138:124-138:174 V0 -> HList ('Cons V18 ('map RecItem Type 'recItemType V11)) 586testdata/Prelude.lc 138:125-138:175 V0 -> HList ('Cons V18 ('map RecItem Type 'recItemType V11))
587testdata/Prelude.lc 138:124-138:177 HList ('Cons V14 ('map RecItem Type 'recItemType V7)) 587testdata/Prelude.lc 138:125-138:178 HList ('Cons V14 ('map RecItem Type 'recItemType V7))
588testdata/Prelude.lc 138:142-138:147 List Type -> Type 588testdata/Prelude.lc 138:143-138:148 List Type -> Type
589testdata/Prelude.lc 138:142-138:173 Type 589testdata/Prelude.lc 138:143-138:174 Type
590testdata/Prelude.lc 138:150-138:151 Type 590testdata/Prelude.lc 138:151-138:152 Type
591testdata/Prelude.lc 138:150-138:153 List Type -> List Type 591testdata/Prelude.lc 138:151-138:154 List Type -> List Type
592testdata/Prelude.lc 138:150-138:172 List Type 592testdata/Prelude.lc 138:151-138:173 List Type
593testdata/Prelude.lc 138:152-138:153 {a} -> a -> List a -> List a 593testdata/Prelude.lc 138:153-138:154 {a} -> a -> List a -> List a
594testdata/Prelude.lc 138:154-138:157 {a} -> {b} -> a->b -> List a -> List b 594testdata/Prelude.lc 138:155-138:158 {a} -> {b} -> a->b -> List a -> List b
595testdata/Prelude.lc 138:154-138:169 List RecItem -> List Type 595testdata/Prelude.lc 138:155-138:170 List RecItem -> List Type
596testdata/Prelude.lc 138:154-138:172 List Type 596testdata/Prelude.lc 138:155-138:173 List Type
597testdata/Prelude.lc 138:158-138:169 RecItem->Type 597testdata/Prelude.lc 138:159-138:170 RecItem->Type
598testdata/Prelude.lc 138:170-138:172 List RecItem 598testdata/Prelude.lc 138:171-138:173 List RecItem
599testdata/Prelude.lc 138:175-138:177 HList ('map RecItem Type 'recItemType V4) 599testdata/Prelude.lc 138:176-138:178 HList ('map RecItem Type 'recItemType V4)
600testdata/Prelude.lc 142:1-142:4 Float -> Float -> Float -> VecS Float 4 600testdata/Prelude.lc 142:1-142:4 Float -> Float -> Float -> VecS Float 4
601testdata/Prelude.lc 142:13-142:15 {a} -> a -> a -> a -> a -> VecS a 4 601testdata/Prelude.lc 142:13-142:15 {a} -> a -> a -> a -> a -> VecS a 4
602testdata/Prelude.lc 142:13-142:17 V5 -> V6 -> V7 -> VecS V8 4 602testdata/Prelude.lc 142:13-142:17 V5 -> V6 -> V7 -> VecS V8 4
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:21:21 +0000