summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-13 20:15:30 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-13 20:15:30 -0400
commit0faed8b64498534297bd797108b659802815aefc (patch)
tree30fae6d25a85af9fcf9b87c425788c9e042c46c2 /src
parentb145e03e5e25cfd59f544312efe3ea93e265a8ce (diff)
Deletion for Crud
Diffstat (limited to 'src')
-rw-r--r--src/cjr_print.sml6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index b90854a1..f784f3d4 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -898,7 +898,7 @@ fun p_exp' par env (e, loc) =
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 @@ fun p_exp' par env (e, loc) =
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