summaryrefslogtreecommitdiff
path: root/src/Erebos/State.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2026-08-02 22:22:15 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2026-08-05 20:35:54 +0200
commit0efd90e5f01996ceb01f5a2889f9e2986322c371 (patch)
tree329aef1383154d7b2eeb2deca1f3522058284d83 /src/Erebos/State.hs
parent9fe388f9172717cf0ebfd223e122506725a31542 (diff)
Fix state consistency in MonadHead instacesHEADmaster
Diffstat (limited to 'src/Erebos/State.hs')
-rw-r--r--src/Erebos/State.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Erebos/State.hs b/src/Erebos/State.hs
index fa58118..0f0adbe 100644
--- a/src/Erebos/State.hs
+++ b/src/Erebos/State.hs
@@ -120,7 +120,7 @@ updateLocalHead_ f = updateLocalHead (fmap (,()) . f)
instance (HeadType a, MonadIO m) => MonadHead a (ReaderT (Head a) m) where
updateLocalHead f = do
h <- ask
- snd <$> updateHead h f
+ snd <$> updateHead' h (\h' -> local (const h') (f $ headStoredObject h'))
newtype LocalHeadT h m a = LocalHeadT { runLocalHeadT :: Storage -> Stored h -> m ( a, Stored h ) }