github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 16:33:03 +03:00
Code Issues Projects Releases Wiki Activity

Inline the allocPrecise binding.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 11:35:44 -05:00
parent f18f63019a
commit 1aff7df28a
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Control/Monad/Effect/Addressable.hs
View File

@ -74,9 +74,7 @@ instance (Monad m, MonadEvaluator t v m, LocationFor v ~ Precise) => MonadAddres
uninitializedAddress :: MonadFail m => m a
uninitializedAddress = fail "uninitialized address"
alloc _ = fmap allocPrecise getStore
where allocPrecise :: Store Precise a -> Address Precise a
allocPrecise = Address . Precise . storeSize
alloc _ = fmap (Address . Precise . storeSize) getStore
-- | 'Monovariant' locations 'alloc'ate one 'Address' per unique variable name, and 'deref'erence once per stored value, nondeterministically.