1 files changed, 4 insertions, 2 deletions
diff --git a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.hs b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.hs
index 82cf107e5d..9f01cc9fc8 100644
--- a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.hs
+++ b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.hs
@@ -1,17 +1,19 @@
-{-# LANGUAGE DataKinds, PolyKinds, TypeOperators, TypeFamilies
-             , TypeApplications #-}
+{-# LANGUAGE DataKinds, PolyKinds, TypeOperators, TypeFamilies,
+             TypeApplications, StandaloneKindSignatures #-}
 
 module DumpTypecheckedAst where
 import Data.Kind
 
 data Peano = Zero | Succ Peano
 
+type Length :: [k] -> Peano
 type family Length (as :: [k]) :: Peano where
   Length (a : as) = Succ (Length as)
   Length '[]      = Zero
 
 data T f (a :: k) = MkT (f a)
 
+type F :: k -> (k -> Type) -> Type
 type family F (a :: k) (f :: k -> Type) :: Type where
   F @Peano a f = T @Peano f a