From: Simon Huber <hubsim@gmail.com>
Date: Wed, 18 Mar 2015 23:15:57 +0000 (+0100)
Subject: show transport like we parse it; whitespace
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=959499d147b832c9d538e33b0e8572b556cb3400;p=cubicaltt.git

show transport like we parse it; whitespace
---

diff --git a/CTT.hs b/CTT.hs
index 543c0ed..84d4877 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -106,7 +106,7 @@ data Val = VU
          | VPath Name Val
          | VComp Val Val (System Val)
          | VTrans Val Val
-           
+
            -- Neutral values:
          | VVar String Val
          | VFst Val
@@ -215,7 +215,7 @@ showTer v = case v of
   Path i e         -> char '<' <> text (show i) <> char '>' <+> showTer e
   AppFormula e phi -> showTer1 e <> char '@' <> text (show phi)
   Comp e0 e1 es    -> text "comp" <+> showTers [e0,e1] <+> text (showSystem es)
-  Trans e0 e1      -> text "trans" <+> showTers [e0,e1]
+  Trans e0 e1      -> text "transport" <+> showTers [e0,e1]
 
 showTers :: [Ter] -> Doc
 showTers = hsep . map showTer1