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

Fix the order of args in the signature

Browse source
This commit is contained in:
Cédric Pasteur 2010-07-12 10:45:00 +02:00
parent eb85bfd282
commit 30a78632d2
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
compiler/heptagon/analysis/typing.ml
View file

@ -1094,7 +1094,9 @@ let node ({ n_name = f; n_statefull = statefull;
build_node_params NamesEnv.empty node_params in
let typed_i_list, input_names, h =
build const_env Env.empty Env.empty i_list in
let typed_i_list = List.rev typed_i_list in
let typed_o_list, output_names, h = build const_env h h o_list in
let typed_o_list = List.rev typed_o_list in
(* typing contract *)
let typed_contract, h =
@ -1114,8 +1116,8 @@ let node ({ n_name = f; n_statefull = statefull;
add_value f (signature statefull typed_i_list typed_o_list typed_params cl);
{ n with
n_input = List.rev typed_i_list;
n_output = List.rev typed_o_list;
n_input = typed_i_list;
n_output = typed_o_list;
n_local = typed_l_list;
n_params = typed_params;
n_contract = typed_contract;