1 files changed, 4 insertions, 4 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)