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

Swap the order of the parameters to go.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 14:27:53 -05:00
parent d19d5ad691
commit 5b29967262
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Analysis/Abstract/Collecting.hs
View File

@ -44,9 +44,9 @@ reachable :: ( Ord (LocationFor a)
=> Live (LocationFor a) a -- ^ The set of root addresses. => Live (LocationFor a) a -- ^ The set of root addresses.
-> Store (LocationFor a) a -- ^ The store to trace addresses through. -> Store (LocationFor a) a -- ^ The store to trace addresses through.
-> Live (LocationFor a) a -- ^ The set of addresses reachable from the root set. -> Live (LocationFor a) a -- ^ The set of addresses reachable from the root set.
reachable roots store = go roots mempty reachable roots store = go mempty roots
where go set seen = case liveSplit set of where go seen set = case liveSplit set of
Nothing -> seen Nothing -> seen
Just (a, as) Just (a, as)
| Just values <- storeLookupAll a store -> go (liveDifference (foldr ((<>) . valueRoots) mempty values <> as) seen) (liveInsert a seen) | Just values <- storeLookupAll a store -> go (liveInsert a seen) (liveDifference (foldr ((<>) . valueRoots) mempty values <> as) seen)
| otherwise -> go seen (liveInsert a seen) | otherwise -> go (liveInsert a seen) seen