Change printing of environments

diff --git a/CTT.hs b/CTT.hs
index 6bb0f60f574cfbaa6ce222920feb8391b7c71cc1..11d80d8b16d4377e8c8c370515ba5ed2ebf6e0fc 100644 (file)
--- a/CTT.hs
+++ b/CTT.hs
@@ -284,18 +284,18 @@ showEnv b e =
 
       showEnv1 e = case e of
         (Upd x env,u:us,fs)   ->
-          showEnv1 (env,us,fs) <+> names x <+> showVal u <> comma
+          showEnv1 (env,us,fs) <+> names x <+> showVal1 u
         (Sub i env,us,phi:fs) ->
-          showEnv1 (env,us,fs) <+> names (show i) <+> text (show phi) <> comma
+          showEnv1 (env,us,fs) <+> names (show i) <+> text (show phi)
         (Def _ env,vs,fs)     -> showEnv1 (env,vs,fs)
         _                     -> showEnv b e
   in case e of
     (Empty,_,_)           -> PP.empty
     (Def _ env,vs,fs)     -> showEnv b (env,vs,fs)
     (Upd x env,u:us,fs)   ->
-      parens (showEnv1 (env,us,fs) <+> names x <+> showVal u)
+      showEnv1 (env,us,fs) <+> names x <+> showVal u
     (Sub i env,us,phi:fs) ->
-      parens (showEnv1 (env,us,fs) <+> names (show i) <+> text (show phi))
+      showEnv1 (env,us,fs) <+> names (show i) <+> text (show phi)
 
 instance Show Loc where
   show = render . showLoc