separate share publishing from share class

[mTask.git] / mTask.dcl

diff --git a/mTask.dcl b/mTask.dcl
index 7766d30..955b28a 100644 (file)
--- a/mTask.dcl
+++ b/mTask.dcl
@@ -90,6 +90,7 @@ 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