switch to ansi-wl-pprint

1 files changed, 85 insertions, 85 deletions

diff --git a/testdata/Internals.out b/testdata/Internals.out
index 2fd24406..8f9dc73c 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -1,90 +1,90 @@
 main is not found
 ------------ trace
-typeAnn :: {a} -> a->a
-parens :: {a} -> a->a
-undefined :: {a}->a
-primFix :: {a} -> (a->a)->a
-'Unit :: Type
-TT :: 'Unit
-'UnitCase :: (a : 'Unit->Type) -> a TT -> (b:'Unit) -> a b
-match'Unit :: (a : Type->Type) -> a 'Unit -> (b:Type) -> a b -> a b
-'String :: Type
-'StringCase :: (a : 'String->Type) -> (b:'String) -> a b
-match'String :: (a : Type->Type) -> a 'String -> (b:Type) -> a b -> a b
-'Empty :: 'String->Type
-'EmptyCase :: {a:'String} -> (b : 'Empty a -> Type) -> (c : 'Empty a) -> b c
-match'Empty :: (a : Type->Type) -> ((b:'String) -> a ('Empty b)) -> (c:Type) -> a c -> a c
-unsafeCoerce :: {a} -> {b} -> a->b
-'EqCT :: (a:Type) -> a -> a->Type
-parEval :: (a:Type) -> a -> a->a
-'T2 :: Type -> Type->Type
-match'Type :: (a : Type->Type) -> a Type -> (b:Type) -> a b -> a b
-'EqCTt :: {a} -> a -> a->Type
-t2C :: 'Unit -> 'Unit->'Unit
-'Int :: Type
-'IntCase :: (a : 'Int->Type) -> (b:'Int) -> a b
-match'Int :: (a : Type->Type) -> a 'Int -> (b:Type) -> a b -> a b
-'Word :: Type
-'WordCase :: (a : 'Word->Type) -> (b:'Word) -> a b
-match'Word :: (a : Type->Type) -> a 'Word -> (b:Type) -> a b -> a b
-'Float :: Type
-'FloatCase :: (a : 'Float->Type) -> (b:'Float) -> a b
-match'Float :: (a : Type->Type) -> a 'Float -> (b:Type) -> a b -> a b
-'Char :: Type
-'CharCase :: (a : 'Char->Type) -> (b:'Char) -> a b
-match'Char :: (a : Type->Type) -> a 'Char -> (b:Type) -> a b -> a b
-'Bool :: Type
-False :: 'Bool
-True :: 'Bool
-'BoolCase :: (a : 'Bool->Type) -> a False -> a True -> (b:'Bool) -> a b
-match'Bool :: (a : Type->Type) -> a 'Bool -> (b:Type) -> a b -> a b
-'Ordering :: Type
-LT :: 'Ordering
-EQ :: 'Ordering
-GT :: 'Ordering
-'OrderingCase :: (a : 'Ordering->Type) -> a LT -> a EQ -> a GT -> (b:'Ordering) -> a b
-match'Ordering :: (a : Type->Type) -> a 'Ordering -> (b:Type) -> a b -> a b
-'Nat :: Type
-Zero :: 'Nat
-Succ :: 'Nat->'Nat
-'NatCase :: (a : 'Nat->Type) -> a 0 -> ((b:'Nat) -> a (Succ b)) -> (c:'Nat) -> a c
-match'Nat :: (a : Type->Type) -> a 'Nat -> (b:Type) -> a b -> a b
-primIntToWord :: 'Int->'Word
-primIntToFloat :: 'Int->'Float
-primIntToNat :: 'Int->'Nat
-primCompareInt :: 'Int -> 'Int->'Ordering
-primCompareWord :: 'Word -> 'Word->'Ordering
-primCompareFloat :: 'Float -> 'Float->'Ordering
-primCompareChar :: 'Char -> 'Char->'Ordering
-primCompareString :: 'String -> 'String->'Ordering
-primNegateInt :: 'Int->'Int
-primNegateWord :: 'Word->'Word
-primNegateFloat :: 'Float->'Float
-primAddInt :: 'Int -> 'Int->'Int
-primSubInt :: 'Int -> 'Int->'Int
-primModInt :: 'Int -> 'Int->'Int
-primSqrtFloat :: 'Float->'Float
-primRound :: 'Float->'Int
-primIfThenElse :: {a} -> 'Bool -> a -> a->a
-isEQ :: 'Ordering->'Bool
-'Num :: Type->Type
-fromInt :: {a} -> {_ : 'Num a} -> 'Int->a
-compare :: {a} -> {_ : 'Num a} -> a -> a->'Ordering
-negate :: {a} -> {_ : 'Num a} -> a->a
-'Eq :: Type->Type
-== :: {a} -> {_ : 'Eq a} -> a -> a->'Bool
-'List :: Type->Type
-Nil :: {a} -> 'List a
-Cons :: {a} -> a -> 'List a -> 'List a
-'ListCase :: {a} -> (b : 'List a -> Type) -> b Nil -> ((c:a) -> (d : 'List a) -> b (Cons c d)) -> (e : 'List a) -> b e
-match'List :: (a : Type->Type) -> ((b:Type) -> a ('List b)) -> (c:Type) -> a c -> a c
-'HList :: 'List Type -> Type
-HNil :: ()
-HCons :: {a} -> {b : 'List Type} -> a -> 'HList b -> 'HList (Cons a b)
-'HListCase :: (a : (b : 'List Type) -> 'HList b -> Type) -> a Nil () -> ({c} -> {d : 'List Type} -> (e:c) -> (f : 'HList d) -> a (Cons c d) (HCons c d e f)) -> {g : 'List Type} -> (h : 'HList g) -> a g h
-match'HList :: (a : Type->Type) -> ((b : 'List Type) -> a ('HList b)) -> (c:Type) -> a c -> a c
-hlistNilCase :: (a:Type) -> a -> ()->a
-hlistConsCase :: {a} -> {b : 'List Type} -> (c:Type) -> (a -> 'HList b -> c) -> 'HList (Cons a b) -> c
+typeAnn :: {a} -> a->a
+parens :: {a} -> a->a
+undefined :: {a}->a
+primFix :: {a} -> (a->a)->a
+'Unit :: Type
+TT :: 'Unit
+'UnitCase :: (a : 'Unit->Type) -> a TT -> (b:'Unit) -> a b
+match'Unit :: (a : Type->Type) -> a 'Unit -> (b:Type) -> a b -> a b
+'String :: Type
+'StringCase :: (a : 'String->Type) -> (b:'String) -> a b
+match'String :: (a : Type->Type) -> a 'String -> (b:Type) -> a b -> a b
+'Empty :: 'String->Type
+'EmptyCase :: {a:'String} -> (b : 'Empty a -> Type) -> (c : 'Empty a) -> b c
+match'Empty :: (a : Type->Type) -> ((b:'String) -> a ('Empty b)) -> (c:Type) -> a c -> a c
+unsafeCoerce :: {a} -> {b} -> a->b
+'EqCT :: (a:Type) -> a -> a->Type
+parEval :: (a:Type) -> a -> a->a
+'T2 :: Type -> Type->Type
+match'Type :: (a : Type->Type) -> a Type -> (b:Type) -> a b -> a b
+'EqCTt :: {a} -> a -> a->Type
+t2C :: 'Unit -> 'Unit->'Unit
+'Int :: Type
+'IntCase :: (a : 'Int->Type) -> (b:'Int) -> a b
+match'Int :: (a : Type->Type) -> a 'Int -> (b:Type) -> a b -> a b
+'Word :: Type
+'WordCase :: (a : 'Word->Type) -> (b:'Word) -> a b
+match'Word :: (a : Type->Type) -> a 'Word -> (b:Type) -> a b -> a b
+'Float :: Type
+'FloatCase :: (a : 'Float->Type) -> (b:'Float) -> a b
+match'Float :: (a : Type->Type) -> a 'Float -> (b:Type) -> a b -> a b
+'Char :: Type
+'CharCase :: (a : 'Char->Type) -> (b:'Char) -> a b
+match'Char :: (a : Type->Type) -> a 'Char -> (b:Type) -> a b -> a b
+'Bool :: Type
+False :: 'Bool
+True :: 'Bool
+'BoolCase :: (a : 'Bool->Type) -> a False -> a True -> (b:'Bool) -> a b
+match'Bool :: (a : Type->Type) -> a 'Bool -> (b:Type) -> a b -> a b
+'Ordering :: Type
+LT :: 'Ordering
+EQ :: 'Ordering
+GT :: 'Ordering
+'OrderingCase :: (a : 'Ordering->Type) -> a LT -> a EQ -> a GT -> (b:'Ordering) -> a b
+match'Ordering :: (a : Type->Type) -> a 'Ordering -> (b:Type) -> a b -> a b
+'Nat :: Type
+Zero :: 'Nat
+Succ :: 'Nat->'Nat
+'NatCase :: (a : 'Nat->Type) -> a 0 -> ((b:'Nat) -> a (Succ b)) -> (c:'Nat) -> a c
+match'Nat :: (a : Type->Type) -> a 'Nat -> (b:Type) -> a b -> a b
+primIntToWord :: 'Int->'Word
+primIntToFloat :: 'Int->'Float
+primIntToNat :: 'Int->'Nat
+primCompareInt :: 'Int -> 'Int->'Ordering
+primCompareWord :: 'Word -> 'Word->'Ordering
+primCompareFloat :: 'Float -> 'Float->'Ordering
+primCompareChar :: 'Char -> 'Char->'Ordering
+primCompareString :: 'String -> 'String->'Ordering
+primNegateInt :: 'Int->'Int
+primNegateWord :: 'Word->'Word
+primNegateFloat :: 'Float->'Float
+primAddInt :: 'Int -> 'Int->'Int
+primSubInt :: 'Int -> 'Int->'Int
+primModInt :: 'Int -> 'Int->'Int
+primSqrtFloat :: 'Float->'Float
+primRound :: 'Float->'Int
+primIfThenElse :: {a} -> 'Bool -> a -> a->a
+isEQ :: 'Ordering->'Bool
+'Num :: Type->Type
+fromInt :: {a} -> {_ : 'Num a} -> 'Int->a
+compare :: {a} -> {_ : 'Num a} -> a -> a->'Ordering
+negate :: {a} -> {_ : 'Num a} -> a->a
+'Eq :: Type->Type
+== :: {a} -> {_ : 'Eq a} -> a -> a->'Bool
+'List :: Type->Type
+Nil :: {a} -> 'List a
+Cons :: {a} -> a -> 'List a -> 'List a
+'ListCase :: {a} -> (b : 'List a -> Type) -> b Nil -> ((c:a) -> (d : 'List a) -> b (Cons c d)) -> (e : 'List a) -> b e
+match'List :: (a : Type->Type) -> ((b:Type) -> a ('List b)) -> (c:Type) -> a c -> a c
+'HList :: 'List Type -> Type
+HNil :: ()
+HCons :: {a} -> {b : 'List Type} -> a -> 'HList b -> 'HList (Cons a b)
+'HListCase :: (a : (b : 'List Type) -> 'HList b -> Type) -> a Nil () -> ({c} -> {d : 'List Type} -> (e:c) -> (f : 'HList d) -> a (Cons c d) (HCons c d e f)) -> {g : 'List Type} -> (h : 'HList g) -> a g h
+match'HList :: (a : Type->Type) -> ((b : 'List Type) -> a ('HList b)) -> (c:Type) -> a c -> a c
+hlistNilCase :: (a:Type) -> a -> ()->a
+hlistConsCase :: {a} -> {b : 'List Type} -> (c:Type) -> (a -> 'HList b -> c) -> 'HList (Cons a b) -> c
 ------------ tooltips
 testdata/Internals.lc 6:1-6:8  {a} -> a->a
 testdata/Internals.lc 6:13-6:14  b_