repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
supposedly working parametric lenses, needs testing
[mTask.git]
/
mTaskInterpret.dcl
diff --git
a/mTaskInterpret.dcl
b/mTaskInterpret.dcl
index
011c130
..
99a3533
100644
(file)
--- a/
mTaskInterpret.dcl
+++ b/
mTaskInterpret.dcl
@@
-55,9
+55,9
@@
decode :: String -> MTaskMSGRecv
// | BCPush String
| BCPop
//SDS functions
// | BCPush String
| BCPop
//SDS functions
- | BCSdsStore
Int
- | BCSdsFetch
Int
- | BCSdsPublish
Int
+ | BCSdsStore
BCShare
+ | BCSdsFetch
BCShare
+ | BCSdsPublish
BCShare
//Unary ops
| BCNot
//Binary Int ops
//Unary ops
| BCNot
//Binary Int ops
@@
-115,7
+115,6
@@
derive gEq BCValue
:: BCShare = {
sdsi :: Int,
:: BCShare = {
sdsi :: Int,
- sdspub :: Bool,
sdsval :: BCValue
}
sdsval :: BCValue
}
@@
-139,6
+138,8
@@
instance arith ByteCode
instance boolExpr ByteCode
instance analogIO ByteCode
instance digitalIO ByteCode
instance boolExpr ByteCode
instance analogIO ByteCode
instance digitalIO ByteCode
+instance aIO ByteCode
+instance dIO ByteCode
instance userLed ByteCode
instance If ByteCode Stmt Stmt Stmt
instance If ByteCode e Stmt Stmt
instance userLed ByteCode
instance If ByteCode Stmt Stmt Stmt
instance If ByteCode e Stmt Stmt