summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml10
1 files changed, 9 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index b1cef64b..39e4853b 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -4087,7 +4087,15 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
in
((L'.EAbs (x, monoType env dom, monoType env ran, e), loc), fm)
end
- | L.ECApp _ => poly ()
+
+ | L.ECApp (e, _) =>
+ let
+ val (e, fm) = monoExp (env, st, fm) e
+ in
+ case #1 e of
+ L'.EFfi _ => (e, fm)
+ | _ => poly ()
+ end
| L.ECAbs _ => poly ()
| L.EFfi mx => ((L'.EFfi mx, loc), fm)