comparison src/cjr_env.sml @ 569:162d5308e34f

Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents e976b187d73a
children f152f215a02c
comparison
equal deleted inserted replaced
568:55fc747a67dc 569:162d5308e34f
164 end) env vis 164 end) env vis
165 | DTable _ => env 165 | DTable _ => env
166 | DSequence _ => env 166 | DSequence _ => env
167 | DDatabase _ => env 167 | DDatabase _ => env
168 | DPreparedStatements _ => env 168 | DPreparedStatements _ => env
169 | DJavaScript _ => env
169 170
170 171
171 end 172 end