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

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index fd22548..1baf878 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
 
@@ -71,8 +83,8 @@ instance boolExpr ByteCode
 instance analogIO ByteCode
 instance digitalIO ByteCode
 instance If ByteCode Stmt Stmt Stmt
+instance If ByteCode e Stmt Stmt
 instance If ByteCode Stmt e Stmt
-instance If ByteCode Stmt Stmt e
 instance If ByteCode x y Expr
 instance IF ByteCode
 instance noOp ByteCode
@@ -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)