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

Do not add consts to env again

Browse source
This commit is contained in:
Cédric Pasteur 2010-09-13 11:07:01 +02:00
parent e0e7bba733
commit 0e6eb98bf7
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1062,10 +1062,7 @@ let node ({ n_name = f; n_statefull = statefull;
let typing_const_dec cd =
let ty = check_type QualEnv.empty cd.c_type in
let se = expect_static_exp QualEnv.empty ty cd.c_value in
let cd = { cd with c_value = se; c_type = ty } in
add_const cd.c_name (mk_const_def cd.c_type cd.c_value);
cd
{ cd with c_value = se; c_type = ty }
let program
({ p_opened = opened; p_types = p_type_list;
p_nodes = p_node_list; p_consts = p_consts_list } as p) =