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/prepare.sml | |
| parent | 496433cdd2f108b483e4762776dfe1305c466eee (diff) | |
Change tasks to support parametric code; add clientLeaves
Diffstat (limited to 'src/prepare.sml')
| -rw-r--r-- | src/prepare.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prepare.sml b/src/prepare.sml index 4d81940f..1b7454dc 100644 --- a/src/prepare.sml +++ b/src/prepare.sml @@ -325,11 +325,11 @@ fun prepDecl (d as (_, loc), st) = | DJavaScript _ => (d, st) | DCookie _ => (d, st) | DStyle _ => (d, st) - | DTask (tk, e) => + | DTask (tk, x1, x2, e) => let val (e, st) = prepExp (e, st) in - ((DTask (tk, e), loc), st) + ((DTask (tk, x1, x2, e), loc), st) end | DOnError _ => (d, st) |