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