Mercurial > urweb

comparison src/elab.sml @ 705:e6706a1df013

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Track uniqueness sets in table types
author Adam Chlipala <adamc@hcoop.net>
date Tue, 07 Apr 2009 14:11:32 -0400
parents 70cbdcf5989b
children d8217b4cb617
comparison
equal deleted inserted replaced
704:70cbdcf5989b 705:e6706a1df013
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 * exp 169 | DTable of int * string * int * con * exp * con
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