X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=bca5df7e0d7f120051c9e6c99e3391d942d16020;hb=4dff4046c87727f8b09558969f7c655b9e4de3c1;hp=fd22548df2aea43afd9dc8daff8a6c4fa75751fa;hpb=a0182655c28502ffcadbe36de99d9a4e503e310e;p=mTask.git

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index fd22548..bca5df7 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
+
+instance toString MTaskMessage
+safePrint :: String -> String
+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,8 @@ instance assign ByteCode
 instance seq ByteCode
 instance serial ByteCode
 
+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)