Add kind equalities to GHC.
[ghc.git] / testsuite / tests / dependent / should_fail / DepFail1.hs
1 {-# LANGUAGE TypeInType #-}
2
3 module DepFail1 where
4
5 data Proxy k (a :: k) = P
6
7 z :: Proxy Bool
8 z = P
9
10 a :: Proxy Int Bool
11 a = P