Mercurial > urweb

diff src/mono_print.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 8f8771f32909
children 56aaa1941dad
line wrap: on
line diff
--- a/src/mono_print.sml	Sat Feb 14 14:07:56 2009 -0500
+++ b/src/mono_print.sml	Sun Feb 15 09:27:36 2009 -0500
@@ -308,6 +308,15 @@
                                 p_exp env e,
                                 string ")"]
 
+      | EServerCall (n, es, e) => box [string "Server(",
+                                       p_enamed env n,
+                                       string ",",
+                                       space,
+                                       p_list (p_exp env) es,
+                                       string ")[",
+                                       p_exp env e,
+                                       string "]"]
+
 and p_exp env = p_exp' false env
 
 fun p_vali env (x, n, t, e, s) =