diff options
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) |