From db3bb52561c1039fc1324dcefbbe7e7c47c8ddde Mon Sep 17 00:00:00 2001 From: Simon Huber Date: Thu, 27 Apr 2017 17:52:05 +0200 Subject: [PATCH] Show idC and idJ as we parse them --- CTT.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CTT.hs b/CTT.hs index 0c14a12..fe80b90 100644 --- a/CTT.hs +++ b/CTT.hs @@ -384,8 +384,8 @@ showTer v = case v of GlueElem a ts -> text "glue" <+> showTer1 a <+> text (showSystem ts) UnGlueElem a ts -> text "unglue" <+> showTer1 a <+> text (showSystem ts) Id a u v -> text "Id" <+> showTers [a,u,v] - IdPair b ts -> text "IdC" <+> showTer1 b <+> text (showSystem ts) - IdJ a t c d x p -> text "IdJ" <+> showTers [a,t,c,d,x,p] + IdPair b ts -> text "idC" <+> showTer1 b <+> text (showSystem ts) + IdJ a t c d x p -> text "idJ" <+> showTers [a,t,c,d,x,p] showTers :: [Ter] -> Doc showTers = hsep . map showTer1 -- 2.34.1