Mercurial > urweb
comparison src/elab_env.sml @ 1075:0657e5adc938
Convert to task syntax
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 15 Dec 2009 10:19:05 -0500 |
parents | b2311dfb3158 |
children | c316ca3c9ec6 |
comparison
equal
deleted
inserted
replaced
1074:d89f98f0b4bb | 1075:0657e5adc938 |
---|---|
1620 let | 1620 let |
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 | DInitializer _ => env | 1625 | DTask _ => env |
1626 | 1626 |
1627 end | 1627 end |