Mercurial > urweb

diff src/cjr.sml @ 1348:8a169fc0838b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change tasks to support parametric code; add clientLeaves
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 14:17:45 -0500
parents b4480a56cab7
children 87156c44824f
line wrap: on
line diff
--- a/src/cjr.sml	Sat Dec 18 10:56:31 2010 -0500
+++ b/src/cjr.sml	Sat Dec 18 14:17:45 2010 -0500
@@ -103,7 +103,7 @@
 
 withtype exp = exp' located
 
-datatype task = Initialize
+datatype task = Initialize | ClientLeaves
 
 datatype decl' =
          DStruct of int * (string * typ) list
@@ -123,7 +123,7 @@
        | DCookie of string
        | DStyle of string
 
-       | DTask of task * exp
+       | DTask of task * string (* first arg name *) * string * exp
        | DOnError of int
 
 withtype decl = decl' located