Mercurial > urweb

comparison src/elab_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 d34834af4512
children 1bbcc3345d12
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
357 box [p_exp' true env e, 357 box [p_exp' true env e,
358 space, 358 space,
359 string "--", 359 string "--",
360 space, 360 space,
361 p_con' true env c]) 361 p_con' true env c])
362 | ECutMulti (e, c, {rest}) =>
363 parenIf par (if !debug then
364 box [p_exp' true env e,
365 space,
366 string "---",
367 space,
368 p_con' true env c,
369 space,
370 string "[",
371 p_con env rest,
372 string "]"]
373 else
374 box [p_exp' true env e,
375 space,
376 string "---",
377 space,
378 p_con' true env c])
379
362 | EFold _ => string "fold" 380 | EFold _ => string "fold"
363 381
364 | ECase (e, pes, _) => parenIf par (box [string "case", 382 | ECase (e, pes, _) => parenIf par (box [string "case",
365 space, 383 space,
366 p_exp env e, 384 p_exp env e,