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

Reformat the signature for reachable.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 14:25:22 -05:00
parent e4ae5d8c92
commit 2232e5b03e
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -37,7 +37,13 @@ gc :: ( Ord (LocationFor a)
gc roots store = storeRestrict store (reachable roots store)
-- | Compute the set of addresses reachable from a given root set in a given store.
reachable :: (Ord (LocationFor a), Foldable (Cell (LocationFor a)), ValueRoots (LocationFor a) a) => Live (LocationFor a) a -> Store (LocationFor a) a -> Live (LocationFor a) a
reachable :: ( Ord (LocationFor a)
, Foldable (Cell (LocationFor a))
, ValueRoots (LocationFor a) a
)
=> Live (LocationFor a) a
-> Store (LocationFor a) a
-> Live (LocationFor a) a
reachable roots store = go roots mempty
where go set seen = case liveSplit set of
Nothing -> seen