Mercurial > urweb
diff src/cjr.sml @ 1073:b2311dfb3158
Initializers and setval
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Dec 2009 14:20:41 -0500 |
parents | 217eb87dde31 |
children | 0657e5adc938 |
line wrap: on
line diff
--- a/src/cjr.sml Sun Dec 13 13:00:55 2009 -0500 +++ b/src/cjr.sml Sun Dec 13 14:20:41 2009 -0500 @@ -95,6 +95,7 @@ prepared : {id : int, dml : string} option } | ENextval of { seq : exp, prepared : {id : int, query : string} option } + | ESetval of { seq : exp, count : exp } | EUnurlify of exp * typ withtype exp = exp' located @@ -117,6 +118,8 @@ | DCookie of string | DStyle of string + | DInitializer of exp + withtype decl = decl' located datatype sidedness =