Mercurial > urweb
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 "--", |