diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-11 10:22:19 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-11 10:22:19 -0500 |
| commit | 0c5be5455c4f1e078831cb434bb9df215a410ad9 (patch) | |
| tree | 4ed3d80acae013fb6366e52f37e5e0f2c55588cb /src/monoize.sml | |
| parent | 40a04276005343f3dbc7d963a425e382a4e20701 (diff) | |
Use header to set default script type
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 4a2f47d7..56310c1b 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1898,7 +1898,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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 @@ fun monoExp (env, st, fm) (all as (e, loc)) = 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)) |