comparison src/prepare.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 5bbb542243e8
children 4c5796512edc
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
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 | DJavaScript _ => (d, sns)
262 | DStyle _ => (d, sns)
262 263
263 fun prepare (ds, ps) = 264 fun prepare (ds, ps) =
264 let 265 let
265 val (ds, (sns, _)) = ListUtil.foldlMap prepDecl ([], 0) ds 266 val (ds, (sns, _)) = ListUtil.foldlMap prepDecl ([], 0) ds
266 in 267 in