Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / InferDependency.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module InferDependency where
4
5 data Proxy k (a :: k)
6 data Proxy2 k a = P (Proxy k a)