diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-22 19:12:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-22 19:12:25 -0400 |
| commit | f19ae3bb20fa0c60e737606949b2bec6e3ae04f9 (patch) | |
| tree | 5668b1cb95b5d999052b7a797ac4112fab8afdf7 /src | |
| parent | 6c5b16aa47eeb84d5f6ee9fc6cb265424e63f74c (diff) | |
gform in proper order
Diffstat (limited to 'src')
| -rw-r--r-- | src/monoize.sml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index e6c6b6c8..505d6d98 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -351,6 +351,17 @@ fun monoExp env (all as (e, loc)) = (L'.EPrim (Prim.String "</form>"), loc)), loc)), loc) end + | L.EApp ((L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.EFfi ("Basis", "useMore"), _), _), _), + _), _), + _), _), + _), _), + xml) => monoExp env xml + + | L.EApp (e1, e2) => (L'.EApp (monoExp env e1, monoExp env e2), loc) | L.EAbs (x, dom, ran, e) => (L'.EAbs (x, monoType env dom, monoType env ran, monoExp (Env.pushERel env x dom) e), loc) |