balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

DropUnit is now ProcedureCall

Browse Source
This commit is contained in:
Georges Dupéron 2019-03-14 18:05:24 +01:00
parent fbf6e5d89f
commit 03671802eb
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
AST2.ml
View File

@ -87,7 +87,7 @@ module O = struct
| ForCollection of { list: expr; key: var_name; value: var_name option; body: instr list } | ForCollection of { list: expr; key: var_name; value: var_name option; body: instr list }
| If of { condition: expr; ifso: instr list; ifnot: instr list } | If of { condition: expr; ifso: instr list; ifnot: instr list }
| Match of { expr: expr; cases: (pattern * instr list) list } | Match of { expr: expr; cases: (pattern * instr list) list }
| DropUnit of expr (* expr returns unit, drop the result. *) | ProcedureCall of expr (* expr returns unit, drop the result. *)
| Fail of { expr: expr } | Fail of { expr: expr }
type ast = { type ast = {
@ -485,7 +485,7 @@ and s_single_instr : I.single_instr -> O.instr list = function
| Match {value; _} -> [s_match_instr value] | Match {value; _} -> [s_match_instr value]
| Ass instr -> [s_ass_instr instr] | Ass instr -> [s_ass_instr instr]
| Loop loop -> s_loop loop | Loop loop -> s_loop loop
| ProcCall fun_call -> [DropUnit (s_fun_call fun_call)] | ProcCall fun_call -> [ProcedureCall (s_fun_call fun_call)]
| Null kwd_null -> let () = ignore (kwd_null) in | Null kwd_null -> let () = ignore (kwd_null) in
[] []
| Fail {value; _} -> [s_fail value] | Fail {value; _} -> [s_fail value]