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

Intermediate

Browse source
This commit is contained in:
Dmitry Boulytchev 2018-02-25 17:39:54 +03:00
parent 53659aabaf
commit 22659d8fed
3 changed files with 31 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

0
regression/test000.log
View file

2
src/Driver.ml
View file

@ -6,6 +6,7 @@ let parse infile =
(object
inherit Matcher.t s
inherit Util.Lexers.decimal s
inherit Util.Lexers.ident ["read"; "write"] s
inherit Util.Lexers.skip [
Matcher.Skip.whitespaces " \t\n";
Matcher.Skip.lineComment "--";
@ -18,7 +19,6 @@ let parse infile =
let main =
try
let interpret = Sys.argv.(1) = "-i" in
let stack = Sys.argv.(1) = "-s" in
let infile = Sys.argv.(2) in
match parse infile with
| `Ok prog ->

36
src/Language.ml
View file

@ -43,8 +43,7 @@ module Expr =
Takes a state and an expression, and returns the value of the expression in
the given state.
*)
*)
let to_func op =
let bti = function true -> 1 | _ -> 0 in
let itb b = b <> 0 in
@ -71,9 +70,28 @@ module Expr =
| Var x -> st x
| Binop (op, x, y) -> to_func op (eval st x) (eval st y)
(* Statement parser *)
ostap (
parse: empty {failwith "Not implemented yet"}
(* Expression parser *)
ostap (
parse:
!(Ostap.Util.expr
(fun x -> x)
(Array.map (fun (a, s) -> a,
List.map (fun s -> ostap(- $(s)), (fun x y -> Binop (s, x, y))) s
)
[|
`Lefta, ["!!"];
`Lefta, ["&&"];
`Nona , ["=="; "!="; "<="; "<"; ">="; ">"];
`Lefta, ["+" ; "-"];
`Lefta, ["*" ; "/"; "%"];
|]
)
primary);
primary:
n:DECIMAL {Const n}
| x:IDENT {Var x}
| -"(" parse -")"
)
end
@ -107,7 +125,13 @@ module Stmt =
(* Statement parser *)
ostap (
parse: empty {failwith "Not implemented yet"}
parse:
s:stmt ";" ss:parse {Seq (s, ss)}
| stmt;
stmt:
"read" "(" x:IDENT ")" {Read x}
| "write" "(" e:!(Expr.parse) ")" {Write e}
| x:IDENT ":=" e:!(Expr.parse) {Assign (x, e)}
)
end