From: Simon Huber <hubsim@gmail.com>
Date: Tue, 7 Apr 2015 12:14:51 +0000 (+0200)
Subject: improve show of a sum
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=bc62a154151ecdf2535d2713badd52fdbaba2cd5;p=cubicaltt.git

improve show of a sum
---

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