improve pretty print

13 files changed, 52 insertions, 52 deletions

diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 155444a2..9be810e4 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -1,7 +1,7 @@
 type error: can not unify
-'Bool
+'Bool
 with
-'Int
+'Int
 
 in proj
 ------------ trace
@@ -15,9 +15,9 @@ case'Data3
         -> forall (h :: Data3) -> a h
 match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b
 !type error: can not unify
-'Bool
+'Bool
 with
-'Int
+'Int
 
 in proj
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/list07.reject.out b/testdata/language-features/basic-list/list07.reject.out
index a40c8c73..106e8c65 100644
--- a/testdata/language-features/basic-list/list07.reject.out
+++ b/testdata/language-features/basic-list/list07.reject.out
@@ -1,14 +1,14 @@
 type error: can not unify
-'Float
+'Float
 with
-'Char
+'Char
 
 in builtin Nil
 ------------ trace
 !type error: can not unify
-'Float
+'Float
 with
-'Char
+'Char
 
 in builtin Nil
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out
index 0ce8bd30..f84914ac 100644
--- a/testdata/language-features/basic-list/list10.reject.out
+++ b/testdata/language-features/basic-list/list10.reject.out
@@ -1,14 +1,14 @@
 type error: can not unify
-'Int
+'Int
 with
-'Float
+'Float
 
 in builtin Nil
 ------------ trace
 !type error: can not unify
-'Int
+'Int
 with
-'Float
+'Float
 
 in builtin Nil
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/list14.reject.out b/testdata/language-features/basic-list/list14.reject.out
index a8d86a22..65cfb9e0 100644
--- a/testdata/language-features/basic-list/list14.reject.out
+++ b/testdata/language-features/basic-list/list14.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-['Char]
+['Char]
 with
-()
+()
 
 in testdata/language-features/basic-list/list14.reject.lc:1:17:
 value = 'h':'i':()
                 ^^
 ------------ trace
 !type error: can not unify
-['Char]
+['Char]
 with
-()
+()
 
 in testdata/language-features/basic-list/list14.reject.lc:1:17:
 value = 'h':'i':()
diff --git a/testdata/language-features/basic-list/list15.reject.out b/testdata/language-features/basic-list/list15.reject.out
index 4260adbe..c64dccf4 100644
--- a/testdata/language-features/basic-list/list15.reject.out
+++ b/testdata/language-features/basic-list/list15.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-'Char
+'Char
 with
-()
+()
 
 in testdata/language-features/basic-list/list15.reject.lc:1:20:
 value = 'h':'i':():[]
                    ^^
 ------------ trace
 !type error: can not unify
-'Char
+'Char
 with
-()
+()
 
 in testdata/language-features/basic-list/list15.reject.lc:1:20:
 value = 'h':'i':():[]
diff --git a/testdata/language-features/basic-list/list16.reject.out b/testdata/language-features/basic-list/list16.reject.out
index 912f567c..be6468cb 100644
--- a/testdata/language-features/basic-list/list16.reject.out
+++ b/testdata/language-features/basic-list/list16.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-['Char]
+['Char]
 with
-'Char
+'Char
 
 in testdata/language-features/basic-list/list16.reject.lc:1:13:
 value = 'h':'i'
             ^^^
 ------------ trace
 !type error: can not unify
-['Char]
+['Char]
 with
-'Char
+'Char
 
 in testdata/language-features/basic-list/list16.reject.lc:1:13:
 value = 'h':'i'
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index 6ecdfd71..1313a611 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-'Bool
+'Bool
 with
-'String
+'String
 
 in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
 value = [x | x <- [], "not Bool"]
                       ^^^^^^^^^^
 ------------ trace
 !type error: can not unify
-'Bool
+'Bool
 with
-'String
+'String
 
 in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
 value = [x | x <- [], "not Bool"]
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out
index 00cb4f39..55011f4d 100644
--- a/testdata/language-features/basic-values/case04.reject.out
+++ b/testdata/language-features/basic-values/case04.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-()
+()
 with
-'Char
+'Char
 
 in testdata/language-features/basic-values/case04.reject.lc:2:8:
   1 -> '1'
        ^^^
 ------------ trace
 !type error: can not unify
-()
+()
 with
-'Char
+'Char
 
 in testdata/language-features/basic-values/case04.reject.lc:2:8:
   1 -> '1'
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out
index 9ba86d9c..d72492c4 100644
--- a/testdata/language-features/basic-values/if03.reject.out
+++ b/testdata/language-features/basic-values/if03.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-'Bool
+'Bool
 with
-()
+()
 
 in testdata/language-features/basic-values/if03.reject.lc:1:13:
 value1 = if () then () else ()
             ^^
 ------------ trace
 !type error: can not unify
-'Bool
+'Bool
 with
-()
+()
 
 in testdata/language-features/basic-values/if03.reject.lc:1:13:
 value1 = if () then () else ()
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out
index c0df8c35..795be098 100644
--- a/testdata/language-features/basic-values/if04.reject.out
+++ b/testdata/language-features/basic-values/if04.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-()
+()
 with
-'Char
+'Char
 
 in testdata/language-features/basic-values/if04.reject.lc:1:31:
 value1 = if True then () else '_'
                               ^^^
 ------------ trace
 !type error: can not unify
-()
+()
 with
-'Char
+'Char
 
 in testdata/language-features/basic-values/if04.reject.lc:1:31:
 value1 = if True then () else '_'
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out
index c46ac690..262f63a1 100644
--- a/testdata/language-features/guard/guard02.reject.out
+++ b/testdata/language-features/guard/guard02.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-'String
+'String
 with
-()
+()
 
 in testdata/language-features/guard/guard02.reject.lc:2:12:
   | True = ()
            ^^
 ------------ trace
 !type error: can not unify
-'String
+'String
 with
-()
+()
 
 in testdata/language-features/guard/guard02.reject.lc:2:12:
   | True = ()
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out
index fa30af80..07cea5f5 100644
--- a/testdata/language-features/guard/guard05.reject.out
+++ b/testdata/language-features/guard/guard05.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-'Bool
+'Bool
 with
-()
+()
 
 in testdata/language-features/guard/guard05.reject.lc:1:9:
 value | () = "wrong"
         ^^
 ------------ trace
 !type error: can not unify
-'Bool
+'Bool
 with
-()
+()
 
 in testdata/language-features/guard/guard05.reject.lc:1:9:
 value | () = "wrong"
diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out
index 7ac38fa8..1225b2b3 100644
--- a/testdata/language-features/guard/guard12.reject.out
+++ b/testdata/language-features/guard/guard12.reject.out
@@ -1,16 +1,16 @@
 type error: can not unify
-'Char
+'Char
 with
-()
+()
 
 in testdata/language-features/guard/guard12.reject.lc:1:13:
 fun x | x = () | otherwise = 'a'
             ^^
 ------------ trace
 !type error: can not unify
-'Char
+'Char
 with
-()
+()
 
 in testdata/language-features/guard/guard12.reject.lc:1:13:
 fun x | x = () | otherwise = 'a'