Mercurial > urweb
comparison 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 |
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 |