Mercurial > urweb
comparison src/expl_print.sml @ 493:ae03d09043c1
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(", |