1 files changed, 6 insertions, 6 deletions

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