aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/cjr.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-09-05 14:00:57 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-09-05 14:00:57 -0400
commitee175ea1f9151123e47d9cbfee0c6329b2e5d934 (patch)
treeb1f65d2c756f6867bc59eb1a0bb424deefacfabe /src/cjr.sml
parent1d30544730c4785eef4aabc4a224c03fe1b26983 (diff)
tryDml
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index a19109d2..f34662dc 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -56,6 +56,8 @@ datatype pat' =
withtype pat = pat' located
+datatype failure_mode = datatype Settings.failure_mode
+
datatype exp' =
EPrim of Prim.t
| ERel of int
@@ -92,7 +94,8 @@ datatype exp' =
initial : exp,
prepared : {id : int, query : string, nested : bool} option }
| EDml of { dml : exp,
- prepared : {id : int, dml : string} option }
+ prepared : {id : int, dml : string} option,
+ mode : failure_mode }
| ENextval of { seq : exp,
prepared : {id : int, query : string} option }
| ESetval of { seq : exp, count : exp }