Mercurial > urweb

comparison src/expl_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 40c737913075
children 8998114760c1
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
330 string "]"] 330 string "]"]
331 else 331 else
332 box [p_exp' true env e, 332 box [p_exp' true env e,
333 space, 333 space,
334 string "--", 334 string "--",
335 space,
336 p_con' true env c])
337 | ECutMulti (e, c, {rest}) =>
338 parenIf par (if !debug then
339 box [p_exp' true env e,
340 space,
341 string "---",
342 space,
343 p_con' true env c,
344 space,
345 string "[",
346 p_con env rest,
347 string "]"]
348 else
349 box [p_exp' true env e,
350 space,
351 string "---",
335 space, 352 space,
336 p_con' true env c]) 353 p_con' true env c])
337 | EFold _ => string "fold" 354 | EFold _ => string "fold"
338 355
339 | EWrite e => box [string "write(", 356 | EWrite e => box [string "write(",