comparison src/source.sml @ 271:42dfb0d61cf0

'database' declaration threaded through compiler
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 10:51:41 -0400
parents e86411f647c6
children e976b187d73a
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
140 | DConstraint of con * con 140 | DConstraint of con * con
141 | DOpenConstraints of string * string list 141 | DOpenConstraints of string * string list
142 | DExport of str 142 | DExport of str
143 | DTable of string * con 143 | DTable of string * con
144 | DClass of string * con 144 | DClass of string * con
145 | DDatabase of string
145 146
146 and str' = 147 and str' =
147 StrConst of decl list 148 StrConst of decl list
148 | StrVar of string 149 | StrVar of string
149 | StrProj of str * string 150 | StrProj of str * string