diff src/cjr_print.sml @ 337:18d5affa790d

Deletion for Crud
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 20:15:30 -0400
parents 41458a694575
children e976b187d73a
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Sep 13 20:04:28 2008 -0400
+++ b/src/cjr_print.sml	Sat Sep 13 20:15:30 2008 -0400
@@ -898,7 +898,7 @@
         end
 
       | EDml {dml, prepared} =>
-        box [string "({",
+        box [string "(uw_begin_region(ctx), ({",
              newline,
              string "PGconn *conn = uw_get_db(ctx);",
              newline,
@@ -970,9 +970,11 @@
 
              string "PQclear(res);",
              newline,
+             string "uw_end_region(ctx);",
+             newline,
              string "uw_unit_v;",
              newline,
-             string "})"]
+             string "}))"]
 
 and p_exp env = p_exp' false env