X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.dcl;h=955b28ab3c0a93f356272310218f07f2f7feb3cd;hb=848595d1288804d6de43625f9e6f1cf76295c285;hp=b1510af0e520ef727993c938e841cb1abe87293c;hpb=18c1286739897b65578e87b17167c6cef1922a3b;p=mTask.git

diff --git a/mTask.dcl b/mTask.dcl
index b1510af..955b28a 100644
--- a/mTask.dcl
+++ b/mTask.dcl
@@ -90,10 +90,13 @@ class var2 v where
 class sds v where
   sds :: ((v t Upd)->In t (Main (v c s))) -> (Main (v c s)) | type, mTaskType, toCode t
   con :: ((v t Expr)  ->In t (Main (v c s))) -> (Main (v c s)) | type t
+class sdspub v where
   pub :: (v t Upd) -> v t Expr | type t
 class seq v where
   (>>=.) infixr 0 :: (v t p) ((v t Expr) -> (v u q)) -> (v u Stmt) | type t & type u
   (:.) infixr 0 :: (v t p) (v u q) -> v u Stmt | type t & type u
+class retrn v where
+  retrn :: v () Expr
 class step` v where
     (>>*.) infixl 1 :: (v t p) ((v t Expr) -> [Step v u]) -> v u Stmt | type t & type u
 :: Step v t = E.p.q: Cond (v Bool q) (v t p) | E.p: Ever (v t p)