X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=0fb9efc9885580b0b8acadf0e35db397f730e881;hb=7edf1780ae3b91d9136db2d94b25e88d64896645;hp=fd22548df2aea43afd9dc8daff8a6c4fa75751fa;hpb=a0182655c28502ffcadbe36de99d9a4e503e310e;p=mTask.git

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index fd22548..0fb9efc 100644
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -5,6 +5,17 @@ from Control.Monad.State import :: State, :: StateT
 from Data.Monoid import class Semigroup, class Monoid
 import mTask
 
+:: MTaskMessage 
+	= MTSds Int String
+	| MTTask Int String
+	| MTPub Int String
+	| MTUpd Int String
+	| MTEmpty
+
+instance toString MTaskMessage
+encode :: MTaskMessage -> String
+decode :: String -> MTaskMessage
+
 :: BC
 	= BCNop
 	| BCLab Int
@@ -53,7 +64,8 @@ instance Monoid (ByteCode a p)
 
 :: BCState = {
 		freshl :: [Int],
-		freshs :: [Int]
+		freshs :: [Int],
+		sdss :: [(Int, [Char])]
 	}
 instance zero BCState
 
@@ -82,6 +94,10 @@ instance assign ByteCode
 instance seq ByteCode
 instance serial ByteCode
 
+pub :: (ByteCode a b) -> ByteCode a b
+
+toMessages :: Int (String, BCState) -> [MTaskMessage]
+
 toByteVal :: BC -> [Char]
-toReadableByteCode :: (ByteCode a Expr) -> String
-toRealByteCode :: (ByteCode a Expr) -> String
+toReadableByteCode :: (ByteCode a b) -> (String, BCState)
+toRealByteCode :: (ByteCode a b) -> (String, BCState)