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

We don’t need Fresh here.

Browse Source
This commit is contained in:
Rob Rix 2018-05-11 09:19:51 -04:00
parent bb03cd9448
commit 3d5ee730ac
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

@ -80,7 +80,7 @@ instance Member Fresh effects => Addressable Precise effects where
allocLoc _ = Precise <$> fresh
-- | '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 Member NonDet effects => Addressable Monovariant effects where
derefCell _ cell | null cell = pure Nothing
| otherwise = foldMapA (pure . Just) cell
allocLoc = pure . Monovariant