diff options
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 131bdf67..01f18baf 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1820,6 +1820,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = | (L'.TFun _, _) => let val s' = " " ^ lowercaseFirst x ^ "='" + val e = (L'.EApp (e, (L'.ERecord [], loc)), loc) in ((L'.EStrcat (s, (L'.EStrcat ( @@ -2264,8 +2265,12 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L'.ERel 0, loc)), loc), (L'.ERecord [], loc)), loc)), loc)), loc) val ek = (L'.EApp (ekf, ek), loc) + val e = (L'.EServerCall (call, ek, t), loc) + val e = liftExpInExp 0 e + val unit = (L'.TRecord [], loc) + val e = (L'.EAbs ("_", unit, unit, e), loc) in - ((L'.EServerCall (call, ek, t), loc), fm) + (e, fm) end | L.EKAbs _ => poly () |