From 749c72eb8e08930284b29241549d3d04dea78226 Mon Sep 17 00:00:00 2001
From: Andrzej Rybczak <andrzej@rybczak.net>
Date: Sun, 29 Sep 2024 23:32:41 +0200
Subject: [PATCH] Small tweaks to call stacks

---
 effectful-core/src/Effectful/Internal/Monad.hs | 2 +-
 effectful-core/src/Effectful/NonDet.hs         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/effectful-core/src/Effectful/Internal/Monad.hs b/effectful-core/src/Effectful/Internal/Monad.hs
index f4144ad..d287fb4 100644
--- a/effectful-core/src/Effectful/Internal/Monad.hs
+++ b/effectful-core/src/Effectful/Internal/Monad.hs
@@ -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
diff --git a/effectful-core/src/Effectful/NonDet.hs b/effectful-core/src/Effectful/NonDet.hs
index 9fb4b33..f7604df 100644
--- a/effectful-core/src/Effectful/NonDet.hs
+++ b/effectful-core/src/Effectful/NonDet.hs
@@ -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.