comparison src/core_env.sml @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents d8217b4cb617
children acb8537f58f0
comparison
equal deleted inserted replaced
717:e28637743279 718:f152f215a02c
332 let 332 let
333 val t = (CApp ((CFfi ("Basis", "http_cookie"), loc), c), loc) 333 val t = (CApp ((CFfi ("Basis", "http_cookie"), loc), c), loc)
334 in 334 in
335 pushENamed env x n t NONE s 335 pushENamed env x n t NONE s
336 end 336 end
337 | DStyle (x, n, c, s) =>
338 let
339 val t = (CApp ((CFfi ("Basis", "css_class"), loc), c), loc)
340 in
341 pushENamed env x n t NONE s
342 end
337 343
338 fun patBinds env (p, loc) = 344 fun patBinds env (p, loc) =
339 case p of 345 case p of
340 PWild => env 346 PWild => env
341 | PVar (x, t) => pushERel env x t 347 | PVar (x, t) => pushERel env x t