Mercurial > urweb

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