Mercurial > urweb
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 |