Mercurial > urweb

diff src/mono_print.sml @ 905:7a4b026e45dd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
author Adam Chlipala <adamc@hcoop.net>
date Sun, 09 Aug 2009 16:13:27 -0400
parents 44c2c089ca15
children 8e540df3294d
line wrap: on
line diff
--- a/src/mono_print.sml	Thu Aug 06 15:23:04 2009 -0400
+++ b/src/mono_print.sml	Sun Aug 09 16:13:27 2009 -0400
@@ -335,11 +335,11 @@
                                 p_exp env e,
                                 string ")"]
 
-      | EServerCall (n, e, _, _) => box [string "Server(",
-                                         p_exp env n,
-                                         string ")[",
-                                         p_exp env e,
-                                         string "]"]
+      | EServerCall (n, e, _, _, _) => box [string "Server(",
+                                            p_exp env n,
+                                            string ")[",
+                                            p_exp env e,
+                                            string "]"]
       | ERecv (n, e, _) => box [string "Recv(",
                                 p_exp env n,
                                 string ")[",