Mercurial > urweb

comparison src/core_print.sml @ 69:8e9920db39f2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify cfold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 09:53:52 -0400
parents 0a5c312de09a
children 8b611ecc5f2d
comparison
equal deleted inserted replaced
68:c1e21ab42896 69:8e9920db39f2
132 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1, 132 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1,
133 space, 133 space,
134 string "++", 134 string "++",
135 space, 135 space,
136 p_con env c2]) 136 p_con env c2])
137 | CFold _ => string "fold"
137 138
138 and p_con env = p_con' false env 139 and p_con env = p_con' false env
139 140
140 and p_name env (all as (c, _)) = 141 and p_name env (all as (c, _)) =
141 case c of 142 case c of