Mercurial > urweb

comparison src/elab_print.sml @ 494:1bbcc3345d12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Map distributivity rule in hnormCon
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 19:58:25 -0500
parents ae03d09043c1
children 44958d74c43f
comparison
equal deleted inserted replaced
493:ae03d09043c1 494:1bbcc3345d12
333 space, 333 space,
334 p_con env c2] 334 p_con env c2]
335 else 335 else
336 box [p_exp' true env e1, 336 box [p_exp' true env e1,
337 space, 337 space,
338 string "with", 338 string "++",
339 space, 339 space,
340 p_exp' true env e2]) 340 p_exp' true env e2])
341 | ECut (e, c, {field, rest}) => 341 | ECut (e, c, {field, rest}) =>
342 parenIf par (if !debug then 342 parenIf par (if !debug then
343 box [p_exp' true env e, 343 box [p_exp' true env e,