comparison src/expl_print.sml @ 339:075b36dbb1a4

Crud supports INSERT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 15:10:04 -0400
parents e976b187d73a
children dfc8c991abd0
comparison
equal deleted inserted replaced
338:e976b187d73a 339:075b36dbb1a4
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}) =>
293 parenIf par (if !debug then
294 box [p_exp env e1,
295 space,
296 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,
317 p_exp' true env e2])
292 | ECut (e, c, {field, rest}) => 318 | ECut (e, c, {field, rest}) =>
293 parenIf par (if !debug then 319 parenIf par (if !debug then
294 box [p_exp' true env e, 320 box [p_exp' true env e,
295 space, 321 space,
296 string "--", 322 string "--",