From 1962cd2df4fe777a9c05eb3deb453098678a9cb1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Sun, 20 Nov 2011 23:13:47 +0100 Subject: [PATCH] Typing bug fix --- compiler/heptagon/analysis/typing.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index 11c065f..2fb362f 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -1185,8 +1185,8 @@ let node ({ n_name = f; n_input = i_list; n_output = o_list; let cl = List.map (expect_static_exp cenv Initial.tbool) s.node_param_constraints in let cl = cl @ get_constraints () in let cl = solve cl in - let node_inputs = List.map (typing_arg QualEnv.empty) s.node_inputs in - let node_outputs = List.map (typing_arg QualEnv.empty) s.node_outputs in + let node_inputs = List.map (typing_arg cenv) s.node_inputs in + let node_outputs = List.map (typing_arg cenv) s.node_outputs in replace_value f { s with node_param_constraints = cl; node_inputs = node_inputs; node_outputs = node_outputs };