X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=8c8e422e14cf334ee69752a3c260f58279c06e8b;hb=bdebf34a1e281db5b2de64d5dd177cf7ea5cee51;hp=01059445763fe23c110829eba163e53af4d050a3;hpb=f90517d738696125a067f113edf93f404873115b;p=mTask.git diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl index 0105944..8c8e422 100644 --- a/mTaskInterpret.dcl +++ b/mTaskInterpret.dcl @@ -6,14 +6,17 @@ from Data.Monoid import class Semigroup, class Monoid import mTask :: MTaskMSGRecv - = MTPub Int String + = MTTaskAck Int + | MTTaskDelAck Int + | MTSDSAck Int + | MTSDSDelAck Int + | MTPub Int String | MTMessage String - | MTTaskAdded Int | MTEmpty :: MTaskMSGSend - = MTSds Int String - | MTTask Int String + = MTTask Int String + | MTSds Int String | MTUpd Int String instance toString MTaskMSGRecv @@ -111,4 +114,4 @@ toSDSUpdate :: Int Int -> [MTaskMSGSend] toByteVal :: BC -> [Char] toReadableByteCode :: (ByteCode a b) -> (String, BCState) -toRealByteCode :: (ByteCode a b) -> (String, BCState) +toRealByteCode :: (ByteCode a b) BCState -> (String, BCState)