use (:) instead of Cons everywhere

1 files changed, 20 insertions, 22 deletions

diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index 2fd400f9..3f3db079 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -40,8 +40,7 @@ zip
         \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip d f)
         b
       a)
-    :: forall (g :: _) (h :: _)
-      . List g -> List h -> List (HList ('Cons g ('Cons h 'Nil)))
+    :: forall (g :: _) (h :: _) . List g -> List h -> List (HList (g : h : 'Nil))
 unzip
   = (\(a :: _) -> 'ListCase
       \_ -> _ :: _
@@ -79,8 +78,7 @@ unzip
         b
       a)
     :: forall (s :: _) (t :: _)
-      . List (HList ('Cons s ('Cons t 'Nil)))
-        -> HList ('Cons (List s) ('Cons (List t) 'Nil))
+      . List (HList (s : t : 'Nil)) -> HList (List s : List t : 'Nil)
 filter
   = \(a :: _) (b :: _) -> 'ListCase
     \_ -> _ :: _
@@ -93,7 +91,7 @@ tail
     :: forall (c :: _) . List c -> List c
 pairs
   = (\(a :: _) -> _rhs (zip a (tail a)))
-    :: forall (b :: _) . List b -> List (HList ('Cons b ('Cons b 'Nil)))
+    :: forall (b :: _) . List b -> List (HList (b : b : 'Nil))
 foldl'
   = \(a :: _) (b :: _) (c :: _) -> 'ListCase
     \_ -> _ :: _
@@ -156,7 +154,7 @@ sortBy
     (_rhs Nil)
     \(c :: _) (d :: _) -> 'ListCase
       \_ -> _ :: _
-      (_rhs (Cons c Nil))
+      (_rhs (c : Nil))
       \_ -> \_ -> _rhs (uncurry (mergeBy a) ((sortBy a *** sortBy a) (split b)))
       d
     b
@@ -514,8 +512,8 @@ match'RecordC
   :: forall (a :: Type -> Type)
     -> (forall (b :: List RecItem) -> a (RecordC b)) -> forall c -> a c -> a c
 isKeyC :: String -> Type -> List RecItem -> Type
-fstTup :: forall a (b :: List Type) . HList ('Cons a b) -> a
-sndTup :: forall a (b :: List Type) . HList ('Cons a b) -> HList b
+fstTup :: forall a (b :: List Type) . HList (: a b) -> a
+sndTup :: forall a (b :: List Type) . HList (: a b) -> HList b
 project
   :: forall a (b :: List RecItem)
     . forall (c :: String) -> isKeyC c a b => RecordC b -> a
@@ -1296,25 +1294,25 @@ testdata/Prelude.lc 130:71-130:72
 testdata/Prelude.lc 130:73-130:75
     List _i
 testdata/Prelude.lc 132:1-132:7
-    forall a (b :: List Type) . HList ('Cons a b) -> a
+    forall a (b :: List Type) . HList (: a b) -> a
 testdata/Prelude.lc 132:10-132:23
     forall a (b :: List Type)
-      . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+      . forall c -> (a -> HList b -> c) -> HList (: a b) -> c
 testdata/Prelude.lc 132:10-132:25
-    (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a
+    (_c -> HList _b -> _a) -> HList (: _c _b) -> _a
 testdata/Prelude.lc 132:10-132:37
-    HList ('Cons _b _a) -> _b
+    HList (: _b _a) -> _b
 testdata/Prelude.lc 132:35-132:36
     _e
 testdata/Prelude.lc 133:1-133:7
-    forall a (b :: List Type) . HList ('Cons a b) -> HList b
+    forall a (b :: List Type) . HList (: a b) -> HList b
 testdata/Prelude.lc 133:10-133:23
     forall a (b :: List Type)
-      . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+      . forall c -> (a -> HList b -> c) -> HList (: a b) -> c
 testdata/Prelude.lc 133:10-133:25
-    (_c -> HList _b -> _a) -> HList ('Cons _c _b) -> _a
+    (_c -> HList _b -> _a) -> HList (: _c _b) -> _a
 testdata/Prelude.lc 133:10-133:37
-    HList ('Cons _b _a) -> HList _a
+    HList (: _b _a) -> HList _a
 testdata/Prelude.lc 133:35-133:36
     HList _d
 testdata/Prelude.lc 136:12-138:181
@@ -1372,7 +1370,7 @@ testdata/Prelude.lc 137:59-137:61
 testdata/Prelude.lc 137:62-137:64
     String
 testdata/Prelude.lc 137:67-137:73
-    forall a (b :: List Type) . HList ('Cons a b) -> a
+    forall a (b :: List Type) . HList (: a b) -> a
 testdata/Prelude.lc 137:67-137:129
     _n
 testdata/Prelude.lc 137:67-138:181
@@ -1382,9 +1380,9 @@ testdata/Prelude.lc 137:75-137:87
 testdata/Prelude.lc 137:75-137:90
     forall a . _a -> a
 testdata/Prelude.lc 137:75-137:125
-    _a -> HList ('Cons _q (map RecItem Type recItemType _j))
+    _a -> HList (: _q (map RecItem Type recItemType _j))
 testdata/Prelude.lc 137:75-137:128
-    HList ('Cons _n (map RecItem Type recItemType _g))
+    HList (: _n (map RecItem Type recItemType _g))
 testdata/Prelude.lc 137:93-137:98
     List Type -> Type
 testdata/Prelude.lc 137:93-137:124
@@ -1452,7 +1450,7 @@ testdata/Prelude.lc 138:105-138:115
 testdata/Prelude.lc 138:105-138:180
     RecordC _b
 testdata/Prelude.lc 138:117-138:123
-    forall a (b :: List Type) . HList ('Cons a b) -> HList b
+    forall a (b :: List Type) . HList (: a b) -> HList b
 testdata/Prelude.lc 138:117-138:179
     HList (map RecItem Type recItemType _h)
 testdata/Prelude.lc 138:125-138:137
@@ -1460,9 +1458,9 @@ testdata/Prelude.lc 138:125-138:137
 testdata/Prelude.lc 138:125-138:140
     forall a . _a -> a
 testdata/Prelude.lc 138:125-138:175
-    _a -> HList ('Cons _r (map RecItem Type recItemType _k))
+    _a -> HList (: _r (map RecItem Type recItemType _k))
 testdata/Prelude.lc 138:125-138:178
-    HList ('Cons _o (map RecItem Type recItemType _h))
+    HList (: _o (map RecItem Type recItemType _h))
 testdata/Prelude.lc 138:143-138:148
     List Type -> Type
 testdata/Prelude.lc 138:143-138:174