Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / BadKindVar.hs
1 {-# LANGUAGE RankNTypes, KindSignatures #-}
2
3 module Foo where
4
5 import Data.Proxy
6
7 -- Should be illegal without PolyKinds
8 f :: forall (a :: k). Proxy a
9 f = f