Mercurial > urweb

diff lib/ur/basis.urs @ 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 b106ca8200b1
children 87156c44824f
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sat Dec 18 10:56:31 2010 -0500
+++ b/lib/ur/basis.urs	Sat Dec 18 14:17:45 2010 -0500
@@ -810,8 +810,9 @@
 
 (** Tasks *)
 
-type task_kind
-val initialize : task_kind
+con task_kind :: Type -> Type
+val initialize : task_kind unit
+val clientLeaves : task_kind client
 
 
 (** Information flow security *)