From f3ca9663d5eb0800cec08ab3dd5d12791582792f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Thu, 14 Jan 2016 10:33:34 -0500 Subject: [PATCH] Change printing of environments --- CTT.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/CTT.hs b/CTT.hs index 6bb0f60..11d80d8 100644 --- 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 -- 2.34.1