comparison src/core_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
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}) =>
287 parenIf par (if !debug then
288 box [p_exp env e1,
289 space,
290 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,
311 p_exp' true env e2])
286 | ECut (e, c, {field, rest}) => 312 | ECut (e, c, {field, rest}) =>
287 parenIf par (if !debug then 313 parenIf par (if !debug then
288 box [p_exp' true env e, 314 box [p_exp' true env e,
289 space, 315 space,
290 string "--", 316 string "--",