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