Mercurial > urweb

comparison src/elab.sml @ 271:42dfb0d61cf0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'database' declaration threaded through compiler
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 10:51:41 -0400
parents 19e5791923d0
children 9601c717d2f3
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
150 | DFfiStr of string * int * sgn 150 | DFfiStr of string * int * sgn
151 | DConstraint of con * con 151 | DConstraint of con * con
152 | DExport of int * sgn * str 152 | DExport of int * sgn * str
153 | DTable of int * string * int * con 153 | DTable of int * string * int * con
154 | DClass of string * int * con 154 | DClass of string * int * con
155 | DDatabase of string
155 156
156 and str' = 157 and str' =
157 StrConst of decl list 158 StrConst of decl list
158 | StrVar of int 159 | StrVar of int
159 | StrProj of str * string 160 | StrProj of str * string