update

[mTask.git] / mTaskInterpret.dcl

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index bca5df7..1baf878 100644 (file)
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -10,9 +10,9 @@ import mTask
        | MTTask Int String
        | MTPub Int String
        | MTUpd Int String
+       | MTEmpty
 
 instance toString MTaskMessage
-safePrint :: String -> String
 encode :: MTaskMessage -> String
 decode :: String -> MTaskMessage
 
@@ -83,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
@@ -94,6 +94,8 @@ instance assign ByteCode
 instance seq ByteCode
 instance serial ByteCode
 
+//pub :: (ByteCode a b) -> ByteCode a b
+
 toMessages :: Int (String, BCState) -> [MTaskMessage]
 
 toByteVal :: BC -> [Char]