From 7ea0a8e89842b3222005acf7c4df1745f486b2a6 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Wed, 25 Apr 2018 18:40:22 -0400
Subject: [PATCH] Move the Show constraint on location into the MonadValue
 instance for Value.

---
 src/Data/Abstract/Evaluatable.hs | 1 -
 src/Data/Abstract/Value.hs       | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Data/Abstract/Evaluatable.hs b/src/Data/Abstract/Evaluatable.hs
index 595e76329..fdcf5273a 100644
--- a/src/Data/Abstract/Evaluatable.hs
+++ b/src/Data/Abstract/Evaluatable.hs
@@ -64,7 +64,6 @@ type MonadEvaluatable location term value effects m =
   , MonadValue location value effects m
   , Recursive term
   , Reducer value (Cell location value)
-  , Show location
   )
 
 newtype ReturnThrow value
diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs
index a3ff03572..c85022d96 100644
--- a/src/Data/Abstract/Value.hs
+++ b/src/Data/Abstract/Value.hs
@@ -205,6 +205,7 @@ instance AbstractHole (Value location) where
 instance ( Monad (m effects)
          , Member (Resumable (ValueError location (Value location))) effects
          , MonadEvaluatable location term (Value location) effects m
+         , Show location
          )
       => MonadValue location (Value location) effects m where
   unit     = pure . injValue $ Unit