From 63f4544496095cd9eb2f51f4a3e7aa4e44fa68d2 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 2 May 2018 18:42:58 -0400 Subject: [PATCH] Generalize scatter. --- src/Analysis/Abstract/Caching.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Caching.hs b/src/Analysis/Abstract/Caching.hs index c421e0798..da404880d 100644 --- a/src/Analysis/Abstract/Caching.hs +++ b/src/Analysis/Abstract/Caching.hs @@ -117,7 +117,7 @@ converge f = loop loop x' -- | Nondeterministically write each of a collection of stores & return their associated results. -scatter :: (Alternative (m effects), Foldable t, MonadEvaluator location term value effects m) => t (a, Heap location value) -> m effects a +scatter :: (Alternative (m effects), Evaluator location term value m, Foldable t, Member (State (Heap location value)) effects) => t (a, Heap location value) -> m effects a scatter = foldMapA (\ (value, heap') -> putHeap heap' $> value)