X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=5a801898de303051e7fcc0d0eb28f546e8b7ec43;hb=aa90c851099c0f6e5993b8cf83ef6605b3835346;hp=32e7b9b17bc170db695a5123f9256ed5b804c206;hpb=7a67ef5e2af69cb14011be201fe67f755b91a788;p=mTask.git diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl index 32e7b9b..5a80189 100644 --- a/mTaskInterpret.dcl +++ b/mTaskInterpret.dcl @@ -16,8 +16,23 @@ import mTask | BCSub | BCMul | BCDiv + //Binary Bool ops + | BCAnd + | BCOr + | BCEq + | BCNeq + | BCLes + | BCGre + | BCLeq + | BCGeq + //Conditionals and jumping + | BCJmp Int + | BCJmpT Int + | BCJmpF Int -:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState)) +//:: ByteCode a p = BC (BCState -> ([BC], BCState)) +:: ByteCode a p = BC [BC] +//:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState)) :: BCState = { a::() }