Mercurial > urweb

diff src/monoize.sml @ 910:8e540df3294d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
grid1 compiles but gets stuck in JS
author Adam Chlipala <adamc@hcoop.net>
date Tue, 25 Aug 2009 13:57:56 -0400
parents ed06e25c70ef
children b873feb3eb52
line wrap: on
line diff
--- a/src/monoize.sml	Sat Aug 22 16:32:31 2009 -0400
+++ b/src/monoize.sml	Tue Aug 25 13:57:56 2009 -0400
@@ -3162,10 +3162,6 @@
 
                 val (ek, fm) = monoExp (env, st, fm) ek
 
-                val unRpced = foldl (fn (e1, e2) => (L'.EApp (e2, e1), loc)) (L'.ENamed n, loc) es
-                val unRpced = (L'.EApp (unRpced, (L'.ERecord [], loc)), loc)
-                val unRpced = (L'.EApp (ek, unRpced), loc)
-                val unRpced = (L'.EApp (unRpced, (L'.ERecord [], loc)), loc)
                 val unit = (L'.TRecord [], loc)
 
                 val ekf = (L'.EAbs ("f",
@@ -3186,7 +3182,7 @@
                           else
                               L'.ReadOnly
 
-                val e = (L'.EServerCall (call, ek, t, eff, unRpced), loc)
+                val e = (L'.EServerCall (call, ek, t, eff), loc)
                 val e = liftExpInExp 0 e
                 val e = (L'.EAbs ("_", unit, unit, e), loc)
             in