improve pretty printing & try to fix local function handling

1 files changed, 16 insertions, 16 deletions

diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out
index 841eda57..973e69be 100644
--- a/testdata/language-features/basic-values/fixity02.out
+++ b/testdata/language-features/basic-values/fixity02.out
@@ -16,37 +16,37 @@ infixr 6 @>
 
 infixr 6 funR
 
-value1 = _rhs (HNil @> 'c' @> "hi" @> 1.2 :: Float)
+value1 = _rhs (() @> 'c' @> "hi" @> 1.2 :: Float)
 
-value2 = _rhs (HNil @> 'c' <@ "hi" @> 1.2 :: Float)
+value2 = _rhs (() @> 'c' <@ "hi" @> 1.2 :: Float)
 
-value3 = _rhs (HNil <@ 'c' @> "hi" @> 1.2 :: Float)
+value3 = _rhs (() <@ 'c' @> "hi" @> 1.2 :: Float)
 
-value4 = _rhs (HNil <@ 'c' <@ "hi" @> 1.2 :: Float)
+value4 = _rhs (() <@ 'c' <@ "hi" @> 1.2 :: Float)
 
-value5 = _rhs (HNil @> 'c' @> "hi" <@ 1.2 :: String)
+value5 = _rhs (() @> 'c' @> "hi" <@ 1.2 :: String)
 
-value6 = _rhs (HNil @> 'c' <@ "hi" <@ 1.2 :: Char)
+value6 = _rhs (() @> 'c' <@ "hi" <@ 1.2 :: Char)
 
-value7 = _rhs (HNil <@ 'c' @> "hi" <@ 1.2 :: String)
+value7 = _rhs (() <@ 'c' @> "hi" <@ 1.2 :: String)
 
-value8 = _rhs (HNil <@ 'c' <@ "hi" <@ 1.2 :: HList '[])
+value8 = _rhs (() <@ 'c' <@ "hi" <@ 1.2 :: ())
 
-funValue1 = _rhs (HNil `funR` 'c' `funR` "hi" `funR` 1.2 :: Float)
+funValue1 = _rhs (() `funR` 'c' `funR` "hi" `funR` 1.2 :: Float)
 
-funValue2 = _rhs (HNil `funR` 'c' `funL` "hi" `funR` 1.2 :: Float)
+funValue2 = _rhs (() `funR` 'c' `funL` "hi" `funR` 1.2 :: Float)
 
-funValue3 = _rhs (HNil `funL` 'c' `funR` "hi" `funR` 1.2 :: Float)
+funValue3 = _rhs (() `funL` 'c' `funR` "hi" `funR` 1.2 :: Float)
 
-funValue4 = _rhs (HNil `funL` 'c' `funL` "hi" `funR` 1.2 :: Float)
+funValue4 = _rhs (() `funL` 'c' `funL` "hi" `funR` 1.2 :: Float)
 
-funValue5 = _rhs (HNil `funR` 'c' `funR` "hi" `funL` 1.2 :: String)
+funValue5 = _rhs (() `funR` 'c' `funR` "hi" `funL` 1.2 :: String)
 
-funValue6 = _rhs (HNil `funR` 'c' `funL` "hi" `funL` 1.2 :: Char)
+funValue6 = _rhs (() `funR` 'c' `funL` "hi" `funL` 1.2 :: Char)
 
-funValue7 = _rhs (HNil `funL` 'c' `funR` "hi" `funL` 1.2 :: String)
+funValue7 = _rhs (() `funL` 'c' `funR` "hi" `funL` 1.2 :: String)
 
-funValue8 = _rhs (HNil `funL` 'c' `funL` "hi" `funL` 1.2 :: HList '[])
+funValue8 = _rhs (() `funL` 'c' `funL` "hi" `funL` 1.2 :: ())
 ------------ trace
 funL :: forall a b . a -> b -> a
 funR :: forall a b . a -> b -> b