Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T13610.hs
1 {-# LANGUAGE MagicHash #-}
2
3 module T13610 where
4
5 import GHC.Prim
6 import GHC.Types
7
8 main = do
9 let primDouble = 0.42## :: Double#
10 let double = 0.42 :: Double
11 IO (\s -> mkWeakNoFinalizer# double () s)