Mercurial > urweb

comparison src/elab_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 9864b64b1700
comparison
equal deleted inserted replaced
719:5c099b1308ae 720:acb8537f58f0
1432 let 1432 let
1433 val t = (CApp ((CModProj (tn, [], "cookie"), loc), c), loc) 1433 val t = (CApp ((CModProj (tn, [], "cookie"), loc), c), loc)
1434 in 1434 in
1435 pushENamedAs env x n t 1435 pushENamedAs env x n t
1436 end 1436 end
1437 | DStyle (tn, x, n, c) => 1437 | DStyle (tn, x, n) =>
1438 let 1438 let
1439 val t = (CApp ((CModProj (tn, [], "css_class"), loc), c), loc) 1439 val t = (CModProj (tn, [], "css_class"), loc)
1440 in 1440 in
1441 pushENamedAs env x n t 1441 pushENamedAs env x n t
1442 end 1442 end
1443 1443
1444 fun patBinds env (p, loc) = 1444 fun patBinds env (p, loc) =