Show instances for debugging convenience.

4 files changed, 8 insertions, 8 deletions

diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs
index a03dce77..83438bb9 100644
--- a/src/LambdaCube/Compiler/Core.hs
+++ b/src/LambdaCube/Compiler/Core.hs
@@ -77,7 +77,7 @@ instance PShow TyCaseFunName where pShow (TyCaseFunName n _) = text $ MatchName
 -------------------------------------------------------------------------------- core expression representation
 
 data Freq = CompileTime | RunTime       -- TODO
-  deriving (Eq, Generic)
+  deriving (Eq, Generic, Show)
 
 data Exp
     = ELit   Lit
@@ -91,7 +91,7 @@ data Exp
     | Let_   FreeVars ExpType Exp
     | Up_    FreeVars [Int] Exp
     | STOP   String
-    deriving Generic
+    deriving (Generic, Show)
 
 data Neutral
     = Var_        !Int{-De Bruijn index-}
@@ -100,14 +100,14 @@ data Neutral
     | TyCaseFun__ FreeVars TyCaseFunName [Exp] Neutral
     | Fun_        FreeVars FunName [Exp]{-given parameters, reversed-} Exp{-unfolded expression, in hnf-}
     | UpN_        FreeVars [Int] Neutral
-    deriving Generic
+    deriving (Generic, Show)
 
 -------------------------------------------------------------------------------- auxiliary functions and patterns
 
 type Type = Exp
 
 data ExpType = ET {expr :: Exp, ty :: Type}
-    deriving (Eq, Generic)
+    deriving (Eq, Generic, Show)
 {-
 pattern ET a b <- ET_ a b
   where ET a b =  ET_ a (hnf b)
diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs
index b587096e..e0aef2c3 100644
--- a/src/LambdaCube/Compiler/CoreToIR.hs
+++ b/src/LambdaCube/Compiler/CoreToIR.hs
@@ -1024,7 +1024,7 @@ genGLSL backend dns e = case e of
 
 -- expression + type + type of local variables
 data ExpTV = ExpTV_ I.Exp I.Exp [I.Exp]
-  deriving (Eq)
+  deriving (Eq, Show)
 
 pattern ExpTV a b c <- ExpTV_ a b c where ExpTV a b c = ExpTV_ (a) (unLab' b) c
 
diff --git a/src/LambdaCube/Compiler/DeBruijn.hs b/src/LambdaCube/Compiler/DeBruijn.hs
index a3d1d0fd..f929f6b7 100644
--- a/src/LambdaCube/Compiler/DeBruijn.hs
+++ b/src/LambdaCube/Compiler/DeBruijn.hs
@@ -68,7 +68,7 @@ instance Rearrange Void where
 ------------------------------------------------------- set of free variables (implemented with bit vectors)
 
 newtype FreeVars = FreeVars Integer
-    deriving (Eq, Generic)
+    deriving (Eq, Generic, Show)
 
 instance Binary FreeVars
 
diff --git a/src/LambdaCube/Compiler/DesugaredSource.hs b/src/LambdaCube/Compiler/DesugaredSource.hs
index 510b3de2..dcf1dfbf 100644
--- a/src/LambdaCube/Compiler/DesugaredSource.hs
+++ b/src/LambdaCube/Compiler/DesugaredSource.hs
@@ -319,7 +319,7 @@ data Lit
     | LChar   Char
     | LFloat  Double
     | LString String
-  deriving (Eq, Generic)
+  deriving (Eq, Generic, Show)
 
 instance Binary Lit
 
@@ -366,7 +366,7 @@ instance PShow Binder where
         BMeta -> "BMeta"
 
 data Visibility = Hidden | Visible
-  deriving (Eq, Generic)
+  deriving (Eq, Generic, Show)
 
 instance Binary Visibility