X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=fa5d1d2700b5da2211a771e7c19f5f8f9930ad2d;hb=8316870cacd21b19badf032f3b8189bdd54eb1e3;hp=557225f55d5d48579debbd260ab62ccd97de8725;hpb=34dfa724f02cd36ff31057ab71ba53ad57fabcb5;p=mTask.git

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index 557225f..fa5d1d2 100644
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -1,21 +1,46 @@
 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
 	| BCNot
 	//Binary Int ops
 	| BCAdd
 	| BCSub
 	| BCMul
 	| BCDiv
+	//Binary Bool ops
+	| BCAnd
+	| BCOr
+	| BCEq
+	| BCNeq
+	| BCLes
+	| BCGre
+	| BCLeq
+	| BCGeq
+	//Conditionals and jumping
+	| BCJmp Int
+	| BCJmpT Int
+	| BCJmpF Int
+	//Serial
+	| BCSerialAvail
+	| BCSerialPrint
+	| BCSerialPrintln
+	| BCSerialRead
+	| BCSerialParseInt
+	//Pins
+	| BCAnalogRead AnalogPin
+	| BCAnalogWrite AnalogPin
 
-:: ByteCode a p = BC ((ReadWrite a) 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::()
 	}