From 6179a09d47c5af4db1ac41d00b8cb7ec36741c3e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 15 Dec 2009 10:19:05 -0500
Subject: Convert to task syntax

---
 src/corify.sml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/corify.sml')

diff --git a/src/corify.sml b/src/corify.sml
index cc0500af..9259b4f2 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -1064,8 +1064,8 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) =
             ([(L'.DStyle (x, n, s), loc)], st)
         end
 
-      | L.DInitializer e =>
-        ([(L'.DInitializer (corifyExp st e), loc)], st)
+      | L.DTask (e1, e2) =>
+        ([(L'.DTask (corifyExp st e1, corifyExp st e2), loc)], st)
 
 and corifyStr mods ((str, _), st) =
     case str of
@@ -1124,7 +1124,7 @@ fun maxName ds = foldl (fn ((d, _), n) =>
                              | L.DDatabase _ => n
                              | L.DCookie (_, _, n', _) => Int.max (n, n')
                              | L.DStyle (_, _, n') => Int.max (n, n')
-                             | L.DInitializer _ => n)
+                             | L.DTask _ => n)
                        0 ds
 
 and maxNameStr (str, _) =
-- 
cgit v1.2.3