improve show of a sum

diff --git a/CTT.hs b/CTT.hs
index b0b37a66c6b4cb1ad668364a9f5b8a09c272bee2..93bd1c2f189430274f51e6d5caba3044482b1c64 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -368,11 +368,11 @@ showVal v = case v of
 
 showVal1 :: Val -> Doc
 showVal1 v = case v of
-  VU        -> char 'U'
-  VCon c [] -> text c
-  VVar{}    -> showVal v
-  Ter t@Sum{} _ -> showTer t
-  _         -> parens (showVal v)
+  VU              -> char 'U'
+  VCon c []       -> text c
+  VVar{}          -> showVal v
+  Ter t@Sum{} rho -> showTer t <+> showEnv rho
+  _               -> parens (showVal v)
 
 showVals :: [Val] -> Doc
 showVals = hsep . map showVal1