Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12373.hs
1 {-# LANGUAGE MagicHash, ScopedTypeVariables, UnboxedTuples #-}
2
3 module T12373 where
4
5 import GHC.MVar
6 import GHC.Prim
7 import GHC.Types
8
9 main :: IO ()
10 main = IO (\rw -> newMVar# rw) >> return ()