Mercurial > urweb

comparison src/expl_env.sml @ 718:f152f215a02c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
317 let 317 let
318 val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc) 318 val t = (CApp ((CModProj (tn, [], "http_cookie"), loc), c), loc)
319 in 319 in
320 pushENamed env x n t 320 pushENamed env x n t
321 end 321 end
322 | DStyle (tn, x, n, c) =>
323 let
324 val t = (CApp ((CModProj (tn, [], "css_class"), loc), c), loc)
325 in
326 pushENamed env x n t
327 end
322 328
323 fun sgiBinds env (sgi, loc) = 329 fun sgiBinds env (sgi, loc) =
324 case sgi of 330 case sgi of
325 SgiConAbs (x, n, k) => pushCNamed env x n k NONE 331 SgiConAbs (x, n, k) => pushCNamed env x n k NONE
326 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) 332 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c)