comparison src/css.sml @ 1254:935a981f4380

Merge
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 May 2010 13:57:01 -0400
parents c316ca3c9ec6
children 78b36c50daf9
comparison
equal deleted inserted replaced
1198:b52929351402 1254:935a981f4380
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,