Mercurial > urweb

comparison src/elab_env.sml @ 1199:c316ca3c9ec6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents 0657e5adc938
children 56bd4a4f6e66
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
1621 val t = (CModProj (tn, [], "css_class"), loc) 1621 val t = (CModProj (tn, [], "css_class"), loc)
1622 in 1622 in
1623 pushENamedAs env x n t 1623 pushENamedAs env x n t
1624 end 1624 end
1625 | DTask _ => env 1625 | DTask _ => env
1626 | DPolicy _ => env
1626 1627
1627 end 1628 end