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