Mercurial > urweb

diff src/rpcify.sml @ 1020:dfe34fad749d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
RPC uses VM support for call/cc
author Adam Chlipala <adamc@hcoop.net>
date Sun, 25 Oct 2009 14:07:10 -0400
parents 2831be2daf2e
children 72670131dace
line wrap: on
line diff
--- a/src/rpcify.sml	Sun Oct 25 13:12:24 2009 -0400
+++ b/src/rpcify.sml	Sun Oct 25 14:07:10 2009 -0400
@@ -112,11 +112,7 @@
                                 val st = {exported = exported,
                                           export_decls = export_decls}
 
-                                val k = (ECApp ((EFfi ("Basis", "return"), loc),
-                                                (CFfi ("Basis", "transaction"), loc)), loc)
-                                val k = (ECApp (k, ran), loc)
-                                val k = (EApp (k, (EFfi ("Basis", "transaction_monad"), loc)), loc)
-                                val e' = EServerCall (n, args, k, ran, ran)
+                                val e' = EServerCall (n, args, ran)
                             in
                                 (e', st)
                             end