From bc62a154151ecdf2535d2713badd52fdbaba2cd5 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Tue, 7 Apr 2015 14:14:51 +0200
Subject: [PATCH] improve show of a sum

---
 CTT.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/CTT.hs b/CTT.hs
index b0b37a6..93bd1c2 100644
--- 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
-- 
2.34.1