X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTask.dcl;fp=mTask.dcl;h=d71ba44af0e056a0c1cb0b4e88188cb02f3dbc77;hb=db7588d3c42ad9e1b5af5a6f3d08c82a8b0ccf0d;hp=4ecf37d9cc1319d4a37d421a080f6cc6cdc41011;hpb=2d88e6e829ace95755ad099e074bbba1ee47bffa;p=mTask.git diff --git a/mTask.dcl b/mTask.dcl index 4ecf37d..d71ba44 100644 --- a/mTask.dcl +++ b/mTask.dcl @@ -86,7 +86,7 @@ class var2 v where var2 :: t ((v t Upd)->(Main (v c s))) -> (Main (v c s)) | type, toCode t con2 :: t ((v t Expr) ->(Main (v c s))) -> (Main (v c s)) | type t class sds v where - sds :: ((v t Upd)->In t (Main (v c s))) -> (Main (v c s)) | type, toCode t + sds :: ((v t Upd)->In t (Main (v c s))) -> (Main (v c s)) | type, toByteCode, toCode t con :: ((v t Expr) ->In t (Main (v c s))) -> (Main (v c s)) | type t class seq v where (>>=.) infixr 0 :: (v t p) ((v t Expr) -> (v u q)) -> (v u Stmt) | type t & type u