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