st/lama_byterun
1
0
Fork 0
mirror of https://github.com/ProgramSnail/Lama.git synced 2025-12-25 08:08:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Yep...

Browse source
This commit is contained in:
Dmitry Boulytchev 2018-03-14 23:26:52 +03:00
parent 1a33860560
commit f10cdcf2e8
2 changed files with 4 additions and 40 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/SM.ml
View file

@ -23,19 +23,8 @@ type config = int list * Stmt.config
val eval : config -> prg -> config
Takes a configuration and a program, and returns a configuration as a result
*)
let rec eval ((stack, ((st, i, o) as c)) as conf) = function
| [] -> conf
| insn :: prg' ->
eval
(match insn with
| BINOP op -> let y::x::stack' = stack in (Expr.to_func op x y :: stack', c)
| READ -> let z::i' = i in (z::stack, (st, i', o))
| WRITE -> let z::stack' = stack in (stack', (st, i, o @ [z]))
| CONST i -> (i::stack, c)
| LD x -> (st x :: stack, c)
| ST x -> let z::stack' = stack in (stack', (Expr.update x z st, i, o))
) prg'
*)
let rec eval conf prog = failwith "Not yet implemented"
(* Top-level evaluation