From 6dc4cf310e0e1c705c7fbe2bc1ab28232067e87d Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Mon, 11 Sep 2017 10:20:48 -0400
Subject: [PATCH] Define a Show1 instance for Env.

---
 src/Data/Functor/Binding.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Data/Functor/Binding.hs b/src/Data/Functor/Binding.hs
index b9e787f35..5a474f8f1 100644
--- a/src/Data/Functor/Binding.hs
+++ b/src/Data/Functor/Binding.hs
@@ -92,6 +92,9 @@ instance Show1 f => Show1 (BindingF f) where
 instance (Show1 f, Show a) => Show (BindingF f a) where
   showsPrec = showsPrec1
 
+instance Show1 Env where
+  liftShowsPrec sp sl d (Env vs) = showsUnaryWith (const (liftShowList sp sl)) "Env" d vs
+
 
 instance Pretty Metavar where
   pretty (Metavar v) = pretty v