Mercurial > urweb

comparison src/expl_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 075b36dbb1a4
children 89f766f19d5b
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
287 string "]"] 287 string "]"]
288 else 288 else
289 box [p_exp' true env e, 289 box [p_exp' true env e,
290 string ".", 290 string ".",
291 p_con' true env c] 291 p_con' true env c]
292 | EWith (e1, c, e2, {field, rest}) => 292 | EConcat (e1, c1, e2, c2) =>
293 parenIf par (if !debug then 293 parenIf par (if !debug then
294 box [p_exp env e1, 294 box [p_exp' true env e1,
295 space,
296 string ":",
297 space,
298 p_con env c1,
299 space,
300 string "++",
301 space,
302 p_exp' true env e2,
303 space,
304 string ":",
305 space,
306 p_con env c2]
307 else
308 box [p_exp' true env e1,
295 space, 309 space,
296 string "with", 310 string "with",
297 space,
298 p_con' true env c,
299 space,
300 string "=",
301 p_exp' true env e2,
302 space,
303 string "[",
304 p_con env field,
305 space,
306 string " in ",
307 space,
308 p_con env rest,
309 string "]"]
310 else
311 box [p_exp env e1,
312 space,
313 string "with",
314 space,
315 p_con' true env c,
316 space, 311 space,
317 p_exp' true env e2]) 312 p_exp' true env e2])
318 | ECut (e, c, {field, rest}) => 313 | ECut (e, c, {field, rest}) =>
319 parenIf par (if !debug then 314 parenIf par (if !debug then
320 box [p_exp' true env e, 315 box [p_exp' true env e,