diff src/monoize.sml @ 1463:607657eb2865

Properly handle form textboxes that have sources
author Adam Chlipala <adam@chlipala.net>
date Sun, 29 May 2011 12:44:31 -0400
parents 541673c3161d
children e2d7bd41f527
line wrap: on
line diff
--- a/src/monoize.sml	Sun May 29 12:18:59 2011 -0400
+++ b/src/monoize.sml	Sun May 29 12:44:31 2011 -0400
@@ -2737,8 +2737,8 @@
                (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 @@
                              | 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"))