diff src/monoize.sml @ 1075:0657e5adc938

Convert to task syntax
author Adam Chlipala <adamc@hcoop.net>
date Tue, 15 Dec 2009 10:19:05 -0500
parents b2311dfb3158
children 25d491287358
line wrap: on
line diff
--- a/src/monoize.sml	Sun Dec 13 14:34:18 2009 -0500
+++ b/src/monoize.sml	Tue Dec 15 10:19:05 2009 -0500
@@ -3478,13 +3478,14 @@
                       [(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