Mercurial > urweb

comparison src/core_env.sml @ 1199:c316ca3c9ec6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents a4979e31e4bf
children b4480a56cab7
comparison
equal deleted inserted replaced
1197:6d8e3dcb9713 1199:c316ca3c9ec6
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 | DTask _ => env 351 | DTask _ => env
352 | DPolicy _ => env
352 353
353 fun patBinds env (p, loc) = 354 fun patBinds env (p, loc) =
354 case p of 355 case p of
355 PWild => env 356 PWild => env
356 | PVar (x, t) => pushERel env x t 357 | PVar (x, t) => pushERel env x t