comparison src/reduce_local.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents 9864b64b1700
children ed06e25c70ef
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
156 | DValRec vis => 156 | DValRec vis =>
157 (DValRec (map (fn (x, n, t, e, s) => (x, n, t, exp [] e, s)) vis), loc) 157 (DValRec (map (fn (x, n, t, e, s) => (x, n, t, exp [] e, s)) vis), loc)
158 | DExport _ => d 158 | DExport _ => d
159 | DTable _ => d 159 | DTable _ => d
160 | DSequence _ => d 160 | DSequence _ => d
161 | DView _ => d
161 | DDatabase _ => d 162 | DDatabase _ => d
162 | DCookie _ => d 163 | DCookie _ => d
163 | DStyle _ => d 164 | DStyle _ => d
164 in 165 in
165 map doDecl file 166 map doDecl file