comparison src/prepare.sml @ 725:4c5796512edc

Catching duplicate cookie and style paths
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 12:07:21 -0400
parents f152f215a02c
children 7fa4871e8272
comparison
equal deleted inserted replaced
724:12ec14a6be0b 725:4c5796512edc
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 | DCookie _ => (d, sns)
262 | DStyle _ => (d, sns) 263 | DStyle _ => (d, sns)
263 264
264 fun prepare (ds, ps) = 265 fun prepare (ds, ps) =
265 let 266 let
266 val (ds, (sns, _)) = ListUtil.foldlMap prepDecl ([], 0) ds 267 val (ds, (sns, _)) = ListUtil.foldlMap prepDecl ([], 0) ds