summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 12:47:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-16 12:47:01 -0400
commit81fd55a0a98eb20147ae9289095f976dcee4d6cd (patch)
tree9aa9661db2d2394e769ff2e8ecef048f7a43c38f
parent768fd72de4842c23813cd45bfae4918c7395e0c1 (diff)
Catch more unclosed bodyless tags in Monoize
-rw-r--r--src/monoize.sml14
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