comparison src/core_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
332 let 332 let
333 val t = (CApp ((CFfi ("Basis", "http_cookie"), loc), c), loc) 333 val t = (CApp ((CFfi ("Basis", "http_cookie"), loc), c), loc)
334 in 334 in
335 pushENamed env x n t NONE s 335 pushENamed env x n t NONE s
336 end 336 end
337 | DStyle (x, n, c, s) => 337 | DStyle (x, n, s) =>
338 let 338 let
339 val t = (CApp ((CFfi ("Basis", "css_class"), loc), c), loc) 339 val t = (CFfi ("Basis", "css_class"), loc)
340 in 340 in
341 pushENamed env x n t NONE s 341 pushENamed env x n t NONE s
342 end 342 end
343 343
344 fun patBinds env (p, loc) = 344 fun patBinds env (p, loc) =