comparison src/expl.sml @ 271:42dfb0d61cf0

'database' declaration threaded through compiler
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 10:51:41 -0400
parents 3aa010e97db9
children e976b187d73a
comparison
equal deleted inserted replaced
270:b9b02613c0c2 271:42dfb0d61cf0
128 | DSgn of string * int * sgn 128 | DSgn of string * int * sgn
129 | DStr of string * int * sgn * str 129 | DStr of string * int * sgn * str
130 | DFfiStr of string * int * sgn 130 | DFfiStr of string * int * sgn
131 | DExport of int * sgn * str 131 | DExport of int * sgn * str
132 | DTable of int * string * int * con 132 | DTable of int * string * int * con
133 | DDatabase of string
133 134
134 and str' = 135 and str' =
135 StrConst of decl list 136 StrConst of decl list
136 | StrVar of int 137 | StrVar of int
137 | StrProj of str * string 138 | StrProj of str * string