github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-04 13:34:31 +03:00
Code Issues Projects Releases Wiki Activity

modifyStore is strict in the new store.

Browse Source
This commit is contained in:
Rob Rix 2018-03-12 15:21:28 -04:00
parent b060a7a83a
commit 23cc1eafc4
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Control/Abstract/Evaluator.hs
View File

@ -50,7 +50,9 @@ class Monad m => MonadStore value m | m -> value where
-- | Update the heap.
modifyStore :: MonadStore value m => (StoreFor value -> StoreFor value) -> m ()
modifyStore f = getStore >>= putStore . f
modifyStore f = do
s <- getStore
putStore $! f s
-- | Write a value to the given 'Address' in the 'Store'.
assign :: ( Ord (LocationFor value)