Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / TcStaticPointersFail01.hs
1 {-# LANGUAGE StaticPointers #-}
2
3 module StaticPointersFail01 where
4
5 import GHC.StaticPtr
6
7 f0 :: StaticPtr Int
8 f0 = static g
9
10 g :: Int -> Int
11 g = id