Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / TcStaticPointersFail02.stderr
1
2 TcStaticPointersFail02.hs:9:6: error:
3     No instance for (Typeable b) arising from a static form
4     In the expression: static (undefined :: (forall a. a -> a) -> b)
5     In an equation for ‘f1’:
6         f1 = static (undefined :: (forall a. a -> a) -> b)
7
8 TcStaticPointersFail02.hs:12:6: error:
9     No instance for (Typeable (Monad m => a -> m a))
10       arising from a static form
11       (maybe you haven't applied a function to enough arguments?)
12     In the expression: static return
13     In an equation for ‘f2’: f2 = static return