diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-28 17:26:53 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-28 17:26:53 -0400 |
| commit | 0f298a5396cf95f4e58988583f862a4b97444bec (patch) | |
| tree | cfce730aeca8d6832d9ec09d1e4d3450f85a444d /src/monoize.sml | |
| parent | 43bdca1c4bef142cde7080f317a4686b01721359 (diff) | |
Subforms
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index a2048a7d..ea191802 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -2686,6 +2686,21 @@ fun monoExp (env, st, fm) (all as (e, loc)) = fm) end + | L.ECApp ((L.ECApp ((L.ECApp ((L.ECApp ( + (L.EFfi ("Basis", "subform"), _), _), _), _), + _), _), _), (L.CName nm, loc)) => + let + val s = (L'.TFfi ("Basis", "string"), loc) + in + ((L'.EAbs ("xml", s, s, + strcat [(L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".b\" value=\"" + ^ nm ^ "\">")), loc), + (L'.ERel 0, loc), + (L'.EPrim (Prim.String ("<input type=\"hidden\" name=\".e\" value=\"1\">")), loc)]), + loc), + fm) + end + | L.EApp ((L.ECApp ( (L.ECApp ( (L.ECApp ( |