Mercurial > urweb

comparison src/monoize.sml @ 756:8ce31c052dce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Subforms
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 17:26:53 -0400
parents 8688e01ae469
children fa2019a63ea4
comparison
equal deleted inserted replaced
755:58d8f877e1ee 756:8ce31c052dce
2684 (L'.EStrcat (xml, 2684 (L'.EStrcat (xml,
2685 (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc), 2685 (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc),
2686 fm) 2686 fm)
2687 end 2687 end
2688 2688
2689 | L.ECApp ((L.ECApp ((L.ECApp ((L.ECApp (
2690 (L.EFfi ("Basis", "subform"), _), _), _), _),
2691 _), _), _), (L.CName nm, loc)) =>
2692 let
2693 val s = (L'.TFfi ("Basis", "string"), loc)
2694 in
2695 ((L'.EAbs ("xml", s, s,
2696 strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".b\" value=\""
2697 ^ nm ^ "\">")), loc),
2698 (L'.ERel 0, loc),
2699 (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]),
2700 loc),
2701 fm)
2702 end
2703
2689 | L.EApp ((L.ECApp ( 2704 | L.EApp ((L.ECApp (
2690 (L.ECApp ( 2705 (L.ECApp (
2691 (L.ECApp ( 2706 (L.ECApp (
2692 (L.ECApp ( 2707 (L.ECApp (
2693 (L.EFfi ("Basis", "useMore"), _), _), _), 2708 (L.EFfi ("Basis", "useMore"), _), _), _),