Mercurial > urweb

diff src/elab_print.sml @ 1727:318ba997a149

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Omit unnecessary parens around arrows in pretty-printing
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Apr 2012 07:35:59 -0400
parents 5df85275c0d4
children bb942416bf1c
line wrap: on
line diff
--- a/src/elab_print.sml	Wed Apr 25 03:07:07 2012 +0400
+++ b/src/elab_print.sml	Fri Apr 27 07:35:59 2012 -0400
@@ -87,7 +87,7 @@
 
 fun p_con' par env (c, _) =
     case c of
-        TFun (t1, t2) => parenIf true (box [p_con' true env t1,
+        TFun (t1, t2) => parenIf par (box [p_con' true env t1,
                                            space,
                                            string "->",
                                            space,