From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Tue, 5 Jan 2016 09:21:22 +0000 (+0100)
Subject: change printing of compU
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=cd55c739a1dfca99774af88a1f686adf1cb28af0;p=cubicaltt.git

change printing of compU
---

diff --git a/CTT.hs b/CTT.hs
index 0b0d88a..6bb0f60 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -399,7 +399,7 @@ showVal v = case v of
   VUnGlueElem a ts  -> text "unglueElem" <+> showVal1 a <+> text (showSystem ts)
   VUnGlueElemU v b es -> text "unGlueElemU" <+> showVals [v,b]
                          <+> text (showSystem es)
-  VCompU a ts       -> text "compU" <+> showVal1 a <+> text (showSystem ts)
+  VCompU a ts       -> text "comp (<_> U)" <+> showVal1 a <+> text (showSystem ts)
 
 showPath :: Val -> Doc
 showPath e = case e of