From 19d4ebefa49c68bfcd1664ada8ff1021ad4e49aa Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 30 May 2018 14:08:57 -0400
Subject: [PATCH] :fire: putEnv.

---
 src/Analysis/Abstract/Caching.hs    | 1 -
 src/Control/Abstract/Environment.hs | 7 -------
 2 files changed, 8 deletions(-)

diff --git a/src/Analysis/Abstract/Caching.hs b/src/Analysis/Abstract/Caching.hs
index aaf19fe21..f9056858a 100644
--- a/src/Analysis/Abstract/Caching.hs
+++ b/src/Analysis/Abstract/Caching.hs
@@ -94,7 +94,6 @@ convergingModules recur m = do
   c <- getConfiguration (subterm (moduleBody m))
   -- Convergence here is predicated upon an Eq instance, not α-equivalence
   cache <- converge lowerBound (\ prevCache -> isolateCache $ raiseHandler locally $ do
-    TermEvaluator (putEnv  (configurationEnvironment c))
     TermEvaluator (putHeap (configurationHeap        c))
     -- We need to reset fresh generation so that this invocation converges.
     resetFresh 0 $
diff --git a/src/Control/Abstract/Environment.hs b/src/Control/Abstract/Environment.hs
index 845802051..6da2bd8f9 100644
--- a/src/Control/Abstract/Environment.hs
+++ b/src/Control/Abstract/Environment.hs
@@ -2,7 +2,6 @@
 module Control.Abstract.Environment
 ( Environment
 , getEnv
-, putEnv
 , lookupEnv
 , bind
 , bindAll
@@ -28,10 +27,6 @@ import Prologue
 getEnv :: Member (Env address) effects => Evaluator address value effects (Environment address)
 getEnv = send GetEnv
 
--- | Set the environment.
-putEnv :: Member (Env address) effects => Environment address -> Evaluator address value effects ()
-putEnv = send . PutEnv
-
 
 -- | Look a 'Name' up in the current environment, trying the default environment if no value is found.
 lookupEnv :: Member (Env address) effects => Name -> Evaluator address value effects (Maybe address)
@@ -62,7 +57,6 @@ data Env address return where
   Push   ::                        Env address ()
   Pop    ::                        Env address ()
   GetEnv ::                        Env address (Environment address)
-  PutEnv :: Environment address -> Env address ()
 
 handleEnv :: forall address effects value result
            . Member (State (Environment address)) effects
@@ -75,7 +69,6 @@ handleEnv = \case
   Push -> modify (Env.push @address)
   Pop -> modify (Env.pop @address)
   GetEnv -> get
-  PutEnv e -> put e
 
 runEnv :: Member (State (Environment address)) effects
        => Evaluator address value (Env address ': effects) a