blob: e6e637cfeb9a79960883e61c64280659b925ce35 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
TcStaticPointersFail02.hs:9:6: error:
• No instance for (Data.Typeable.Internal.Typeable b)
arising from a static form
• In the expression: static (undefined :: (forall a. a -> a) -> b)
In an equation for ‘f1’:
f1 = static (undefined :: (forall a. a -> a) -> b)
TcStaticPointersFail02.hs:12:6: error:
• No instance for (Data.Typeable.Internal.Typeable
(Monad m => a -> m a))
arising from a static form
(maybe you haven't applied a function to enough arguments?)
• In the expression: static return
In an equation for ‘f2’: f2 = static return
|
