diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-08-11 12:01:54 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-11 12:01:54 -0400 |
| commit | 28f2c29dd98659f00e4d7bc3147c2fc2e5320f34 (patch) | |
| tree | 27602bf6de6e24922737f44491a00c209b00ca3e | |
| parent | 9b6136387980544fe8c8a8eba41a5fb16d0595c5 (diff) | |
JavaScript urlifying of bools; correct Link attribute escaping
| -rw-r--r-- | src/monoize.sml | 1 | ||||
| -rw-r--r-- | src/settings.sml | 1 | ||||
| -rw-r--r-- | src/tag.sml | 2 |
3 files changed, 3 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index c0351756..4d48a7ff 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2538,6 +2538,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = val x = case x of "Typ" => "Type" + | "Link" => "Href" | _ => x val xp = " " ^ lowercaseFirst x ^ "=\"" diff --git a/src/settings.sml b/src/settings.sml index 3b6de173..bb45cf9c 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -143,6 +143,7 @@ val jsFuncsBase = basisM [("alert", "alert"), ("urlifyInt", "ts"), ("urlifyFloat", "ts"), ("urlifyString", "uf"), + ("urlifyBool", "bs"), ("recv", "rv"), ("strcat", "cat"), ("intToString", "ts"), diff --git a/src/tag.sml b/src/tag.sml index 78a4609b..30720ec9 100644 --- a/src/tag.sml +++ b/src/tag.sml @@ -117,7 +117,7 @@ fun exp env (e, s) = end in case x of - (CName "Link", _) => tagIt (Link, "Href") + (CName "Link", _) => tagIt (Link, "Link") | (CName "Action", _) => tagIt (Action ReadWrite, "Action") | _ => ((x, e, t), (count, tags, byTag, newTags)) end) |