Mercurial > urweb
diff src/cjr.sml @ 1293:acabf3935060
tryDml
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 05 Sep 2010 14:00:57 -0400 |
| parents | 7a31e0cf25e9 |
| children | b4480a56cab7 |
line wrap: on
line diff
--- a/src/cjr.sml Sun Sep 05 12:50:06 2010 -0400 +++ b/src/cjr.sml Sun Sep 05 14:00:57 2010 -0400 @@ -56,6 +56,8 @@ withtype pat = pat' located +datatype failure_mode = datatype Settings.failure_mode + datatype exp' = EPrim of Prim.t | ERel of int @@ -92,7 +94,8 @@ 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 }