Mercurial > urweb

diff src/monoize.sml @ 651:bab524996fca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Noisy demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Mar 2009 17:29:03 -0400
parents fb2a0e76dcef
children a93d5324f400
line wrap: on
line diff
--- a/src/monoize.sml	Tue Mar 10 16:38:38 2009 -0400
+++ b/src/monoize.sml	Tue Mar 10 17:29:03 2009 -0400
@@ -1820,6 +1820,7 @@
                                     | (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 @@
                                                                   (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 ()