blob: 3b4d0ff661d4c0a78a969cd9bccdfd644c1a2c0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE StaticPointers #-}
{-# LANGUAGE ImpredicativeTypes #-}
module StaticPointersFail02 where
import GHC.StaticPtr
f1 :: StaticPtr ((forall a . a -> a) -> b)
f1 = static (undefined :: (forall a . a -> a) -> b)
f2 :: StaticPtr (Monad m => a -> m a)
f2 = static return
|