update

[mTask.git] / mTaskInterpret.dcl

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index fd22548..0deb665 100644 (file)
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -53,7 +53,8 @@ instance Monoid (ByteCode a p)
 
 :: BCState = {
                freshl :: [Int],
-               freshs :: [Int]
+               freshs :: [Int],
+               sdss :: [(Int, [Char])]
        }
 instance zero BCState
 
@@ -82,6 +83,9 @@ instance assign ByteCode
 instance seq ByteCode
 instance serial ByteCode
 
+getSDSBytes :: BCState -> String
+getTaskBytes :: Int String -> String
+
 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)