# HG changeset patch # User Adam Chlipala # Date 1386622034 18000 # Node ID 44f607a7f4cd818430e1dba5cf7748e212a315c1 # Parent 15802a00816c0c47dd2f872c4019a6685ff6cd15 Rename to }. + \subsubsection{Node IDs} There is an abstract type of node IDs that may be assigned to \cd{id} attributes of most HTML tags. diff -r 15802a00816c -r 44f607a7f4cd lib/ur/basis.urs --- a/lib/ur/basis.urs Fri Dec 06 14:52:47 2013 +0400 +++ b/lib/ur/basis.urs Mon Dec 09 15:47:14 2013 -0500 @@ -782,7 +782,7 @@ val active : unit -> tag [Code = transaction xbody] body [] [] [] -val activeHead : unit +val script : unit -> tag [Code = transaction unit] head [] [] [] val head : unit -> tag [] html head [] [] diff -r 15802a00816c -r 44f607a7f4cd src/monoize.sml --- a/src/monoize.sml Fri Dec 06 14:52:47 2013 +0400 +++ b/src/monoize.sml Mon Dec 09 15:47:14 2013 -0500 @@ -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", "activeHead"] + val dynamics = ["dyn", "ctextbox", "ccheckbox", "cselect", "coption", "ctextarea", "active", "script"] fun isSome (e, _) = case e of @@ -3600,15 +3600,15 @@ fm) | _ => raise Fail "Monoize: Bad attributes") - | "activeHead" => + | "script" => (case attrs of [("Code", e, _)] => ((L'.EStrcat - ((L'.EPrim (Prim.String ("")), loc)), loc)), loc), + (L'.EPrim (Prim.String ("))")), loc)), loc)), loc), fm) - | _ => raise Fail "Monoize: Bad attributes") + | _ => raise Fail "Monoize: Bad