improve pretty print layout & show desugared source code in .out files

1 files changed, 241 insertions, 11 deletions

diff --git a/testdata/Internals.out b/testdata/Internals.out
index af664ddd..520e7204 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -1,3 +1,207 @@
+------------ desugared source code
+typeAnn = \(a :: _) -> _rhs a
+parens = \(a :: _) -> _rhs a
+undefined :: forall a . a
+primFix :: forall a . (a -> a) -> a
+data Unit :: Type where
+    TT :: Unit
+data String :: Type where
+    
+data Empty (_ :: String) :: Type where
+    
+unsafeCoerce :: forall (a :: _) (b :: _) . a -> b
+'EqCT :: forall a -> a -> a -> Type
+parEval :: forall (a :: _) -> a -> a -> a
+'T2 :: Type -> Type -> Type
+match'Type :: forall (a :: Type -> Type) -> a Type -> forall b -> a b -> a b
+'EqCTt = _rhs ('EqCT (_ :: _))
+t2C :: Unit -> Unit -> Unit
+data Int :: Type where
+    
+data Word :: Type where
+    
+data Float :: Type where
+    
+data Char :: Type where
+    
+data Bool :: Type where
+    False :: Bool
+    True :: Bool
+data Ordering :: Type where
+    LT :: Ordering
+    EQ :: Ordering
+    GT :: Ordering
+data Nat :: Type where
+    Zero :: Nat
+    Succ :: Nat -> Nat
+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 :: _) (b :: _) (c :: _) -> 'BoolCase \_ -> _ :: _ (_rhs c) (_rhs b) a)
+    :: forall (d :: _) . Bool -> d -> d -> d
+isEQ
+  = \(a :: _) -> 'OrderingCase
+    \_ -> _ :: _
+    (_rhs False)
+    (_rhs True)
+    (_rhs False)
+    a
+'Num
+  = (\(a :: _) -> match'Int
+      \_ -> _
+      (_rhs 'Unit)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs 'Unit)
+        a
+        (match'Float
+          \_ -> _
+          (_rhs 'Unit)
+          a
+          (match'Nat
+            \_ -> _
+            (_rhs 'Unit)
+            a
+            (_rhs ('Empty "no instance of 'Num on ???"))))))
+    :: Type -> Type
+fromInt
+  = (\ @a -> \ @_ -> match'Int
+      \_ -> _
+      (_rhs \(b := _rhs \(c :: _) -> c) -> b)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs \(d := _rhs primIntToWord) -> d)
+        a
+        (match'Float
+          \_ -> _
+          (_rhs \(e := _rhs primIntToFloat) -> e)
+          a
+          (match'Nat \_ -> _ (_rhs \(f := _rhs primIntToNat) -> f) a (_rhs undefined)))))
+    :: forall g . Num g => Int -> g
+compare
+  = (\ @a -> \ @_ -> match'Int
+      \_ -> _
+      (_rhs \(b := _rhs primCompareInt) -> b)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs \(c := _rhs primCompareWord) -> c)
+        a
+        (match'Float
+          \_ -> _
+          (_rhs \(d := _rhs primCompareFloat) -> d)
+          a
+          (match'Nat \_ -> _ (_rhs \(e := _rhs undefined) -> e) a (_rhs undefined)))))
+    :: forall f . Num f => f -> f -> Ordering
+negate
+  = (\ @a -> \ @_ -> match'Int
+      \_ -> _
+      (_rhs \(b := _rhs primNegateInt) -> b)
+      a
+      (match'Word
+        \_ -> _
+        (_rhs \(c := _rhs primNegateWord) -> c)
+        a
+        (match'Float
+          \_ -> _
+          (_rhs \(d := _rhs primNegateFloat) -> d)
+          a
+          (match'Nat \_ -> _ (_rhs \(e := _rhs undefined) -> e) a (_rhs undefined)))))
+    :: forall f . Num f => f -> f
+'Eq
+  = (\(a :: _) -> match'String
+      \_ -> _
+      (_rhs 'Unit)
+      a
+      (match'Char
+        \_ -> _
+        (_rhs 'Unit)
+        a
+        (match'Int
+          \_ -> _
+          (_rhs 'Unit)
+          a
+          (match'Float
+            \_ -> _
+            (_rhs 'Unit)
+            a
+            (match'Bool
+              \_ -> _
+              (_rhs 'Unit)
+              a
+              (match'Nat
+                \_ -> _
+                (_rhs 'Unit)
+                a
+                (_rhs ('Empty "no instance of 'Eq on ???"))))))))
+    :: Type -> Type
+==
+  = (\ @a -> \ @_ -> match'String
+      \_ -> _
+      (_rhs \(b := \(c :: _) (d :: _) -> _rhs (isEQ (primCompareString c d))) -> b)
+      a
+      (match'Char
+        \_ -> _
+        (_rhs \(e := \(f :: _) (g :: _) -> _rhs (isEQ (primCompareChar f g))) -> e)
+        a
+        (match'Int
+          \_ -> _
+          (_rhs \(h := \(i :: _) (j :: _) -> _rhs (isEQ (primCompareInt i j))) -> h)
+          a
+          (match'Float
+            \_ -> _
+            (_rhs \(k := \(l :: _) (m :: _) -> _rhs (isEQ (primCompareFloat l m))) -> k)
+            a
+            (match'Bool
+              \_ -> _
+              (_rhs
+                \(n
+                  := \(o :: _) (p :: _) -> 'BoolCase
+                    \_ -> _ :: _
+                    ('BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) p)
+                    ('BoolCase \_ -> _ :: _ (_rhs False) (_rhs True) p)
+                    o) -> n)
+              a
+              (match'Nat
+                \_ -> _
+                (_rhs
+                  \(q
+                    := \(r :: _) (s :: _) -> 'NatCase
+                      \_ -> _ :: _
+                      ('NatCase \_ -> _ :: _ (_rhs True) \_ -> _rhs False s)
+                      \(t :: _) -> 'NatCase \_ -> _ :: _ (_rhs False) \(u :: _) -> _rhs (t == u) s
+                      r) -> q)
+                a
+                (_rhs undefined)))))))
+    :: forall v . Eq v => v -> v -> Bool
+infix 4 ==
+data List (_ :: Type) :: Type where
+    Nil :: List _a
+    Cons :: _a -> List _a -> List _a
+infixr 5 Cons
+data HList :: List Type -> Type where
+    HNil :: HList 'Nil
+    HCons :: forall (a :: _) (b :: _) . a -> HList b -> HList (a : b)
+hlistNilCase :: forall (a :: _) -> a -> HList Nil -> a
+hlistConsCase
+  :: forall a (b :: List Type)
+    . forall (c :: _) -> (a -> HList b -> c) -> HList (Cons a b) -> c
 main is not found
 ------------ trace
 typeAnn :: forall a . a -> a
@@ -12,8 +216,11 @@ match'Unit :: forall (a :: Type -> Type) -> a Unit[0
 'StringCase :: forall (a :: String -> Type) (b :: String) -> a b
 match'String :: forall (a :: Type -> Type) -> a String -> forall b -> a b -> a b
 'Empty :: String -> Type
-'EmptyCase :: forall (a :: String) . forall (b :: Empty a -> Type) (c :: Empty a) -> b c
-match'Empty :: forall (a :: Type -> Type) -> (forall (b :: String) -> a (Empty b)) -> forall c -> a c -> a c
+'EmptyCase
+  :: forall (a :: String) . forall (b :: Empty a -> Type) (c :: Empty a) -> b c
+match'Empty
+  :: forall (a :: Type -> Type)
+    -> (forall (b :: String) -> a (Empty b)) -> forall c -> a c -> a c
 unsafeCoerce :: forall a b . a -> b
 'EqCT :: forall a -> a -> a -> Type
 parEval :: forall a -> a -> a -> a
@@ -36,18 +243,25 @@ match'Char :: forall (a :: Type -> Type) -> a Char[0
 'Bool :: Type
 False :: Bool
 True :: Bool
-'BoolCase :: forall (a :: Bool -> Type) -> a 'False -> a 'True -> forall (b :: Bool) -> a b
+'BoolCase
+  :: forall (a :: Bool -> Type)
+    -> a 'False -> a 'True -> forall (b :: Bool) -> a b
 match'Bool :: forall (a :: Type -> Type) -> a Bool -> forall b -> a b -> a b
 'Ordering :: Type
 LT :: Ordering
 EQ :: Ordering
 GT :: Ordering
-'OrderingCase :: forall (a :: Ordering -> Type) -> a 'LT -> a 'EQ -> a 'GT -> forall (b :: Ordering) -> a b
-match'Ordering :: forall (a :: Type -> Type) -> a Ordering -> forall b -> a b -> a b
+'OrderingCase
+  :: forall (a :: Ordering -> Type)
+    -> a 'LT -> a 'EQ -> a 'GT -> forall (b :: Ordering) -> a b
+match'Ordering
+  :: forall (a :: Type -> Type) -> a Ordering -> forall b -> a b -> a b
 'Nat :: Type
 Zero :: Nat
 Succ :: Nat -> Nat
-'NatCase :: forall (a :: Nat -> Type) -> a 0 -> (forall (b :: Nat) -> a ('Succ b)) -> forall (c :: Nat) -> a c
+'NatCase
+  :: forall (a :: Nat -> Type)
+    -> a 0 -> (forall (b :: Nat) -> a ('Succ b)) -> forall (c :: Nat) -> a c
 match'Nat :: forall (a :: Type -> Type) -> a Nat -> forall b -> a b -> a b
 primIntToWord :: Int -> Word
 primIntToFloat :: Int -> Float
@@ -76,15 +290,31 @@ negate :: forall a . Num a => a[0
 'List :: Type -> Type
 Nil :: forall a . List a
 Cons :: forall a . a -> List a -> List a
-'ListCase :: forall a . forall (b :: List a -> Type) -> b 'Nil -> (forall (c :: a) (d :: List a) -> b ('Cons c d)) -> forall (e :: List a) -> b e
-match'List :: forall (a :: Type -> Type) -> (forall b -> a (List b)) -> forall c -> a c -> a c
+'ListCase
+  :: forall a
+    . forall (b :: List a -> Type)
+      -> b 'Nil
+        -> (forall (c :: a) (d :: List a) -> b ('Cons c d))
+          -> forall (e :: List a) -> b e
+match'List
+  :: forall (a :: Type -> Type)
+    -> (forall b -> a (List b)) -> forall c -> a c -> a c
 'HList :: List Type -> Type
 HNil :: ()
 HCons :: forall a (b :: List Type) . a -> HList b -> HList ('Cons a b)
-'HListCase :: forall (a :: forall (b :: List Type) -> HList b -> Type) -> a 'Nil () -> (forall c (d :: List Type) . forall (e :: c) (f :: HList d) -> a ('Cons c d) ('HCons c d e f)) -> forall (g :: List Type) . forall (h :: HList g) -> a g h
-match'HList :: forall (a :: Type -> Type) -> (forall (b :: List Type) -> a (HList b)) -> forall c -> a c -> a c
+'HListCase
+  :: forall (a :: forall (b :: List Type) -> HList b -> Type)
+    -> a 'Nil ()
+      -> (forall c (d :: List Type)
+          . forall (e :: c) (f :: HList d) -> a ('Cons c d) ('HCons c d e f))
+        -> forall (g :: List Type) . forall (h :: HList g) -> a g h
+match'HList
+  :: forall (a :: Type -> Type)
+    -> (forall (b :: List Type) -> a (HList b)) -> forall c -> a c -> a c
 hlistNilCase :: forall a -> a -> () -> a
-hlistConsCase :: forall a (b :: List Type) . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c
+hlistConsCase
+  :: forall a (b :: List Type)
+    . forall c -> (a -> HList b -> c) -> HList ('Cons a b) -> c
 ------------ tooltips
 testdata/Internals.lc 6:1-6:8  forall a . a -> a
 testdata/Internals.lc 6:13-6:14  _b