diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-18 14:17:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-18 14:17:45 -0500 |
| commit | 39cd3aba26129807a15ccc29bb9f71e2537c4551 (patch) | |
| tree | a234fad234187fc2eb74166ebdcd4e810bf60d30 /src/cjr.sml | |
| parent | 496433cdd2f108b483e4762776dfe1305c466eee (diff) | |
Change tasks to support parametric code; add clientLeaves
Diffstat (limited to 'src/cjr.sml')
| -rw-r--r-- | src/cjr.sml | 4 |
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 |