Mercurial > urweb

diff src/mono.sml @ 736:796e42c93c48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents e0dd85ea58e1
children f7e2026dd5ae
line wrap: on
line diff
--- a/src/mono.sml	Thu Apr 23 14:10:10 2009 -0400
+++ b/src/mono.sml	Thu Apr 23 16:13:02 2009 -0400
@@ -62,6 +62,9 @@
        | Script
        | Source of typ
 
+datatype effect = datatype Export.effect
+datatype export_kind = datatype Export.export_kind
+
 datatype exp' =
          EPrim of Prim.t
        | ERel of int
@@ -109,15 +112,12 @@
        | ESignalBind of exp * exp
        | ESignalSource of exp
 
-       | EServerCall of exp * exp * typ
+       | EServerCall of exp * exp * typ * effect
        | ERecv of exp * exp * typ
        | ESleep of exp * exp
 
 withtype exp = exp' located
 
-datatype effect = datatype Export.effect
-datatype export_kind = datatype Export.export_kind
-
 datatype decl' =
          DDatatype of string * int * (string * int * typ option) list
        | DVal of string * int * typ * exp * string