diff options
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r-- | testdata/Prelude.out | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 23dd4a4a..287c9734 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -25,17 +25,17 @@ snd :: [32mforall a b . ([32ma[0;32m, [32mb[0;32m) -> [32mb[0;32m[0m | |||
25 | &&& :: [32m'Bool -> 'Bool -> 'Bool[0m | 25 | &&& :: [32m'Bool -> 'Bool -> 'Bool[0m |
26 | 'RecItem :: [32mType[0m | 26 | 'RecItem :: [32mType[0m |
27 | RecItem :: [32m'String -> Type -> 'RecItem[0m | 27 | RecItem :: [32m'String -> Type -> 'RecItem[0m |
28 | 'RecItemCase :: [32m([32ma[0;32m :: 'RecItem -> Type) -> (([32mb[0;32m :: 'String) -> ([32mc[0;32m :: Type) -> [32m[32ma[0;32m [32m(RecItem [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> ([32md[0;32m :: 'RecItem) -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m[0m | 28 | 'RecItemCase :: [32mforall (a :: 'RecItem -> Type) -> (forall (b :: 'String) c -> [32m[32ma[0;32m [32m(RecItem [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> forall (d :: 'RecItem) -> [32m[32ma[0;32m [32m[32md[0;32m[0;32m[0;32m[0m |
29 | match'RecItem :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'RecItem[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 29 | match'RecItem :: [32mforall (a :: Type -> Type) -> [32m[32ma[0;32m [32m'RecItem[0;32m[0;32m -> forall b -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
30 | recItemType :: [32m'RecItem -> Type[0m | 30 | recItemType :: [32m'RecItem -> Type[0m |
31 | 'RecordC :: [32m'List 'RecItem -> Type[0m | 31 | 'RecordC :: [32m'List 'RecItem -> Type[0m |
32 | RecordCons :: [32mforall (a :: 'List 'RecItem) . 'HList [32m(map [32m'RecItem[0;32m [32mType[0;32m [32m[32mrecItemType[0;32m[0;32m [32m[32ma[0;32m[0;32m)[0;32m -> 'RecordC [32ma[0;32m[0m | 32 | RecordCons :: [32mforall (a :: 'List 'RecItem) . 'HList [32m(map [32m'RecItem[0;32m [32mType[0;32m [32m[32mrecItemType[0;32m[0;32m [32m[32ma[0;32m[0;32m)[0;32m -> 'RecordC [32ma[0;32m[0m |
33 | 'RecordCCase :: [32mforall (a :: 'List 'RecItem) . ([32mb[0;32m :: 'RecordC [32ma[0;32m -> Type) -> (([32mc[0;32m :: 'HList [32m(map [32m'RecItem[0;32m [32mType[0;32m [32m[32mrecItemType[0;32m[0;32m [32m[32ma[0;32m[0;32m)[0;32m) -> [32m[32mb[0;32m [32m(RecordCons [32mc[0;32m)[0;32m[0;32m) -> ([32md[0;32m :: 'RecordC [32ma[0;32m) -> [32m[32mb[0;32m [32m[32md[0;32m[0;32m[0;32m[0m | 33 | 'RecordCCase :: [32mforall (a :: 'List 'RecItem) . forall (b :: 'RecordC [32ma[0;32m -> Type) -> (forall (c :: 'HList [32m(map [32m'RecItem[0;32m [32mType[0;32m [32m[32mrecItemType[0;32m[0;32m [32m[32ma[0;32m[0;32m)[0;32m) -> [32m[32mb[0;32m [32m(RecordCons [32mc[0;32m)[0;32m[0;32m) -> forall (d :: 'RecordC [32ma[0;32m) -> [32m[32mb[0;32m [32m[32md[0;32m[0;32m[0;32m[0m |
34 | match'RecordC :: [32m([32ma[0;32m :: Type -> Type) -> (([32mb[0;32m :: 'List 'RecItem) -> [32m[32ma[0;32m [32m('RecordC [32mb[0;32m)[0;32m[0;32m) -> ([32mc[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 34 | match'RecordC :: [32mforall (a :: Type -> Type) -> (forall (b :: 'List 'RecItem) -> [32m[32ma[0;32m [32m('RecordC [32mb[0;32m)[0;32m[0;32m) -> forall c -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m |
35 | isKeyC :: [32m'String -> Type -> 'List 'RecItem -> Type[0m | 35 | isKeyC :: [32m'String -> Type -> 'List 'RecItem -> Type[0m |
36 | fstTup :: [32mforall a (b :: 'List Type) . 'HList (Cons [32ma[0;32m [32mb[0;32m) -> [32ma[0;32m[0m | 36 | fstTup :: [32mforall a (b :: 'List Type) . 'HList (Cons [32ma[0;32m [32mb[0;32m) -> [32ma[0;32m[0m |
37 | sndTup :: [32mforall a (b :: 'List Type) . 'HList (Cons [32ma[0;32m [32mb[0;32m) -> 'HList [32mb[0;32m[0m | 37 | sndTup :: [32mforall a (b :: 'List Type) . 'HList (Cons [32ma[0;32m [32mb[0;32m) -> 'HList [32mb[0;32m[0m |
38 | project :: [32mforall a (b :: 'List 'RecItem) . ([32mc[0;32m :: 'String) -> [32misKeyC [32m[32mc[0;32m[0;32m [32m[32ma[0;32m[0;32m [32m[32mb[0;32m[0;32m[0;32m => 'RecordC [32mb[0;32m -> [32ma[0;32m[0m | 38 | project :: [32mforall a (b :: 'List 'RecItem) . forall (c :: 'String) -> [32misKeyC [32m[32mc[0;32m[0;32m [32m[32ma[0;32m[0;32m [32m[32mb[0;32m[0;32m[0;32m => 'RecordC [32mb[0;32m -> [32ma[0;32m[0m |
39 | rgb :: [32m'Float -> 'Float -> 'Float -> 'VecS 'Float 4[0m | 39 | rgb :: [32m'Float -> 'Float -> 'Float -> 'VecS 'Float 4[0m |
40 | black :: [32m'VecS 'Float 4[0m | 40 | black :: [32m'VecS 'Float 4[0m |
41 | gray :: [32m'VecS 'Float 4[0m | 41 | gray :: [32m'VecS 'Float 4[0m |
@@ -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 forall a (b :: List Type) . HList ('Cons a b) -> a | 481 | testdata/Prelude.lc 132:1-132:7 forall a (b :: List Type) . HList ('Cons a b) -> a |
482 | testdata/Prelude.lc 132:10-132:23 forall a (b :: List Type) . (c :: Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c | 482 | testdata/Prelude.lc 132:10-132:23 forall a (b :: List Type) . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c |
483 | testdata/Prelude.lc 132:10-132:25 (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a | 483 | testdata/Prelude.lc 132:10-132:25 (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a |
484 | testdata/Prelude.lc 132:10-132:37 HList ('Cons _b _a) -> _b | 484 | testdata/Prelude.lc 132:10-132:37 HList ('Cons _b _a) -> _b |
485 | testdata/Prelude.lc 132:27-132:36 _c -> HList _b -> _a | 485 | testdata/Prelude.lc 132:27-132:36 _c -> HList _b -> _a |
486 | testdata/Prelude.lc 132:35-132:36 HList _c -> _b | _e | 486 | testdata/Prelude.lc 132:35-132:36 HList _c -> _b | _e |
487 | testdata/Prelude.lc 133:1-133:7 forall a (b :: List Type) . HList ('Cons a b) -> HList b | 487 | testdata/Prelude.lc 133:1-133:7 forall a (b :: List Type) . HList ('Cons a b) -> HList b |
488 | testdata/Prelude.lc 133:10-133:23 forall a (b :: List Type) . (c :: Type) -> (a -> HList b -> c) -> HList ('Cons a b) -> c | 488 | testdata/Prelude.lc 133:10-133:23 forall a (b :: List Type) . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c |
489 | testdata/Prelude.lc 133:10-133:25 (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a | 489 | testdata/Prelude.lc 133:10-133:25 (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a |
490 | testdata/Prelude.lc 133:10-133:37 HList ('Cons _b _a) -> HList _a | 490 | testdata/Prelude.lc 133:10-133:37 HList ('Cons _b _a) -> HList _a |
491 | testdata/Prelude.lc 133:27-133:36 _c -> HList _b -> _a | 491 | testdata/Prelude.lc 133:27-133:36 _c -> HList _b -> _a |
492 | testdata/Prelude.lc 133:35-133:36 HList _c -> _b | HList _d | 492 | testdata/Prelude.lc 133:35-133:36 HList _c -> _b | HList _d |
493 | testdata/Prelude.lc 136:12-138:181 _a -> _a | forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a | 493 | testdata/Prelude.lc 136:12-138:181 _a -> _a | forall a (b :: List RecItem) . forall (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 forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a | 512 | testdata/Prelude.lc 137:1-137:8 forall a (b :: List RecItem) . forall (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 'isKeyC _a _c _b => RecordC _b -> _c | (a :: String) -> 'isKeyC a _b _a => RecordC _a -> _b | HList ('map RecItem Type 'recItemType _b) -> _a | List _c -> _b | RecordC _c -> _d | String -> Type -> _a | Type -> _b | _b -> List _b -> _a | _e | _g | _j | _m | forall (a :: List RecItem) . (b :: String) -> 'isKeyC b _a a => RecordC a -> _a | forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a | 516 | testdata/Prelude.lc 137:57-138:181 'isKeyC _a _c _b => RecordC _b -> _c | HList ('map RecItem Type 'recItemType _b) -> _a | List _c -> _b | RecordC _c -> _d | String -> Type -> _a | Type -> _b | _b -> List _b -> _a | _e | _g | _j | _m | forall (a :: List RecItem) . forall (b :: String) -> 'isKeyC b _a a => RecordC a -> _a | forall (a :: String) -> 'isKeyC a _b _a => RecordC _a -> _b | forall a (b :: List RecItem) . forall (c :: String) -> 'isKeyC c a b => RecordC b -> a |
517 | testdata/Prelude.lc 137:59-137:61 forall a . Eq a => a -> a -> Bool | 517 | testdata/Prelude.lc 137:59-137:61 forall 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 forall a (b :: List Type) . HList ('Cons a b) -> a | 519 | testdata/Prelude.lc 137:67-137:73 forall a (b :: List Type) . HList ('Cons a b) -> a |
@@ -535,9 +535,9 @@ 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 forall a (b :: List RecItem) . (c :: String) -> 'isKeyC c a b => RecordC b -> a | 538 | testdata/Prelude.lc 138:57-138:64 forall a (b :: List RecItem) . forall (c :: String) -> 'isKeyC c a b => RecordC b -> a |
539 | testdata/Prelude.lc 138:57-138:67 forall (a :: List RecItem) . (b :: String) -> 'isKeyC b _p a => RecordC a -> _p | 539 | testdata/Prelude.lc 138:57-138:67 forall (a :: List RecItem) . forall (b :: String) -> 'isKeyC b _p a => RecordC a -> _p |
540 | testdata/Prelude.lc 138:57-138:71 (a :: String) -> 'isKeyC a _o _h => RecordC _h -> _o | 540 | testdata/Prelude.lc 138:57-138:71 forall (a :: String) -> 'isKeyC a _o _h => RecordC _h -> _o |
541 | testdata/Prelude.lc 138:57-138:73 'isKeyC _m _o _h => RecordC _h -> _o | 541 | testdata/Prelude.lc 138:57-138:73 'isKeyC _m _o _h => RecordC _h -> _o |
542 | testdata/Prelude.lc 138:57-138:103 RecordC _h -> _o | 542 | testdata/Prelude.lc 138:57-138:103 RecordC _h -> _o |
543 | testdata/Prelude.lc 138:57-138:181 _n | 543 | testdata/Prelude.lc 138:57-138:181 _n |