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 gc.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 13:29:56 -05:00
parent 580ab01134
commit 1389e22fe5
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -27,7 +27,10 @@ evCollect ev0 ev' yield e = do
pure v pure v
-- | Collect any addresses in the store not rooted in the given 'Live' set. -- | Collect any addresses in the store not rooted in the given 'Live' set.
gc :: (Ord (LocationFor a), Foldable (Cell (LocationFor a)), ValueRoots (LocationFor a) a) => Live (LocationFor a) a -> Store (LocationFor a) a -> Store (LocationFor a) a gc :: (Ord (LocationFor a), Foldable (Cell (LocationFor a)), ValueRoots (LocationFor a) a)
=> Live (LocationFor a) a
-> Store (LocationFor a) a
-> Store (LocationFor a) a
gc roots store = storeRestrict store (reachable roots store) gc roots store = storeRestrict store (reachable roots 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