From: Simon Huber <hubsim@gmail.com>
Date: Thu, 27 Apr 2017 20:11:03 +0000 (+0200)
Subject: Fix printing of idC and idJ also for values
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=ab4e8cb5d32b18b1124b5ce3c00f55517ee1da80;p=cubicaltt.git

Fix printing of idC and idJ also for values
---

diff --git a/CTT.hs b/CTT.hs
index fe80b90..3d8efd7 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -451,8 +451,8 @@ showVal v = case v of
                          <+> text (showSystem es)
   VCompU a ts       -> text "comp (<_> U)" <+> showVal1 a <+> text (showSystem ts)
   VId a u v           -> text "Id" <+> showVals [a,u,v]
-  VIdPair b ts        -> text "IdC" <+> showVal1 b <+> text (showSystem ts)
-  VIdJ a t c d x p    -> text "IdJ" <+> showVals [a,t,c,d,x,p]
+  VIdPair b ts        -> text "idC" <+> showVal1 b <+> text (showSystem ts)
+  VIdJ a t c d x p    -> text "idJ" <+> showVals [a,t,c,d,x,p]
 
 showPLam :: Val -> Doc
 showPLam e = case e of