aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/cjr.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index 5013033f..c57128cf 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -103,7 +103,7 @@ datatype exp' =
withtype exp = exp' located
-datatype task = Initialize
+datatype task = Initialize | ClientLeaves
datatype decl' =
DStruct of int * (string * typ) list
@@ -123,7 +123,7 @@ datatype decl' =
| DCookie of string
| DStyle of string
- | DTask of task * exp
+ | DTask of task * string (* first arg name *) * string * exp
| DOnError of int
withtype decl = decl' located