Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1726:4df4521fbd3b 1727:318ba997a149
85 Explicit => string "::" 85 Explicit => string "::"
86 | Implicit => string ":::" 86 | Implicit => string ":::"
87 87
88 fun p_con' par env (c, _) = 88 fun p_con' par env (c, _) =
89 case c of 89 case c of
90 TFun (t1, t2) => parenIf true (box [p_con' true env t1, 90 TFun (t1, t2) => parenIf par (box [p_con' true env t1,
91 space, 91 space,
92 string "->", 92 string "->",
93 space, 93 space,
94 p_con env t2]) 94 p_con env t2])
95 | TCFun (e, x, k, c) => parenIf par (box [string x, 95 | TCFun (e, x, k, c) => parenIf par (box [string x,