From e7c4f6e4aec2ceace164f485b09b4d184add0c20 Mon Sep 17 00:00:00 2001
From: joshvera <josh@joshvera.com>
Date: Thu, 22 Feb 2018 16:31:07 -0500
Subject: [PATCH] Evaluating has a linker effect

---
 src/Analysis/Abstract/Evaluating3.hs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Analysis/Abstract/Evaluating3.hs b/src/Analysis/Abstract/Evaluating3.hs
index 7dca96610..88b14eec9 100644
--- a/src/Analysis/Abstract/Evaluating3.hs
+++ b/src/Analysis/Abstract/Evaluating3.hs
@@ -2,6 +2,7 @@
 module Analysis.Abstract.Evaluating3 where
 
 import Control.Effect
+import Control.Monad.Effect (Eff, Members)
 import Control.Monad.Effect.Fail
 import Control.Monad.Effect.Reader
 import Control.Monad.Effect.Store2
@@ -21,14 +22,17 @@ import qualified Data.Map as Map
 import Data.Semigroup
 import Prelude hiding (fail)
 import Data.Blob
+import Data.Maybe (fromMaybe)
 import System.FilePath.Posix
 
+
 -- | The effects necessary for concrete interpretation.
 type Evaluating term v
   = '[ Fail
      , State (Store (LocationFor v) v)
      , State (EnvironmentFor v)
      , Reader (EnvironmentFor v)
+     , Reader (Linker v)
      ]
 
 -- | Evaluate a term to a value.