Mercurial > urweb

comparison src/mono.sml @ 338:e976b187d73a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 52d4c60518d4
children 7abb28e9d51f
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
87 state : typ, 87 state : typ,
88 query : exp, 88 query : exp,
89 body : exp, 89 body : exp,
90 initial : exp } 90 initial : exp }
91 | EDml of exp 91 | EDml of exp
92 | ENextval of exp
92 93
93 94
94 withtype exp = exp' located 95 withtype exp = exp' located
95 96
96 datatype decl' = 97 datatype decl' =
98 | DVal of string * int * typ * exp * string 99 | DVal of string * int * typ * exp * string
99 | DValRec of (string * int * typ * exp * string) list 100 | DValRec of (string * int * typ * exp * string) list
100 | DExport of Core.export_kind * string * int * typ list 101 | DExport of Core.export_kind * string * int * typ list
101 102
102 | DTable of string * (string * typ) list 103 | DTable of string * (string * typ) list
104 | DSequence of string
103 | DDatabase of string 105 | DDatabase of string
104 106
105 withtype decl = decl' located 107 withtype decl = decl' located
106 108
107 type file = decl list 109 type file = decl list