Mercurial > urweb
diff src/monoize.sml @ 599:889dc9fceb3a
Use header to set default script type
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 11 Jan 2009 10:22:19 -0500 |
| parents | 4c2c740c6931 |
| children | 7c3c21eb5b4c |
line wrap: on
line diff
--- a/src/monoize.sml Sun Jan 11 10:05:06 2009 -0500 +++ b/src/monoize.sml Sun Jan 11 10:22:19 2009 -0500 @@ -1898,7 +1898,7 @@ e), _), _)] => (e, fm) | [("Signal", e, _)] => ((L'.EStrcat - ((L'.EPrim (Prim.String "<script type=\"text/javascript\">dyn("), loc), + ((L'.EPrim (Prim.String "<script>dyn("), loc), (L'.EStrcat ((L'.EJavaScript (L'.Script, e, NONE), loc), (L'.EPrim (Prim.String ")</script>"), loc)), loc)), loc), fm) @@ -1919,7 +1919,7 @@ loc)), loc), fm) end | SOME (_, src, _) => - (strcat [str "<script type=\"text/javascript\">inp(\"input\",", + (strcat [str "<script>inp(\"input\",", (L'.EJavaScript (L'.Script, src, NONE), loc), str ")</script>"], fm))