diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-16 12:47:01 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-16 12:47:01 -0400 |
| commit | 81fd55a0a98eb20147ae9289095f976dcee4d6cd (patch) | |
| tree | 9aa9661db2d2394e769ff2e8ecef048f7a43c38f | |
| parent | 768fd72de4842c23813cd45bfae4918c7395e0c1 (diff) | |
Catch more unclosed bodyless tags in Monoize
| -rw-r--r-- | src/monoize.sml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 31b80479..bf250984 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2796,7 +2796,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = ^ "\" 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 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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 |