diff --git a/src/Analysis/Abstract/Collecting.hs b/src/Analysis/Abstract/Collecting.hs index d8e485267..face7c4e9 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) +gc :: ( Ord (LocationFor a) + , Foldable (Cell (LocationFor a)) + , ValueRoots (LocationFor a) a + ) => Live (LocationFor a) a -> Store (LocationFor a) a -> Store (LocationFor a) a