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)