Mercurial > urweb
comparison src/elab_env.sml @ 1073:b2311dfb3158
Initializers and setval
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Dec 2009 14:20:41 -0500 |
parents | 86b831978b8d |
children | 0657e5adc938 |
comparison
equal
deleted
inserted
replaced
1072:9001966ae1c8 | 1073:b2311dfb3158 |
---|---|
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 | 1626 |
1626 end | 1627 end |