From 268e21d8aa0ad252cd59f5d2c17d0166d4ca44af Mon Sep 17 00:00:00 2001
From: Timothy Clem <timothy.clem@gmail.com>
Date: Tue, 20 Feb 2018 15:44:40 -0800
Subject: [PATCH] Use step here

---
 src/Analysis/Abstract/Evaluating2.hs | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/Analysis/Abstract/Evaluating2.hs b/src/Analysis/Abstract/Evaluating2.hs
index 793c9c689..a69690c87 100644
--- a/src/Analysis/Abstract/Evaluating2.hs
+++ b/src/Analysis/Abstract/Evaluating2.hs
@@ -27,7 +27,6 @@ import System.FilePath.Posix
 type Evaluating v
   = '[ Fail                                   -- For 'MonadFail'.
      , State  (Store (LocationFor v) v)       -- For 'MonadStore'.
-
      , Reader (Environment (LocationFor v) v) -- Local environment
      , State  (Environment (LocationFor v) v) -- Global environment
      ]
@@ -41,8 +40,4 @@ evaluate :: forall v term
            )
          => term
          -> Final (Evaluating v) v
-evaluate = run @(Evaluating v) . fix go
-  where
-    go :: (Recursive term, Eval term v m (Base term)) =>
-            (term -> m v) -> term -> m v
-    go _ = eval . project
+evaluate = run @(Evaluating v) . fix (const step)