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