diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-05-29 12:44:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-05-29 12:44:31 -0400 |
| commit | 72f0b5eb660181f57a2cae08b3bec54ae2b543e7 (patch) | |
| tree | 1f5fac0828731fd598a24d7b5361ebc38e203a66 /src | |
| parent | d08b89fd32f79f2b24bb3f018d5db499f0751518 (diff) | |
Properly handle form textboxes that have sources
Diffstat (limited to 'src')
| -rw-r--r-- | src/monoize.sml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 856cd43e..85b9a39e 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2737,8 +2737,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L.EFfi ("Basis", "sql_nfunc"), _), _), _), _), _), - _), _), - _) => + _), _), + _) => let val s = (L'.TFfi ("Basis", "string"), loc) fun sc s = (L'.EPrim (Prim.String s), loc) @@ -3258,7 +3258,9 @@ fun monoExp (env, st, fm) (all as (e, loc)) = | SOME (_, src, _) => (strcat [str "<script type=\"text/javascript\">inp(exec(", (L'.EJavaScript (L'.Script, src), loc), - str "))</script>"], + str "), \"", + str name, + str "\")</script>"], fm)) | _ => (Print.prefaces "Targs" (map (fn t => ("T", CorePrint.p_con env t)) targs); raise Fail "No name passed to textbox tag")) |