Add kind equalities to GHC.
[ghc.git] / testsuite / tests / polykinds / T7524.stderr
1
2 T7524.hs:5:15: error:
3     Conflicting family instance declarations:
4       forall k2 (a :: k2). F a a = Int -- Defined at T7524.hs:5:15
5       forall k2 k1 (a :: k1) (b :: k2).
6         F a b = Bool -- Defined at T7524.hs:6:15