From df4b54ed11bf45f6e1db9e5905dffba7f84f1e42 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 28 Feb 2018 10:47:13 -0500 Subject: [PATCH] Add the linker effects to Evaluator. --- src/Analysis/Abstract/Evaluator.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Analysis/Abstract/Evaluator.hs b/src/Analysis/Abstract/Evaluator.hs index d194616ee..6638f35a7 100644 --- a/src/Analysis/Abstract/Evaluator.hs +++ b/src/Analysis/Abstract/Evaluator.hs @@ -8,6 +8,7 @@ import Control.Monad.Effect.Fresh import Control.Monad.Effect.NonDetEff import Control.Monad.Effect.Reader import Control.Monad.Effect.State +import Data.Abstract.Linker import Data.Abstract.Value import Prelude hiding (fail) @@ -38,6 +39,8 @@ data Evaluator effects value a , Reader (EnvironmentFor value) , State (EnvironmentFor value) , State (StoreFor value) + , Reader (Linker (Evaluator effects value value)) + , State (Linker value) ] effects => Eff effects a }