Mercurial > urweb

diff src/monoize.sml @ 608:330a7de47914

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Export RPC functions and push RPC calls through to Mono
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 09:27:36 -0500
parents 0dd40b6bfdf3
children 56aaa1941dad
line wrap: on
line diff
--- a/src/monoize.sml	Sat Feb 14 14:07:56 2009 -0500
+++ b/src/monoize.sml	Sun Feb 15 09:27:36 2009 -0500
@@ -2225,7 +2225,13 @@
                 ((L'.ELet (x, t', e1, e2), loc), fm)
             end
 
-          | L.EServerCall _ => raise Fail "Monoize EServerCall"
+          | L.EServerCall (n, es, ek) =>
+            let
+                val (es, fm) = ListUtil.foldlMap (fn (e, fm) => monoExp (env, st, fm) e) fm es
+                val (ek, fm) = monoExp (env, st, fm) ek
+            in
+                ((L'.EServerCall (n, es, ek), loc), fm)
+            end
     end
 
 fun monoDecl (env, fm) (all as (d, loc)) =