comparison src/cjr_env.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents 4c5796512edc
children 81fce435e255
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
162 in 162 in
163 pushENamed env fx n t 163 pushENamed env fx n t
164 end) env vis 164 end) env vis
165 | DTable _ => env 165 | DTable _ => env
166 | DSequence _ => env 166 | DSequence _ => env
167 | DView _ => env
167 | DDatabase _ => env 168 | DDatabase _ => env
168 | DPreparedStatements _ => env 169 | DPreparedStatements _ => env
169 | DJavaScript _ => env 170 | DJavaScript _ => env
170 | DCookie _ => env 171 | DCookie _ => env
171 | DStyle _ => env 172 | DStyle _ => env