repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
definition module mTaskInterpret
+from Data.Functor.Identity import :: Identity
+from Control.Monad.State import :: State, :: StateT
import mTask
:: BC
= BCNop
import mTask
:: BC
= BCNop
- | BCPush
Int
+ | BCPush
String
| BCPop
//Unary ops
| BCNeg
| BCPop
//Unary ops
| BCNeg
@@
-15,7
+17,7
@@
import mTask
| BCMul
| BCDiv
| BCMul
| BCDiv
-:: ByteCode a p = BC ((ReadWrite
a
) BCState -> ([BC], BCState))
+:: ByteCode a p = BC ((ReadWrite
(ByteCode a Expr)
) BCState -> ([BC], BCState))
:: BCState = {
a::()
}
:: BCState = {
a::()
}