summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-15 10:19:05 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-15 10:19:05 -0500
commite6dcaec66b01e85d4972344b8eea3d7c718a949f (patch)
tree0912963011416a0f1132c07d44c3eca8b6545d54 /src/mono_util.sml
parentffb02010f3f25bcdecab88b8f6cab635b649f56e (diff)
Convert to task syntax
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r--src/mono_util.sml14
1 files changed, 8 insertions, 6 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml
index 184ce168..894e35d0 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -528,10 +528,12 @@ fun mapfoldB {typ = fc, exp = fe, decl = fd, bind} =
| DJavaScript _ => S.return2 dAll
| DCookie _ => S.return2 dAll
| DStyle _ => S.return2 dAll
- | DInitializer e =>
- S.map2 (mfe ctx e,
- fn e' =>
- (DInitializer e', loc))
+ | DTask (e1, e2) =>
+ S.bind2 (mfe ctx e1,
+ fn e1' =>
+ S.map2 (mfe ctx e2,
+ fn e2' =>
+ (DTask (e1', e2'), loc)))
and mfvi ctx (x, n, t, e, s) =
S.bind2 (mft t,
@@ -618,7 +620,7 @@ fun mapfoldB (all as {bind, ...}) =
| DJavaScript _ => ctx
| DCookie _ => ctx
| DStyle _ => ctx
- | DInitializer _ => ctx
+ | DTask _ => ctx
in
S.map2 (mff ctx' ds',
fn ds' =>
@@ -672,7 +674,7 @@ val maxName = foldl (fn ((d, _) : decl, count) =>
| DJavaScript _ => count
| DCookie _ => count
| DStyle _ => count
- | DInitializer _ => count) 0
+ | DTask _ => count) 0
end