Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T14066f.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module T14066f where
4
5 import Data.Proxy
6
7 -- a can't come before k.
8 type P a k = Proxy (a :: k)