Mercurial > urweb

comparison src/elab.sml @ 704:70cbdcf5989b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
UNIQUE constraints
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 12:24:31 -0400
parents 12b73f3c108e
children e6706a1df013
comparison
equal deleted inserted replaced
703:a5d8b470d7ca 704:70cbdcf5989b
164 | DSgn of string * int * sgn 164 | DSgn of string * int * sgn
165 | DStr of string * int * sgn * str 165 | DStr of string * int * sgn * str
166 | DFfiStr of string * int * sgn 166 | DFfiStr of string * int * sgn
167 | DConstraint of con * con 167 | DConstraint of con * con
168 | DExport of int * sgn * str 168 | DExport of int * sgn * str
169 | DTable of int * string * int * con 169 | DTable of int * string * int * con * exp
170 | DSequence of int * string * int 170 | DSequence of int * string * int
171 | DClass of string * int * kind * con 171 | DClass of string * int * kind * con
172 | DDatabase of string 172 | DDatabase of string
173 | DCookie of int * string * int * con 173 | DCookie of int * string * int * con
174 174