Mercurial > urweb

comparison src/core_print.sml @ 493:ae03d09043c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add CutMulti
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 19:20:37 -0500
parents 33d5bd69da00
children 0dd40b6bfdf3
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
323 box [p_exp' true env e, 323 box [p_exp' true env e,
324 space, 324 space,
325 string "--", 325 string "--",
326 space, 326 space,
327 p_con' true env c]) 327 p_con' true env c])
328 | ECutMulti (e, c, {rest}) =>
329 parenIf par (if !debug then
330 box [p_exp' true env e,
331 space,
332 string "---",
333 space,
334 p_con' true env c,
335 space,
336 string "[",
337 p_con env rest,
338 string "]"]
339 else
340 box [p_exp' true env e,
341 space,
342 string "---",
343 space,
344 p_con' true env c])
328 | EFold _ => string "fold" 345 | EFold _ => string "fold"
329 346
330 | ECase (e, pes, {disc, result}) => 347 | ECase (e, pes, {disc, result}) =>
331 parenIf par (box [string "case", 348 parenIf par (box [string "case",
332 space, 349 space,