Mercurial > urweb

diff src/core_print.sml @ 609:56aaa1941dad

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First gimpy RPC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 15 Feb 2009 10:32:50 -0500
parents 330a7de47914
children 8998114760c1
line wrap: on
line diff
--- a/src/core_print.sml	Sun Feb 15 09:27:36 2009 -0500
+++ b/src/core_print.sml	Sun Feb 15 10:32:50 2009 -0500
@@ -394,14 +394,14 @@
                                     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 "]"]
+      | 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