From 1389e22fe5a293a7d9cdeed2c3ba1f77af92d634 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 13:29:56 -0500 Subject: [PATCH] Reformat the signature for gc. --- src/Analysis/Abstract/Collecting.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Collecting.hs b/src/Analysis/Abstract/Collecting.hs index 56c970a40..d8e485267 100644 --- a/src/Analysis/Abstract/Collecting.hs +++ b/src/Analysis/Abstract/Collecting.hs @@ -27,7 +27,10 @@ evCollect ev0 ev' yield e = do pure v -- | 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) reachable :: (Ord (LocationFor a), Foldable (Cell (LocationFor a)), ValueRoots (LocationFor a) a) => Live (LocationFor a) a -> Store (LocationFor a) a -> Live (LocationFor a) a