cleanup

1 files changed, 10 insertions, 2 deletions

diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index f1faf875..0e7d4e05 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -479,9 +479,17 @@ testdata/Prelude.lc 130:69-130:70  String
 testdata/Prelude.lc 130:71-130:72  Type
 testdata/Prelude.lc 130:73-130:75  List V8
 testdata/Prelude.lc 132:1-132:7  {a} -> {b : List Type} -> HList ('Cons a b) -> a
-testdata/Prelude.lc 132:22-132:23  HList V2 -> V2 | V2 -> HList V2 -> V2 | V4
+testdata/Prelude.lc 132:10-132:23  {a} -> {b : List Type} -> c:Type -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+testdata/Prelude.lc 132:10-132:25  (V2 -> HList V2 -> V2) -> HList ('Cons V3 V2) -> V2
+testdata/Prelude.lc 132:10-132:37  HList ('Cons V1 V0) -> V2
+testdata/Prelude.lc 132:27-132:36  V2 -> HList V2 -> V2
+testdata/Prelude.lc 132:35-132:36  HList V2 -> V2 | V4
 testdata/Prelude.lc 133:1-133:7  {a} -> {b : List Type} -> HList ('Cons a b) -> HList b
-testdata/Prelude.lc 133:22-133:23  HList V2 -> V2 | HList V3 | V2 -> HList V2 -> V2
+testdata/Prelude.lc 133:10-133:23  {a} -> {b : List Type} -> c:Type -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+testdata/Prelude.lc 133:10-133:25  (V2 -> HList V2 -> V2) -> HList ('Cons V3 V2) -> V2
+testdata/Prelude.lc 133:10-133:37  HList ('Cons V1 V0) -> HList V1
+testdata/Prelude.lc 133:27-133:36  V2 -> HList V2 -> V2
+testdata/Prelude.lc 133:35-133:36  HList V2 -> V2 | HList V3
 testdata/Prelude.lc 136:12-138:181  V0->V1 | {a} -> {b : List RecItem} -> c:String -> {d : 'isKeyC c a b} -> RecordC b -> a
 testdata/Prelude.lc 136:28-136:37  Type
 testdata/Prelude.lc 136:28-136:97  Type