Mercurial > urweb
comparison src/core_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 | a4979e31e4bf |
comparison
equal
deleted
inserted
replaced
1074:d89f98f0b4bb | 1075:0657e5adc938 |
---|---|
346 let | 346 let |
347 val t = (CFfi ("Basis", "css_class"), loc) | 347 val t = (CFfi ("Basis", "css_class"), loc) |
348 in | 348 in |
349 pushENamed env x n t NONE s | 349 pushENamed env x n t NONE s |
350 end | 350 end |
351 | DInitializer _ => env | 351 | DTask _ => env |
352 | 352 |
353 fun patBinds env (p, loc) = | 353 fun patBinds env (p, loc) = |
354 case p of | 354 case p of |
355 PWild => env | 355 PWild => env |
356 | PVar (x, t) => pushERel env x t | 356 | PVar (x, t) => pushERel env x t |