From 6179a09d47c5af4db1ac41d00b8cb7ec36741c3e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 15 Dec 2009 10:19:05 -0500
Subject: Convert to task syntax

---
 lib/ur/basis.urs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'lib/ur')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index f7e098d4..f550ce67 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -757,3 +757,9 @@ val onDisconnect : transaction unit -> transaction unit
 val onServerError : (string -> transaction unit) -> transaction unit
 
 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)
+
+
+(** Tasks *)
+
+type task_kind
+val initialize : task_kind
-- 
cgit v1.2.3