diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-16 14:35:01 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-16 14:35:01 -0400 |
| commit | 59809464cf40942ec6d1787eeb5d3080e2b074f9 (patch) | |
| tree | aec05da1db8412d9b63202985582272d1de56322 /src/monoize.sml | |
| parent | 6ada30a32e69cf288e50ee0ca2963e031c588ee0 (diff) | |
POST support
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 10 |
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, |