diff src/mono.sml @ 905:7a4b026e45dd

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 493f44759879
children 8e540df3294d
line wrap: on
line diff
--- a/src/mono.sml	Thu Aug 06 15:23:04 2009 -0400
+++ b/src/mono.sml	Sun Aug 09 16:13:27 2009 -0400
@@ -114,7 +114,7 @@
        | ESignalBind of exp * exp
        | ESignalSource of exp
 
-       | EServerCall of exp * exp * typ * effect
+       | EServerCall of exp * exp * typ * effect * exp
        | ERecv of exp * exp * typ
        | ESleep of exp * exp