Mercurial > urweb
comparison src/expl_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 |
---|---|
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 | DTask _ => env |
347 | 347 |
348 fun sgiBinds env (sgi, loc) = | 348 fun sgiBinds env (sgi, loc) = |
349 case sgi of | 349 case sgi of |
350 SgiConAbs (x, n, k) => pushCNamed env x n k NONE | 350 SgiConAbs (x, n, k) => pushCNamed env x n k NONE |
351 | 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) |