comparison src/css.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents 78b36c50daf9
children ca3b73a7b4d0
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
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 | DPolicy _ => st
291 | DOnError _ => st
291 end 292 end
292 293
293 val (globals, classes) = foldl decl (IM.empty, IM.empty) file 294 val (globals, classes) = foldl decl (IM.empty, IM.empty) file
294 in 295 in
295 {Overall = IM.foldl (fn ((_, sm), sm') => merge' (sm, sm')) [] globals, 296 {Overall = IM.foldl (fn ((_, sm), sm') => merge' (sm, sm')) [] globals,