Mercurial > urweb

diff src/core_print.sml @ 607:0dd40b6bfdf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents ae03d09043c1
children 330a7de47914
line wrap: on
line diff
--- a/src/core_print.sml	Tue Jan 27 09:53:51 2009 -0500
+++ b/src/core_print.sml	Sat Feb 14 14:07:56 2009 -0500
@@ -394,6 +394,15 @@
                                     newline,
                                     p_exp (E.pushERel env x t) e2]
 
+      | 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_named x n =