Mercurial > urweb

comparison src/expl.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 42dfb0d61cf0
children 075b36dbb1a4
comparison
equal deleted inserted replaced
337:18d5affa790d 338:e976b187d73a
106 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 106 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
107 | SgiVal of string * int * con 107 | SgiVal of string * int * con
108 | SgiSgn of string * int * sgn 108 | SgiSgn of string * int * sgn
109 | SgiStr of string * int * sgn 109 | SgiStr of string * int * sgn
110 | SgiTable of int * string * int * con 110 | SgiTable of int * string * int * con
111 | SgiSequence of int * string * int
111 112
112 and sgn' = 113 and sgn' =
113 SgnConst of sgn_item list 114 SgnConst of sgn_item list
114 | SgnVar of int 115 | SgnVar of int
115 | SgnFun of string * int * sgn * sgn 116 | SgnFun of string * int * sgn * sgn
128 | DSgn of string * int * sgn 129 | DSgn of string * int * sgn
129 | DStr of string * int * sgn * str 130 | DStr of string * int * sgn * str
130 | DFfiStr of string * int * sgn 131 | DFfiStr of string * int * sgn
131 | DExport of int * sgn * str 132 | DExport of int * sgn * str
132 | DTable of int * string * int * con 133 | DTable of int * string * int * con
134 | DSequence of int * string * int
133 | DDatabase of string 135 | DDatabase of string
134 136
135 and str' = 137 and str' =
136 StrConst of decl list 138 StrConst of decl list
137 | StrVar of int 139 | StrVar of int