X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.dcl;fp=mTask.dcl;h=7766d30143d50b974d821c9e27b064b7119e8e19;hb=41ba74ece94d91858a6683a58a0f064c36900c4b;hp=9eb93dafdabbd40a5b8f4510b1a645a4e677e751;hpb=a408afc0974b9a122d34f42afe177b08668c075c;p=mTask.git

diff --git a/mTask.dcl b/mTask.dcl
index 9eb93da..7766d30 100644
--- a/mTask.dcl
+++ b/mTask.dcl
@@ -95,7 +95,7 @@ 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
+  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)