on master help sign in
unsafeUnliftIO doesn't need a HasCallStack
commit98f6db59827aa50d34441a063e243570af65a2f6 authorAndrzej Rybczak <andrzej@rybczak.net> dateThu 16 Dec 2021, 17:46 (5 years ago) parenta9feee9
1 file changed+1−6
effectful-core/src/Effectful/Dispatch/Static.hs+1−6
effectful-core/src/Effectful/Dispatch/Static.hs+1−6
@@ -50,8 +50,6 @@ module Effectful.Dispatch.Static
5050 , unEff
5151 ) where
5252
53−import GHC.Stack (HasCallStack)
54−
5553import Effectful.Internal.Effect
5654import Effectful.Internal.Env
5755import Effectful.Internal.Monad
@@ -83,8 +81,5 @@ unsafeLiftMapIO f m = unsafeEff $ \es -> f (unEff m es)
8381--
8482-- - Unlifted 'Eff' operations must not be run in a thread distinct from the
8583-- caller of 'unsafeUnliftIO', but it's not checked anywhere.
86−unsafeUnliftIO
87− :: HasCallStack
88− => ((forall r. Eff es r -> IO r) -> IO a)
89− -> Eff es a
84+unsafeUnliftIO :: ((forall r. Eff es r -> IO r) -> IO a) -> Eff es a
9085unsafeUnliftIO k = unsafeEff $ \es -> k (`unEff` es)