From 30a78632d27bcc99b6f2f49b3819a034527fb0eb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 12 Jul 2010 10:45:00 +0200 Subject: [PATCH] Fix the order of args in the signature --- compiler/heptagon/analysis/typing.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index 1dab1a5..5ff9980 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -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;