Small tweaks to call stacks

This commit is contained in:
Andrzej Rybczak 2024-09-29 23:32:41 +02:00
parent e778e23702
commit 749c72eb8e
2 changed files with 2 additions and 2 deletions

View File

@ -347,7 +347,7 @@ data Fail :: Effect where
type instance DispatchOf Fail = Dynamic
instance Fail :> es => MonadFail (Eff es) where
fail msg = withFrozenCallStack $ send (Fail msg)
fail msg = send (Fail msg)
----------------------------------------
-- IO

View File

@ -109,7 +109,7 @@ runNonDetRollback = reinterpret setup $ \env -> \case
--
-- @since 2.2.0.0
emptyEff :: (HasCallStack, NonDet :> es) => Eff es a
emptyEff = withFrozenCallStack $ send Empty
emptyEff = withFrozenCallStack send Empty
-- | Specialized version of 'asum' with the 'HasCallStack' constraint for
-- tracking purposes.