Mercurial > urweb

comparison src/elab_env.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents 7292bcb7c02d
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
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) =>
1438 let
1439 val t = (CApp ((CModProj (tn, [], "css_class"), loc), c), loc)
1440 in
1441 pushENamedAs env x n t
1442 end
1437 1443
1438 fun patBinds env (p, loc) = 1444 fun patBinds env (p, loc) =
1439 case p of 1445 case p of
1440 PWild => env 1446 PWild => env
1441 | PVar (x, t) => pushERel env x t 1447 | PVar (x, t) => pushERel env x t