From 39cd3aba26129807a15ccc29bb9f71e2537c4551 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Dec 2010 14:17:45 -0500
Subject: Change tasks to support parametric code; add clientLeaves

---
 lib/ur/basis.urs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 6fa92a7c..2a61b701 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -810,8 +810,9 @@ val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml
 
 (** 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 *)
-- 
cgit v1.2.3