summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 14:35:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-16 14:35:01 -0400
commit59809464cf40942ec6d1787eeb5d3080e2b074f9 (patch)
treeaec05da1db8412d9b63202985582272d1de56322 /src/monoize.sml
parent6ada30a32e69cf288e50ee0ca2963e031c588ee0 (diff)
POST support
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml10
1 files changed, 6 insertions, 4 deletions
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,