From 6d06bc0105d704373295c749aa65cc92488ac56c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 14:35:01 -0400
Subject: POST support

---
 src/monoize.sml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index b816b287..0c05cf90 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2426,7 +2426,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                       | L.EApp (
                         (L.EApp (
                          (L.EApp (
-                          (L.ECApp (
+                          (L.EApp (
                            (L.ECApp (
                             (L.ECApp (
                              (L.ECApp (
@@ -2434,8 +2434,10 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                                (L.ECApp (
                                 (L.ECApp (
                                  (L.ECApp (
-                                  (L.EFfi ("Basis", "tag"),
-                                   _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                                  (L.ECApp (
+                                   (L.EFfi ("Basis", "tag"),
+                                    _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _),
+                           _), _),
                           attrs), _),
                          _), _),
                         xml) =>
@@ -2468,7 +2470,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                 
                 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,
-- 
cgit v1.2.3