comparison src/css.sml @ 1199:c316ca3c9ec6

Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents 52c6ac6a59f1
children 78b36c50daf9
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
285 | DView _ => st 285 | DView _ => st
286 | DDatabase _ => st 286 | DDatabase _ => st
287 | DCookie _ => st 287 | DCookie _ => st
288 | DStyle (_, n, s) => (IM.insert (globals, n, (SOME s, [])), classes) 288 | DStyle (_, n, s) => (IM.insert (globals, n, (SOME s, [])), classes)
289 | DTask _ => st 289 | DTask _ => st
290 | DPolicy _ => st
290 end 291 end
291 292
292 val (globals, classes) = foldl decl (IM.empty, IM.empty) file 293 val (globals, classes) = foldl decl (IM.empty, IM.empty) file
293 in 294 in
294 {Overall = IM.foldl (fn ((_, sm), sm') => merge' (sm, sm')) [] globals, 295 {Overall = IM.foldl (fn ((_, sm), sm') => merge' (sm, sm')) [] globals,