diff src/cjr.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 72670131dace
line wrap: on
line diff
--- a/src/cjr.sml	Sun Dec 13 14:34:18 2009 -0500
+++ b/src/cjr.sml	Tue Dec 15 10:19:05 2009 -0500
@@ -100,6 +100,8 @@
 
 withtype exp = exp' located
 
+datatype task = Initialize
+
 datatype decl' =
          DStruct of int * (string * typ) list
        | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list
@@ -118,7 +120,7 @@
        | DCookie of string
        | DStyle of string
 
-       | DInitializer of exp
+       | DTask of task * exp
 
 withtype decl = decl' located