# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1242492421 14400
# Node ID 152b61b2901a45d562e0dc8ce39721d4bcdfcd2a
# Parent  ef6de4075dc1fbb99f1cd965f283857d313c2a1d
Catch more unclosed bodyless tags in Monoize

diff -r ef6de4075dc1 -r 152b61b2901a src/monoize.sml
--- 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