diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-03-10 17:29:03 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-10 17:29:03 -0400 |
commit | 90d6483a54745b4b647b429c018dd49d0797459c (patch) | |
tree | ae4fb9cd2b1daf1601ab9ad335fbb9574d372f8f /src/monoize.sml | |
parent | 4bc363c5ec2724b9d310e17181ca87517c98aa68 (diff) |
Noisy demo
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 () |