Mercurial > urweb

diff src/core.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.sml	Tue Jan 27 09:53:51 2009 -0500
+++ b/src/core.sml	Sat Feb 14 14:07:56 2009 -0500
@@ -106,6 +106,8 @@
 
        | ELet of string * con * exp * exp
 
+       | EServerCall of int * exp list * exp
+
 withtype exp = exp' located
 
 datatype export_kind =