Mercurial > urweb

comparison src/elab.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents e0dd85ea58e1
children e2780d2f4afc
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
163 | DFfiStr of string * int * sgn 163 | DFfiStr of string * int * sgn
164 | DConstraint of con * con 164 | DConstraint of con * con
165 | DExport of int * sgn * str 165 | DExport of int * sgn * str
166 | DTable of int * string * int * con * exp * con * exp * con 166 | DTable of int * string * int * con * exp * con * exp * con
167 | DSequence of int * string * int 167 | DSequence of int * string * int
168 | DView of int * string * int * exp * con
168 | DClass of string * int * kind * con 169 | DClass of string * int * kind * con
169 | DDatabase of string 170 | DDatabase of string
170 | DCookie of int * string * int * con 171 | DCookie of int * string * int * con
171 | DStyle of int * string * int 172 | DStyle of int * string * int
172 173