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

Move the Just into the foldMapA.

Browse Source
This commit is contained in:
Rob Rix 2018-05-10 18:47:04 -04:00
parent 6dcd774f1c
commit 95e90534e3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Abstract/Addressable.hs
View File

@ -82,7 +82,7 @@ instance Member Fresh effects => Addressable Precise effects where
-- | 'Monovariant' locations 'alloc'ate one 'Address' per unique variable name, and 'deref'erence once per stored value, nondeterministically. -- | 'Monovariant' locations 'alloc'ate one 'Address' per unique variable name, and 'deref'erence once per stored value, nondeterministically.
instance Members '[Fresh, NonDet] effects => Addressable Monovariant effects where instance Members '[Fresh, NonDet] effects => Addressable Monovariant effects where
derefCell _ cell | null cell = pure Nothing derefCell _ cell | null cell = pure Nothing
| otherwise = Just <$> foldMapA pure cell | otherwise = foldMapA (pure . Just) cell
allocLoc = pure . Monovariant allocLoc = pure . Monovariant
-- | Dereference the given 'Address'in the heap, or fail if the address is uninitialized. -- | Dereference the given 'Address'in the heap, or fail if the address is uninitialized.