Mercurial > urweb
comparison src/expl_print.sml @ 68:c1e21ab42896
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 |