Mercurial > urweb

comparison src/elab_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 eb16f2aadbe9
children 34ccd7d2bea8
comparison
equal deleted inserted replaced
148:15e8b9775539 149:7420fa18d657
272 string "]"] 272 string "]"]
273 else 273 else
274 box [p_exp' true env e, 274 box [p_exp' true env e,
275 string ".", 275 string ".",
276 p_con' true env c] 276 p_con' true env c]
277 | ECut (e, c, {field, rest}) =>
278 parenIf par (if !debug then
279 box [p_exp' true env e,
280 space,
281 string "--",
282 space,
283 p_con' true env c,
284 space,
285 string "[",
286 p_con env field,
287 space,
288 string " in ",
289 space,
290 p_con env rest,
291 string "]"]
292 else
293 box [p_exp' true env e,
294 space,
295 string "--",
296 space,
297 p_con' true env c])
277 | EFold _ => string "fold" 298 | EFold _ => string "fold"
278 299
279 | EError => string "<ERROR>" 300 | EError => string "<ERROR>"
280 301
281 and p_exp env = p_exp' false env 302 and p_exp env = p_exp' false env