Mercurial > urweb

comparison src/elab_print.sml @ 445:dfc8c991abd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace 'with' with '++'
author Adam Chlipala <adamc@hcoop.net>
date Fri, 31 Oct 2008 09:30:22 -0400
parents b85e6ba56618
children b77863cd0be2
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
315 string "]"] 315 string "]"]
316 else 316 else
317 box [p_exp' true env e, 317 box [p_exp' true env e,
318 string ".", 318 string ".",
319 p_con' true env c] 319 p_con' true env c]
320 | EWith (e1, c, e2, {field, rest}) => 320 | EConcat (e1, c1, e2, c2) =>
321 parenIf par (if !debug then 321 parenIf par (if !debug then
322 box [p_exp env e1, 322 box [p_exp' true env e1,
323 space,
324 string ":",
325 space,
326 p_con env c1,
327 space,
328 string "++",
329 space,
330 p_exp' true env e2,
331 space,
332 string ":",
333 space,
334 p_con env c2]
335 else
336 box [p_exp' true env e1,
323 space, 337 space,
324 string "with", 338 string "with",
325 space,
326 p_con' true env c,
327 space,
328 string "=",
329 p_exp' true env e2,
330 space,
331 string "[",
332 p_con env field,
333 space,
334 string " in ",
335 space,
336 p_con env rest,
337 string "]"]
338 else
339 box [p_exp env e1,
340 space,
341 string "with",
342 space,
343 p_con' true env c,
344 space,
345 string "=",
346 space, 339 space,
347 p_exp' true env e2]) 340 p_exp' true env e2])
348 | ECut (e, c, {field, rest}) => 341 | ECut (e, c, {field, rest}) =>
349 parenIf par (if !debug then 342 parenIf par (if !debug then
350 box [p_exp' true env e, 343 box [p_exp' true env e,