summaryrefslogtreecommitdiff
path: root/src/monoize.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
commit6179a09d47c5af4db1ac41d00b8cb7ec36741c3e (patch)
tree0912963011416a0f1132c07d44c3eca8b6545d54 /src/monoize.sml
parent1589307fcb887ec55b5baea7445747b479a665d2 (diff)
Convert to task syntax
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 503fd6b3..f6a56c33 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -3478,13 +3478,14 @@ fun monoDecl (env, fm) (all as (d, loc)) =
[(L'.DStyle s, loc),
(L'.DVal (x, n, t', e, s), loc)])
end
- | L.DInitializer e =>
+ | L.DTask (e1, e2) =>
let
- val (e, fm) = monoExp (env, St.empty, fm) e
+ val (e1, fm) = monoExp (env, St.empty, fm) e1
+ val (e2, fm) = monoExp (env, St.empty, fm) e2
in
SOME (env,
fm,
- [(L'.DInitializer e, loc)])
+ [(L'.DTask (e1, e2), loc)])
end
end