# HG changeset patch # User Sergey Mironov # Date 1386323979 -14400 # Node ID b44138e6a3bf0e6a57a0b276a3f825989567923c # Parent 2f33d9a5176544c9bd9c5a8be802f024537d7bf5 Add activeHead tag. activeHead is similar to active but produces xhead instead of xbody diff -r 2f33d9a51765 -r b44138e6a3bf lib/ur/basis.urs --- a/lib/ur/basis.urs Tue Dec 03 16:54:04 2013 -0500 +++ b/lib/ur/basis.urs Fri Dec 06 13:59:39 2013 +0400 @@ -782,6 +782,9 @@ val active : unit -> tag [Code = transaction xbody] body [] [] [] +val activeHead : unit + -> tag [Code = transaction xhead] head [] [] [] + val head : unit -> tag [] html head [] [] val title : unit -> tag [] head [] [] [] val link : unit -> tag [Id = id, Rel = string, Typ = string, Href = url, Media = string] head [] [] [] diff -r 2f33d9a51765 -r b44138e6a3bf src/monoize.sml --- a/src/monoize.sml Tue Dec 03 16:54:04 2013 -0500 +++ b/src/monoize.sml Fri Dec 06 13:59:39 2013 +0400 @@ -3264,7 +3264,7 @@ val (style, fm) = monoExp (env, st, fm) style val (dynStyle, fm) = monoExp (env, st, fm) dynStyle - val dynamics = ["dyn", "ctextbox", "ccheckbox", "cselect", "coption", "ctextarea", "active"] + val dynamics = ["dyn", "ctextbox", "ccheckbox", "cselect", "coption", "ctextarea", "active", "activeHead"] fun isSome (e, _) = case e of @@ -3600,6 +3600,16 @@ fm) | _ => raise Fail "Monoize: Bad attributes") + | "activeHead" => + (case attrs of + [("Code", e, _)] => + ((L'.EStrcat + ((L'.EPrim (Prim.String ("")), loc)), loc)), loc), + fm) + | _ => raise Fail "Monoize: Bad attributes") + | "submit" => normal ("input type=\"submit\"", NONE) | "image" => normal ("input type=\"image\"", NONE) | "button" => normal ("input type=\"submit\"", NONE)