comparison src/source_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 b85e6ba56618
comparison
equal deleted inserted replaced
338:e976b187d73a 339:075b36dbb1a4
265 p_exp e]) xes, 265 p_exp e]) xes,
266 string "}"] 266 string "}"]
267 | EField (e, c) => box [p_exp' true e, 267 | EField (e, c) => box [p_exp' true e,
268 string ".", 268 string ".",
269 p_con' true c] 269 p_con' true c]
270 | EWith (e1, c, e2) => parenIf par (box [p_exp e1,
271 space,
272 string "with",
273 space,
274 p_con' true c,
275 space,
276 p_exp' true e2])
270 | ECut (e, c) => parenIf par (box [p_exp' true e, 277 | ECut (e, c) => parenIf par (box [p_exp' true e,
271 space, 278 space,
272 string "--", 279 string "--",
273 space, 280 space,
274 p_con' true c]) 281 p_con' true c])