Mercurial > urweb

comparison src/cjr.sml @ 1293:acabf3935060

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tryDml
author Adam Chlipala <adam@chlipala.net>
date Sun, 05 Sep 2010 14:00:57 -0400
parents 7a31e0cf25e9
children b4480a56cab7
comparison
equal deleted inserted replaced
1292:a671c986f517 1293:acabf3935060
54 | PNone of typ 54 | PNone of typ
55 | PSome of typ * pat 55 | PSome of typ * pat
56 56
57 withtype pat = pat' located 57 withtype pat = pat' located
58 58
59 datatype failure_mode = datatype Settings.failure_mode
60
59 datatype exp' = 61 datatype exp' =
60 EPrim of Prim.t 62 EPrim of Prim.t
61 | ERel of int 63 | ERel of int
62 | ENamed of int 64 | ENamed of int
63 | ECon of datatype_kind * patCon * exp option 65 | ECon of datatype_kind * patCon * exp option
90 query : exp, 92 query : exp,
91 body : exp, 93 body : exp,
92 initial : exp, 94 initial : exp,
93 prepared : {id : int, query : string, nested : bool} option } 95 prepared : {id : int, query : string, nested : bool} option }
94 | EDml of { dml : exp, 96 | EDml of { dml : exp,
95 prepared : {id : int, dml : string} option } 97 prepared : {id : int, dml : string} option,
98 mode : failure_mode }
96 | ENextval of { seq : exp, 99 | ENextval of { seq : exp,
97 prepared : {id : int, query : string} option } 100 prepared : {id : int, query : string} option }
98 | ESetval of { seq : exp, count : exp } 101 | ESetval of { seq : exp, count : exp }
99 | EUnurlify of exp * typ * bool 102 | EUnurlify of exp * typ * bool
100 103