From 73bd2d080e65dbd3f9e7dad625e91b01d383061c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 13 Jul 2010 16:01:42 +0200 Subject: [PATCH] Correctly set the name of generated nodes --- compiler/minils/main/mls2seq.ml | 2 +- compiler/minils/transformations/callgraph_mapfold.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/minils/main/mls2seq.ml b/compiler/minils/main/mls2seq.ml index 6251103..277b704 100644 --- a/compiler/minils/main/mls2seq.ml +++ b/compiler/minils/main/mls2seq.ml @@ -55,7 +55,7 @@ let generate_target p s = let p_list = Callgraph_mapfold.program p in List.iter convert_fun p_list | Obc_no_params, Obc_fun convert_fun -> - let p_list = Callgraph_mapfold.program p in + let p_list = Callgraph_mapfold.program p in let o_list = List.map Mls2obc.program p_list in List.iter convert_fun o_list diff --git a/compiler/minils/transformations/callgraph_mapfold.ml b/compiler/minils/transformations/callgraph_mapfold.ml index 97a1abe..8795068 100644 --- a/compiler/minils/transformations/callgraph_mapfold.ml +++ b/compiler/minils/transformations/callgraph_mapfold.ml @@ -178,7 +178,7 @@ struct let node_sig, _ = Global_mapfold.node_it global_funs m node_sig in let ln = node_for_params_call ln params in Modules.add_value_by_longname ln node_sig; - n + { n with n_name = shortname ln } let node_dec modname n = let ln = Modname { qual = modname; id = n.n_name } in