comparison src/monoize.sml @ 907:5fe49effbc83

JavaScript urlifying of bools; correct Link attribute escaping
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Aug 2009 12:01:54 -0400
parents 7a4b026e45dd
children ed06e25c70ef
comparison
equal deleted inserted replaced
906:c270fb847dc2 907:5fe49effbc83
2536 | _ => attrifyExp 2536 | _ => attrifyExp
2537 2537
2538 val x = 2538 val x =
2539 case x of 2539 case x of
2540 "Typ" => "Type" 2540 "Typ" => "Type"
2541 | "Link" => "Href"
2541 | _ => x 2542 | _ => x
2542 val xp = " " ^ lowercaseFirst x ^ "=\"" 2543 val xp = " " ^ lowercaseFirst x ^ "=\""
2543 2544
2544 val (e, fm) = fooify env fm (e, t) 2545 val (e, fm) = fooify env fm (e, t)
2545 in 2546 in