From 2232e5b03e1b9528d7d9b6fb80909e03fb28d710 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 14:25:22 -0500 Subject: [PATCH] Reformat the signature for reachable. --- src/Analysis/Abstract/Collecting.hs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Collecting.hs b/src/Analysis/Abstract/Collecting.hs index c241741b5..b135f1600 100644 --- a/src/Analysis/Abstract/Collecting.hs +++ b/src/Analysis/Abstract/Collecting.hs @@ -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