fix pretty print syntax

5 files changed, 14 insertions, 14 deletions

diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 44db093f..6be18ea8 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -8,8 +8,8 @@ in proj
 'Data3 :: Type
 Data3 :: 'Bool -> 'Char -> 'Bool -> 'Data3
 Data31 :: 'Int -> 'String -> 'Int -> 'Data3
-'Data3Case :: (a :: 'Data3 -> Type) -> ((b :: 'Bool) -> (c :: 'Char) -> (d :: 'Bool) -> a (Data3 b c d)) -> ((e :: 'Int) -> (f :: 'String) -> (g :: 'Int) -> a (Data31 e f g)) -> (h :: 'Data3) -> a h
-match'Data3 :: (a :: Type -> Type) -> a 'Data3 -> (b :: Type) -> a b -> a b
+'Data3Case :: forall (a :: 'Data3 -> Type) -> (forall (b :: 'Bool) (c :: 'Char) (d :: 'Bool) -> a (Data3 b c d)) -> (forall (e :: 'Int) (f :: 'String) (g :: 'Int) -> a (Data31 e f g)) -> 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
 with
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out
index 9d9361c0..8aad9b35 100644
--- a/testdata/language-features/adt/gadt03.reject.out
+++ b/testdata/language-features/adt/gadt03.reject.out
@@ -2,8 +2,8 @@ illegal data definition (parameters are not uniform)
 ------------ trace
 'M2 :: Type -> 'String -> Type
 Value2 :: forall a . a -> forall (b :: 'String) . 'M2 a b
-'M2Case :: forall a . (b :: (c :: 'String) -> 'M2 a c -> Type) -> ((d :: a) -> forall (e :: 'String) . b e (Value2 d e)) -> forall (f :: 'String) . (g :: 'M2 a f) -> b f g
-match'M2 :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'String) -> a ('M2 b c)) -> (d :: Type) -> a d -> a d
+'M2Case :: forall a . forall (b :: forall (c :: 'String) -> 'M2 a c -> Type) -> (forall (d :: a) -> forall (e :: 'String) . b e (Value2 d e)) -> forall (f :: 'String) . forall (g :: 'M2 a f) -> b f g
+match'M2 :: forall (a :: Type -> Type) -> (forall b (c :: 'String) -> a ('M2 b c)) -> forall d -> a d -> a d
 'M3 :: Type -> 'String -> Type
 !illegal data definition (parameters are not uniform)
 ------------ tooltips
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index fc2b7c30..4efb2a15 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -7,8 +7,8 @@ and at testdata/language-features/adt/gadt04.reject.lc:3:3:
 ------------ trace
 'M :: Type -> 'String -> Type
 Value :: forall a . a -> forall (b :: 'String) . 'M a b
-'MCase :: (a :: (b :: Type) -> (c :: 'String) -> 'M b c -> Type) -> (forall d . (e :: d) -> forall (f :: 'String) . a d f (Value d e f)) -> forall g (h :: 'String) . (i :: 'M g h) -> a g h i
-match'M :: (a :: Type -> Type) -> ((b :: Type) -> (c :: 'String) -> a ('M b c)) -> (d :: Type) -> a d -> a d
+'MCase :: forall (a :: forall b (c :: 'String) -> 'M b c -> Type) -> (forall d . forall (e :: d) -> forall (f :: 'String) . a d f (Value d e f)) -> forall g (h :: 'String) . forall (i :: 'M g h) -> a g h i
+match'M :: forall (a :: Type -> Type) -> (forall b (c :: 'String) -> a ('M b c)) -> forall d -> a d -> a d
 'M2 :: Type -> 'String -> Type
 Value :: forall a . a -> forall (b :: 'String) . 'M2 a b
 !already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index affad824..b429a33b 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -4,20 +4,20 @@ main is not found
 B :: 'A
 C :: 'A
 D :: 'A
-'ACase :: (a :: 'A -> Type) -> a B -> a C -> a D -> (b :: 'A) -> a b
-match'A :: (a :: Type -> Type) -> a 'A -> (b :: Type) -> a b -> a b
+'ACase :: forall (a :: 'A -> Type) -> a B -> a C -> a D -> forall (b :: 'A) -> a b
+match'A :: forall (a :: Type -> Type) -> a 'A -> forall b -> a b -> a b
 'E :: Type
 F :: 'E
 G :: () -> 'E
 H :: 'E
-'ECase :: (a :: 'E -> Type) -> a F -> ((b :: ()) -> a (G b)) -> a H -> (c :: 'E) -> a c
-match'E :: (a :: Type -> Type) -> a 'E -> (b :: Type) -> a b -> a b
+'ECase :: forall (a :: 'E -> Type) -> a F -> (forall (b :: ()) -> a (G b)) -> a H -> forall (c :: 'E) -> a c
+match'E :: forall (a :: Type -> Type) -> a 'E -> forall b -> a b -> a b
 'D1 :: Type
 C1 :: 'D1
 C2 :: () -> 'D1
 C3 :: 'D1
-'D1Case :: (a :: 'D1 -> Type) -> a C1 -> ((b :: ()) -> a (C2 b)) -> a C3 -> (c :: 'D1) -> a c
-match'D1 :: (a :: Type -> Type) -> a 'D1 -> (b :: Type) -> a b -> a b
+'D1Case :: forall (a :: 'D1 -> Type) -> a C1 -> (forall (b :: ()) -> a (C2 b)) -> a C3 -> forall (c :: 'D1) -> a c
+match'D1 :: forall (a :: Type -> Type) -> a 'D1 -> forall b -> a b -> a b
 ------------ tooltips
 testdata/language-features/basic-values/data01.lc 1:6-1:7  Type
 testdata/language-features/basic-values/data01.lc 1:6-1:13  Type
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index dcab8247..3420e35e 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -3,8 +3,8 @@ main is not found
 'D :: Type
 D2 :: () -> () -> 'D
 D3 :: () -> () -> () -> 'D
-'DCase :: (a :: 'D -> Type) -> ((b :: ()) -> (c :: ()) -> a (D2 b c)) -> ((d :: ()) -> (e :: ()) -> (f :: ()) -> a (D3 d e f)) -> (g :: 'D) -> a g
-match'D :: (a :: Type -> Type) -> a 'D -> (b :: Type) -> a b -> a b
+'DCase :: forall (a :: 'D -> Type) -> (forall (b :: ()) (c :: ()) -> a (D2 b c)) -> (forall (d :: ()) (e :: ()) (f :: ()) -> a (D3 d e f)) -> forall (g :: 'D) -> a g
+match'D :: forall (a :: Type -> Type) -> a 'D -> forall b -> a b -> a b
 d2 :: () -> () -> 'D
 d3 :: () -> () -> () -> 'D
 ------------ tooltips