diff src/monoize.sml @ 730:1b1047992ecf

POST support
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 14:35:01 -0400
parents ba4c230b7231
children f2a2be93331c
line wrap: on
line diff
--- a/src/monoize.sml	Thu Apr 16 13:47:20 2009 -0400
+++ b/src/monoize.sml	Thu Apr 16 14:35:01 2009 -0400
@@ -2426,7 +2426,7 @@
                       | L.EApp (
                         (L.EApp (
                          (L.EApp (
-                          (L.ECApp (
+                          (L.EApp (
                            (L.ECApp (
                             (L.ECApp (
                              (L.ECApp (
@@ -2434,8 +2434,10 @@
                                (L.ECApp (
                                 (L.ECApp (
                                  (L.ECApp (
-                                  (L.EFfi ("Basis", "tag"),
-                                   _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                                  (L.ECApp (
+                                   (L.EFfi ("Basis", "tag"),
+                                    _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                           _), _),
                           attrs), _),
                          _), _),
                         xml) =>
@@ -2468,7 +2470,7 @@
                 
                 val (xml, fm) = monoExp (env, st, fm) xml
             in
-                ((L'.EStrcat ((L'.EStrcat ((L'.EPrim (Prim.String "<form"), loc),
+                ((L'.EStrcat ((L'.EStrcat ((L'.EPrim (Prim.String "<form method=\"post\""), loc),
                                            (L'.EStrcat (action,
                                                         (L'.EPrim (Prim.String ">"), loc)), loc)), loc),
                               (L'.EStrcat (xml,