tests

[mTask.git] / mTaskInterpret.dcl

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index 557225f..32e7b9b 100644 (file)
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -1,10 +1,12 @@
 definition module mTaskInterpret
 
+from Data.Functor.Identity import :: Identity
+from Control.Monad.State import :: State, :: StateT
 import mTask
 
 :: BC
        = BCNop
-       | BCPush Int
+       | BCPush String
        | BCPop
        //Unary ops
        | BCNeg
@@ -15,7 +17,7 @@ import mTask
        | BCMul
        | BCDiv
 
-:: ByteCode a p = BC ((ReadWrite a) BCState -> ([BC], BCState))
+:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState))
 :: BCState = {
                a::()
        }