Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / TcStaticPointersFail02.hs
1 {-# LANGUAGE StaticPointers #-}
2 {-# LANGUAGE ImpredicativeTypes #-}
3
4 module StaticPointersFail02 where
5
6 import GHC.StaticPtr
7
8 f1 :: StaticPtr ((forall a . a -> a) -> b)
9 f1 = static (undefined :: (forall a . a -> a) -> b)
10
11 f2 :: StaticPtr (Monad m => a -> m a)
12 f2 = static return