blob: ea0cc08f44bf9e7cdde7fa5b951f2d20e6b0801a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
TcStaticPointersFail02.hs:9:6: error: [GHC-39999]
• No instance for ‘base-4.17.0.0: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: [GHC-39999]
• No instance for ‘base-4.17.0.0: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
|