From ba73ae1eaa7ed91603719ef70d95c89ee1078e3d Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 21 Mar 2018 19:44:53 -0400
Subject: [PATCH] :fire: evaluates.

---
 src/Analysis/Abstract/Evaluating.hs | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/src/Analysis/Abstract/Evaluating.hs b/src/Analysis/Abstract/Evaluating.hs
index 2c4255366..066d8b91e 100644
--- a/src/Analysis/Abstract/Evaluating.hs
+++ b/src/Analysis/Abstract/Evaluating.hs
@@ -2,7 +2,6 @@
 module Analysis.Abstract.Evaluating
 ( type Evaluating
 , evaluate
-, evaluates
 ) where
 
 import Control.Abstract.Evaluator
@@ -16,7 +15,6 @@ import Data.Abstract.Evaluatable
 import Data.Abstract.Module
 import Data.Abstract.ModuleTable
 import Data.Abstract.Value
-import Data.Blob
 import qualified Data.IntMap as IntMap
 import Prelude hiding (fail)
 import Prologue
@@ -35,20 +33,6 @@ evaluate :: forall value term effects
          -> Final effects value
 evaluate = runAnalysis @(Evaluating term value) . evaluateModule
 
--- | Evaluate terms and an entry point to a value.
-evaluates :: forall value term effects
-          .  ( effects ~ RequiredEffects term value (Evaluating term value effects)
-             , Evaluatable (Base term)
-             , FreeVariables term
-             , MonadAddressable (LocationFor value) value (Evaluating term value effects)
-             , MonadValue value (Evaluating term value effects)
-             , Recursive term
-             , Show (LocationFor value)
-             )
-          => [(Blob, term)] -- List of (blob, term) pairs that make up the program to be evaluated
-          -> (Blob, term)   -- Entrypoint
-          -> Final effects value
-evaluates pairs (b, t) = runAnalysis @(Evaluating term value) (withModules b pairs (evaluateModule t))
 
 -- | An analysis evaluating @term@s to @value@s with a list of @effects@ using 'Evaluatable', and producing incremental results of type @a@.
 newtype Evaluating term value effects a = Evaluating (Eff effects a)