Mercurial > urweb

comparison src/elab_print.sml @ 339:075b36dbb1a4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud supports INSERT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 15:10:04 -0400
parents e976b187d73a
children b85e6ba56618
comparison
equal deleted inserted replaced
338:e976b187d73a 339:075b36dbb1a4
324 string "]"] 324 string "]"]
325 else 325 else
326 box [p_exp' true env e, 326 box [p_exp' true env e,
327 string ".", 327 string ".",
328 p_con' true env c] 328 p_con' true env c]
329 | EWith (e1, c, e2, {field, rest}) =>
330 parenIf par (if !debug then
331 box [p_exp env e1,
332 space,
333 string "with",
334 space,
335 p_con' true env c,
336 space,
337 string "=",
338 p_exp' true env e2,
339 space,
340 string "[",
341 p_con env field,
342 space,
343 string " in ",
344 space,
345 p_con env rest,
346 string "]"]
347 else
348 box [p_exp env e1,
349 space,
350 string "with",
351 space,
352 p_con' true env c,
353 space,
354 string "=",
355 space,
356 p_exp' true env e2])
329 | ECut (e, c, {field, rest}) => 357 | ECut (e, c, {field, rest}) =>
330 parenIf par (if !debug then 358 parenIf par (if !debug then
331 box [p_exp' true env e, 359 box [p_exp' true env e,
332 space, 360 space,
333 string "--", 361 string "--",