Mercurial > urweb

comparison src/expl_print.sml @ 149:7420fa18d657

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Record cut
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 10:09:21 -0400
parents 80ac94b54e41
children 06a98129b23f
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
235 string "]"] 235 string "]"]
236 else 236 else
237 box [p_exp' true env e, 237 box [p_exp' true env e,
238 string ".", 238 string ".",
239 p_con' true env c] 239 p_con' true env c]
240 | ECut (e, c, {field, rest}) =>
241 parenIf par (if !debug then
242 box [p_exp' true env e,
243 space,
244 string "--",
245 space,
246 p_con' true env c,
247 space,
248 string "[",
249 p_con env field,
250 space,
251 string " in ",
252 space,
253 p_con env rest,
254 string "]"]
255 else
256 box [p_exp' true env e,
257 space,
258 string "--",
259 space,
260 p_con' true env c])
240 | EFold _ => string "fold" 261 | EFold _ => string "fold"
241 262
242 | EWrite e => box [string "write(", 263 | EWrite e => box [string "write(",
243 p_exp env e, 264 p_exp env e,
244 string ")"] 265 string ")"]