Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / dependent / should_fail / T11471.hs
1 {-# LANGUAGE MagicHash, PolyKinds, TypeFamilies, AllowAmbiguousTypes #-}
2
3 module T11471 where
4
5 import GHC.Exts
6 import Data.Proxy
7
8 type family F a :: k
9
10 type instance F Int = Int#
11
12 f :: Proxy a -> F a -> F a
13 f _ x = x
14
15 bad = f (undefined :: Proxy Int#) 3#