diff --git a/src/Analysis/Abstract/Evaluating.hs b/src/Analysis/Abstract/Evaluating.hs index 81b9cab75..cffceabd4 100644 --- a/src/Analysis/Abstract/Evaluating.hs +++ b/src/Analysis/Abstract/Evaluating.hs @@ -18,14 +18,12 @@ import Data.Abstract.Value import Data.Function (fix) import Data.Functor.Foldable (Base, Recursive(..)) import Data.Semigroup -import Data.Set -- | The effects necessary for concrete interpretation. type Interpreter v = '[ Fail , Reader (Live (LocationFor v) v) , State (Store (LocationFor v) v) - , Reader (Set (Address (LocationFor v) v)) , Reader (Environment (LocationFor v) v) ]