Mercurial > urweb
comparison src/expl_env.sml @ 1073:b2311dfb3158
Initializers and setval
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Dec 2009 14:20:41 -0500 |
parents | 0e554bfd6d6a |
children | 0657e5adc938 |
comparison
equal
deleted
inserted
replaced
1072:9001966ae1c8 | 1073:b2311dfb3158 |
---|---|
341 let | 341 let |
342 val t = (CModProj (tn, [], "css_class"), loc) | 342 val t = (CModProj (tn, [], "css_class"), loc) |
343 in | 343 in |
344 pushENamed env x n t | 344 pushENamed env x n t |
345 end | 345 end |
346 | DInitializer _ => env | |
346 | 347 |
347 fun sgiBinds env (sgi, loc) = | 348 fun sgiBinds env (sgi, loc) = |
348 case sgi of | 349 case sgi of |
349 SgiConAbs (x, n, k) => pushCNamed env x n k NONE | 350 SgiConAbs (x, n, k) => pushCNamed env x n k NONE |
350 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) | 351 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) |