testsuite/tests/typecheck/should_fail/TcStaticPointersFail03.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE StaticPointers     #-}

module StaticPointersFail03 where

import GHC.StaticPtr
import Data.Typeable

f1 :: (Typeable a, Typeable m, Monad m) => a -> m a
f1 = deRefStaticPtr (static return)