From: Anders Mörtberg <mortberg@chalmers.se>
Date: Fri, 17 Apr 2015 07:13:23 +0000 (+0200)
Subject: Use showTer1 to print closures
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=dd601a93439fdaf0251d66ed16b7e6c62a2bc416;p=cubicaltt.git

Use showTer1 to print closures
---

diff --git a/CTT.hs b/CTT.hs
index eea02fd..7d48bc3 100644
--- a/CTT.hs
+++ b/CTT.hs
@@ -363,7 +363,7 @@ instance Show Val where
 showVal :: Val -> Doc
 showVal v = case v of
   VU                -> char 'U'
-  Ter t env         -> showTer t <+> showEnv env
+  Ter t env         -> showTer1 t <+> showEnv env
   VCon c us         -> text c <+> showVals us
   VPCon c a us phi  -> text c <+> char '{' <+> showVal a <+> char '}' <+>
                        showVals us <+> showFormula phi