diff src/monoize.sml @ 603:b1064de2b1f9

dlist example working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 16 Jan 2009 15:49:10 -0500
parents 7c3c21eb5b4c
children 5145181b02fa
line wrap: on
line diff
--- a/src/monoize.sml	Tue Jan 13 15:23:48 2009 -0500
+++ b/src/monoize.sml	Fri Jan 16 15:49:10 2009 -0500
@@ -1910,9 +1910,9 @@
                                                e), _), _)] => (e, fm)
                        | [("Signal", e, _)] =>
                          ((L'.EStrcat
-                               ((L'.EPrim (Prim.String "<script>dyn("), loc),
+                               ((L'.EPrim (Prim.String "<span><script type=\"text/javascript\">dyn("), loc),
                                 (L'.EStrcat ((L'.EJavaScript (L'.Script, e, NONE), loc),
-                                             (L'.EPrim (Prim.String ")</script>"), loc)), loc)), loc),
+                                             (L'.EPrim (Prim.String ")</script></span>"), loc)), loc)), loc),
                           fm)
                        | _ => raise Fail "Monoize: Bad dyn attributes")
                     
@@ -1932,7 +1932,7 @@
                                                  loc)), loc), fm)
                               end
                             | SOME (_, src, _) =>
-                              (strcat [str "<script>inp(\"input\",",
+                              (strcat [str "<script type=\"text/javascript\">inp(\"input\",",
                                        (L'.EJavaScript (L'.Script, src, NONE), loc),
                                        str ")</script>"],
                                fm))
@@ -2002,7 +2002,7 @@
                                loc), fm)
                          end
                        | SOME (_, src, _) =>
-                         (strcat [str "<script>inp(\"input\",",
+                         (strcat [str "<script type=\"text/javascript\">inp(\"input\",",
                                   (L'.EJavaScript (L'.Script, src, NONE), loc),
                                   str ")</script>"],
                           fm))