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