repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
refactoors
[mTask.git]
/
mTaskInterpret.dcl
diff --git
a/mTaskInterpret.dcl
b/mTaskInterpret.dcl
index
99a3533
..
3e7513f
100644
(file)
--- a/
mTaskInterpret.dcl
+++ b/
mTaskInterpret.dcl
@@
-34,13
+34,18
@@
from Generics.gCons import class gCons, generic conses, generic consName, generi
| OnInterrupt Int
:: MTaskDeviceSpec =
| OnInterrupt Int
:: MTaskDeviceSpec =
- {haveLed :: Bool
- ,haveAio :: Bool
- ,haveDio :: Bool
+ {haveLed :: Bool
+ ,haveAio :: Bool
+ ,haveDio :: Bool
+ ,aPins :: Int
+ ,dPins :: Int
+ ,stackSize :: Int
,bytesMemory :: Int
}
,bytesMemory :: Int
}
-:: BCValue = E.e: BCValue e & mTaskType e
+:: BCValue = E.e: BCValue e & mTaskType, TC e
+
+instance == BCValue
instance toString MTaskInterval
instance toString MTaskMSGRecv
instance toString MTaskInterval
instance toString MTaskMSGRecv
@@
-113,14
+118,15
@@
derive gEq BCValue
:: ByteCode a p = BC (RWS () [BC] BCState ())
:: ByteCode a p = BC (RWS () [BC] BCState ())
-:: BCShare = {
- sdsi :: Int,
- sdsval :: BCValue
+:: BCShare =
+ { sdsi :: Int
+ , sdsval :: BCValue
+ , sdsname :: String
}
:: BCState = {
}
:: BCState = {
- freshl ::
[Int]
,
- freshs ::
[Int]
,
+ freshl ::
Int
,
+ freshs ::
Int
,
sdss :: [BCShare]
}
instance zero BCState
sdss :: [BCShare]
}
instance zero BCState
@@
-150,6
+156,7
@@
instance noOp ByteCode
instance retrn ByteCode
instance sds ByteCode
instance retrn ByteCode
instance sds ByteCode
+instance sdspub ByteCode
instance assign ByteCode
instance seq ByteCode
instance serial ByteCode
instance assign ByteCode
instance seq ByteCode
instance serial ByteCode