blob: f8681ed8ba8bc212775db2ef204dff6e99c558bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
TcStaticPointersFail02.hs:9:6: error:
• 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:
• 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
|
