started with interpreter for basic language
[mTask.git] / mTaskInterpret.dcl
1 definition module mTaskInterpret
2
3 from Data.Functor.Identity import :: Identity
4 from Control.Monad.State import :: State, :: StateT
5 import mTask
6
7 :: BC
8 = BCNop
9 | BCPush String
10 | BCPop
11 //Unary ops
12 | BCNot
13 //Binary Int ops
14 | BCAdd
15 | BCSub
16 | BCMul
17 | BCDiv
18 //Binary Bool ops
19 | BCAnd
20 | BCOr
21 | BCEq
22 | BCNeq
23 | BCLes
24 | BCGre
25 | BCLeq
26 | BCGeq
27 //Conditionals and jumping
28 | BCJmp Int
29 | BCJmpT Int
30 | BCJmpF Int
31
32 //:: ByteCode a p = BC (BCState -> ([BC], BCState))
33 :: ByteCode a p = BC [BC]
34 //:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState))
35 :: BCState = {
36 a::()
37 }
38
39 toByteVal :: BC -> String
40 toReadableByteVal :: BC -> String
41
42 //instance toCode Pin
43 //instance toCode MTask
44 //instance toCode ()
45 //instance toCode Long
46 //
47 //class toCode a :: a -> String
48 //instance toCode Bool
49 //instance toCode Int
50 //instance toCode Real
51 //instance toCode Char
52 //instance toCode String
53 //instance toCode DigitalPin
54 //instance toCode AnalogPin
55 //
56 //argType :: (((Code a p)->Code b q)->In ((Code a p)->Code b q) (Code c s)) -> a | type a
57 //
58 //class argTypes t :: ((t->Code b Expr)->In (t->Code b2 q) (Main (Code c s))) -> t
59 //instance argTypes (Code a p) | showType a
60 //instance argTypes (Code a p, Code b q) | showType a & showType b
61 //instance argTypes (Code a p, Code b q, Code c r) | showType a & showType b & showType c
62 //
63 //instance toCode (SV t)
64 //
65 //instance arith Code
66 //instance boolExpr Code
67 //instance If Code Stmt Stmt Stmt
68 //instance If Code e Stmt Stmt
69 //instance If Code Stmt e Stmt
70 //instance If Code x y Expr
71 //instance IF Code
72 //instance sds Code
73 //
74 //defCode :: ((Code t p) -> In t (Main (Code u q))) -> Main (Code u r) | type t
75 //
76 //var :: String (ReadWrite (Code v q)) CODE -> CODE
77 //
78 //instance assign Code
79 //instance seq Code
80 //instance step` Code
81 //codeSteps :: [Step Code t] -> Code u p
82 //optBreak :: Mode -> Code u p
83 //
84 //instance setDelay Code
85 //instance mtask Code a | taskImp2 a & types a
86 //instance mtasks Code a b | taskImp2 a & types a & taskImp2 b & types b
87 //
88 //loopCode :: Int (Code a b) -> Code c d
89 //
90 //class taskImp2 a :: Int a -> ((Code Long p) a->Code MTask Expr, a) | /*long Code delay &*/ isExpr p
91 //instance taskImp2 ()
92 //instance taskImp2 (Code t p)
93 //instance taskImp2 (Code a p, Code b q)
94 //instance taskImp2 (Code a p, Code b q, Code c r)
95 //instance taskImp2 (Code a p, Code b q, Code c r, Code d s)
96 //
97 //class taskImp a :: Int a -> (Int a->Code MTask Expr, a)
98 //instance taskImp ()
99 //instance taskImp (Code t p)
100 //instance taskImp (Code a p, Code b q)
101 //instance taskImp (Code a p, Code b q, Code c r)
102 //instance taskImp (Code a p, Code b q, Code c r, Code d s)
103 //
104 //tasksMain :: Int Int ((a->Code MTask Expr,b->Code MTask Expr) -> In (a->Code c d,b->Code e f) (Main (Code g h))) -> Main (Code i j) | taskImp a & types a & taskImp b & types b
105 //class types a :: a
106 //instance types ()
107 //instance types (Code a p) | typeSelector a & isExpr p
108 //instance types (Code a p, Code b q) | typeSelector a & isExpr p & typeSelector b & isExpr q
109 //instance types (Code a p, Code b q, Code c r) | typeSelector a & isExpr p & typeSelector b & isExpr q & typeSelector c & isExpr r
110 //instance types (Code a p, Code b q, Code c r, Code d s) | typeSelector a & isExpr p & typeSelector b & isExpr q & typeSelector c & isExpr r & typeSelector d & isExpr s
111 //
112 //codeMTaskBody :: (Code v w) (Code c d) -> Code e f
113 //instance fun Code ()
114 //instance fun Code (Code t p) | type, showType t & isExpr p
115 //instance fun Code (Code a p, Code b q) | showType a & showType b
116 //instance fun Code (Code a p, Code b q, Code c r) | showType a & showType b & showType c
117 //instance output Code
118 //instance pinMode Code
119 //instance digitalIO Code
120 //instance dIO Code
121 //instance aIO Code
122 //instance analogIO Code
123 //instance noOp Code
124 //
125 //:: Code a p = C ((ReadWrite (Code a Expr)) CODE -> CODE)
126 //:: CODE =
127 // { fresh :: Int
128 // , freshMTask :: Int
129 // , funs :: [String]
130 // , ifuns :: Int
131 // , vars :: [String]
132 // , ivars :: Int
133 // , setup :: [String]
134 // , isetup :: Int
135 // , loop :: [String]
136 // , iloop :: Int
137 // , includes :: [String]
138 // , def :: Def
139 // , mode :: Mode
140 // , binds :: [String]
141 // }
142 //
143 //unC :: (Code a p) -> ((ReadWrite (Code a Expr)) CODE -> CODE)
144 //
145 //:: Def = Var | Fun | Setup | Loop
146 //:: Mode = /*MainMode |*/ NoReturn | Return String | SubExp | Assign String
147 //
148 //setMode :: Mode -> Code a p
149 //getMode :: (Mode -> Code a p) -> Code a p
150 //embed :: (Code a p) -> Code a p
151 //(+.+) infixl 5 :: (Code a p) (Code b q) -> Code c r
152 //fresh :: (Int -> (Code a p)) -> (Code a p)
153 //freshMTask :: (Int -> (Code a p)) -> (Code a p)
154 //setCode :: Def -> (Code a p)
155 //getCode :: (Def -> Code a p) -> (Code a p)
156 //brac :: (Code a p) -> Code b q
157 //funBody :: (Code a p) -> Code b q
158 //codeOp2 :: (Code a p) String (Code b q) -> Code c r
159 //include :: String -> Code a b
160 //argList :: [a] -> String | toCode a
161 //c :: a -> Code b p | toCode a
162 //indent :: Code a p
163 //unindent :: Code a p
164 //nl :: Code a p
165 //setBinds :: [String] -> Code a p
166 //addBinds :: String -> Code a p
167 //getBinds :: ([String] -> Code a p) -> (Code a p)
168 //
169 //// ----- driver ----- //
170 //
171 //compile :: (Main (Code a p)) -> [String]
172 //mkset :: [a] -> [a] | Eq a
173 //newCode :: CODE