diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-23 16:13:02 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-23 16:13:02 -0400 |
| commit | df4a000b4c97378ccadbd1f94d9f930f87228b28 (patch) | |
| tree | 2034375ed7452282a9f1bbb4b3ee02f5bca63280 /src/mono.sml | |
| parent | 1c5416512d92309bb3f6a98f439edaf5a21d2318 (diff) | |
Cookie signatures for RPCs
Diffstat (limited to 'src/mono.sml')
| -rw-r--r-- | src/mono.sml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/mono.sml b/src/mono.sml index dedb41ea..94314774 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -62,6 +62,9 @@ datatype javascript_mode = | 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 @@ datatype exp' = | 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 |