Mercurial > urweb
comparison src/expl_env.sml @ 720:acb8537f58f0
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) = |