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/monoize.sml | |
parent | 6c5b16aa47eeb84d5f6ee9fc6cb265424e63f74c (diff) |
gform in proper order
Diffstat (limited to 'src/monoize.sml')
-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) |