Mercurial > urweb
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,