add reset functionality

[mTask.git] / mTask.dcl

diff --git a/mTask.dcl b/mTask.dcl
index b1510af..9eb93da 100644 (file)
--- a/mTask.dcl
+++ b/mTask.dcl
@@ -94,6 +94,8 @@ class sds v where
 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 t p) -> (v t Stmt) | type t
 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)