Core lint error
import qualified Control.Monad.Fail as Fail
newtype P m a = P { unP :: (a -> IO (m ())) -> IO (m ()) }
instance Functor (P m) where
instance Applicative (P m) where
instance Monad (P m) where
instance (Fail.MonadFail m) => Fail.MonadFail (P m) where
fail msg = ContT $ \ _ -> Fail.fail msg
fails when run with $ ghci -ignore-dot-ghci -fdefer-typed-holes -dcore-lint /tmp/tQZR.hs
, log is attached
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |