From eddeb1f4de6b92640caf29e28296f2655593abb6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=EBl=20Delaval?= Date: Fri, 28 Sep 2012 13:06:46 +0200 Subject: [PATCH] Bug correction tentative (itfusion) Tentative of correction of itfusion bug: The itfusion pass adds some "anonymous" nodes into the module. This correction adds the signature of these created nodes. This only shifts the bug (towards clocking pass). --- compiler/heptagon/transformations/itfusion.ml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/compiler/heptagon/transformations/itfusion.ml b/compiler/heptagon/transformations/itfusion.ml index 19fed77..4e0fdd3 100644 --- a/compiler/heptagon/transformations/itfusion.ml +++ b/compiler/heptagon/transformations/itfusion.ml @@ -178,5 +178,11 @@ let edesc funs acc ed = let program p = let funs = { Hept_mapfold.defaults with edesc = edesc } in let p, _ = Hept_mapfold.program_it funs false p in - let pd = QualEnv.fold (fun _ nd l -> Pnode nd :: l) !anon_nodes p.p_desc in + let pd = + QualEnv.fold + (fun _ nd l -> + Modules.add_value nd.n_name (signature_of_node nd); + Pnode nd :: l) + !anon_nodes + p.p_desc in { p with p_desc = pd }