Mercurial > urweb
diff src/monoize.sml @ 803:152b61b2901a
Catch more unclosed bodyless tags in Monoize
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 16 May 2009 12:47:01 -0400 |
| parents | ef6de4075dc1 |
| children | 61a1f5c5ae2c |
line wrap: on
line diff
--- a/src/monoize.sml Sat May 16 12:41:33 2009 -0400 +++ b/src/monoize.sml Sat May 16 12:47:01 2009 -0400 @@ -2796,7 +2796,7 @@ ^ "\" value=\"")), loc), sigSet), loc) val sigSet = (L'.EStrcat (sigSet, - (L'.EPrim (Prim.String "\">"), loc)), loc) + (L'.EPrim (Prim.String "\" />"), loc)), loc) in (L'.EStrcat (sigSet, xml), loc) end @@ -2826,9 +2826,9 @@ in ((L'.EAbs ("xml", s, s, strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".b\" value=\"" - ^ nm ^ "\">")), loc), + ^ nm ^ "\" />")), loc), (L'.ERel 0, loc), - (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]), + (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\" />")), loc)]), loc), fm) end @@ -2841,9 +2841,9 @@ in ((L'.EAbs ("xml", s, s, strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".s\" value=\"" - ^ nm ^ "\">")), loc), + ^ nm ^ "\" />")), loc), (L'.ERel 0, loc), - (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]), + (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\" />")), loc)]), loc), fm) end @@ -2854,9 +2854,9 @@ val s = (L'.TFfi ("Basis", "string"), loc) in ((L'.EAbs ("xml", s, s, - strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".i\" value=\"1\">")), loc), + strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".i\" value=\"1\" />")), loc), (L'.ERel 0, loc), - (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]), + (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\" />")), loc)]), loc), fm) end