comparison src/prepare.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 0fd65c50e0e2
children 5ff1ff38e2db
comparison
equal deleted inserted replaced
568:55fc747a67dc 569:162d5308e34f
256 256
257 | DTable _ => (d, sns) 257 | DTable _ => (d, sns)
258 | DSequence _ => (d, sns) 258 | DSequence _ => (d, sns)
259 | DDatabase _ => (d, sns) 259 | DDatabase _ => (d, sns)
260 | DPreparedStatements _ => (d, sns) 260 | DPreparedStatements _ => (d, sns)
261 | DJavaScript _ => (d, sns)
261 262
262 fun prepare (ds, ps) = 263 fun prepare (ds, ps) =
263 let 264 let
264 val (ds, (sns, _)) = ListUtil.foldlMap prepDecl ([], 0) ds 265 val (ds, (sns, _)) = ListUtil.foldlMap prepDecl ([], 0) ds
265 in 266 in