Mercurial > urweb

comparison src/expl_print.sml @ 68:c1e21ab42896

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explify cfold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 09:51:28 -0400
parents d609820c5834
children 0ee10f4d73cf
comparison
equal deleted inserted replaced
67:9f89f0b00b84 68:c1e21ab42896
141 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1, 141 | CConcat (c1, c2) => parenIf par (box [p_con' true env c1,
142 space, 142 space,
143 string "++", 143 string "++",
144 space, 144 space,
145 p_con env c2]) 145 p_con env c2])
146 | CFold _ => string "fold"
146 147
147 and p_con env = p_con' false env 148 and p_con env = p_con' false env
148 149
149 and p_name env (all as (c, _)) = 150 and p_name env (all as (c, _)) =
150 case c of 151 case c of