comparison src/cjr.sml @ 879:b2a175a0f2ef

Demo working with MySQL
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Jul 2009 18:10:29 -0400
parents 346cf1908a17
children 217eb87dde31
comparison
equal deleted inserted replaced
878:a8952047e1d3 879:b2a175a0f2ef
87 rnum : int, 87 rnum : int,
88 state : typ, 88 state : typ,
89 query : exp, 89 query : exp,
90 body : exp, 90 body : exp,
91 initial : exp, 91 initial : exp,
92 prepared : (int * string) option } 92 prepared : {id : int, query : string, nested : bool} option }
93 | EDml of { dml : exp, 93 | EDml of { dml : exp,
94 prepared : (int * string) option } 94 prepared : {id : int, dml : string} option }
95 | ENextval of { seq : exp, 95 | ENextval of { seq : exp,
96 prepared : (int * string) option } 96 prepared : {id : int, query : string} option }
97 | EUnurlify of exp * typ 97 | EUnurlify of exp * typ
98 98
99 withtype exp = exp' located 99 withtype exp = exp' located
100 100
101 datatype decl' = 101 datatype decl' =