Mercurial > urweb

comparison src/expl_env.sml @ 720:acb8537f58f0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stop tracking CSS classes in XML types
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 12:31:54 -0400
parents f152f215a02c
children 8688e01ae469
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
317 let 317 let
318 val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc) 318 val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc)
319 in 319 in
320 pushENamed env x n t 320 pushENamed env x n t
321 end 321 end
322 | DStyle (tn, x, n, c) => 322 | DStyle (tn, x, n) =>
323 let 323 let
324 val t = (CApp ((CModProj (tn, [], "css_class"), loc), c), loc) 324 val t = (CModProj (tn, [], "css_class"), loc)
325 in 325 in
326 pushENamed env x n t 326 pushENamed env x n t
327 end 327 end
328 328
329 fun sgiBinds env (sgi, loc) = 329 fun sgiBinds env (sgi, loc) =