jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Add the signature of a node during scoping

Browse source 
It was done for signature but not for node def
This commit is contained in:
Cédric Pasteur 2010-09-10 13:41:23 +02:00
parent 43b8bc15b0
commit e4e429d3fc
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
compiler/heptagon/parsing/hept_scoping.ml
View file

@ -377,6 +377,11 @@ let params_of_var_decs local_const =
vd.v_name
(translate_type vd.v_loc local_const vd.v_type))
let args_of_var_decs local_const =
List.map (fun vd -> Signature.mk_arg
(Some (name vd.v_name))
(translate_type vd.v_loc local_const vd.v_type))
let translate_node node =
(* Node's params go to local_const env *)
let local_const = build_const node.n_loc node.n_params in
@ -385,6 +390,11 @@ let translate_node node =
let b, env = translate_block local_const env0 node.n_block in
(* the env of the block is used in the contract translation *)
let n = current_qual node.n_name in
(* add the node signature to the environment *)
let i = args_of_var_decs local_const node.n_input in
let o = args_of_var_decs local_const node.n_output in
let p = params_of_var_decs local_const node.n_params in
add_value n (Signature.mk_node i o node.n_statefull p);
{ Heptagon.n_name = n;
Heptagon.n_statefull = node.n_statefull;
Heptagon.n_input = translate_vd_list local_const env0 node.n_input;