Mercurial > urweb
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