Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
729:7c6b6c3c7b79 | 730:1b1047992ecf |
---|---|
2424 NotFound => Found e | 2424 NotFound => Found e |
2425 | _ => Error) | 2425 | _ => Error) |
2426 | L.EApp ( | 2426 | L.EApp ( |
2427 (L.EApp ( | 2427 (L.EApp ( |
2428 (L.EApp ( | 2428 (L.EApp ( |
2429 (L.ECApp ( | 2429 (L.EApp ( |
2430 (L.ECApp ( | 2430 (L.ECApp ( |
2431 (L.ECApp ( | 2431 (L.ECApp ( |
2432 (L.ECApp ( | 2432 (L.ECApp ( |
2433 (L.ECApp ( | 2433 (L.ECApp ( |
2434 (L.ECApp ( | 2434 (L.ECApp ( |
2435 (L.ECApp ( | 2435 (L.ECApp ( |
2436 (L.ECApp ( | 2436 (L.ECApp ( |
2437 (L.EFfi ("Basis", "tag"), | 2437 (L.ECApp ( |
2438 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), | 2438 (L.EFfi ("Basis", "tag"), |
2439 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), | |
2440 _), _), | |
2439 attrs), _), | 2441 attrs), _), |
2440 _), _), | 2442 _), _), |
2441 xml) => | 2443 xml) => |
2442 (case #1 attrs of | 2444 (case #1 attrs of |
2443 L.ERecord xes => | 2445 L.ERecord xes => |
2466 fm) | 2468 fm) |
2467 end | 2469 end |
2468 | 2470 |
2469 val (xml, fm) = monoExp (env, st, fm) xml | 2471 val (xml, fm) = monoExp (env, st, fm) xml |
2470 in | 2472 in |
2471 ((L'.EStrcat ((L'.EStrcat ((L'.EPrim (Prim.String "<form"), loc), | 2473 ((L'.EStrcat ((L'.EStrcat ((L'.EPrim (Prim.String "<form method=\"post\""), loc), |
2472 (L'.EStrcat (action, | 2474 (L'.EStrcat (action, |
2473 (L'.EPrim (Prim.String ">"), loc)), loc)), loc), | 2475 (L'.EPrim (Prim.String ">"), loc)), loc)), loc), |
2474 (L'.EStrcat (xml, | 2476 (L'.EStrcat (xml, |
2475 (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc), | 2477 (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc), |
2476 fm) | 2478 fm) |