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

Give correct linearity to generate vars

Browse source
This commit is contained in:
Cédric Pasteur 2011-05-10 17:25:50 +02:00
parent d39e883e08
commit 90be09f259
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/heptagon/transformations/switch.ml
View file

@ -132,8 +132,8 @@ let level_up defnames constr h =
let add_to_locals vd_env locals h =
let add_one n nn (locals,vd_env) =
let orig_vd = Idents.Env.find n vd_env in
let vd_nn = mk_var_dec nn orig_vd.v_type in
vd_nn::locals, Idents.Env.add vd_nn.v_ident vd_nn vd_env
let vd_nn = mk_var_dec ~linearity:orig_vd.v_linearity nn orig_vd.v_type in
vd_nn::locals, Idents.Env.add vd_nn.v_ident vd_nn vd_env
in
fold add_one h (locals, vd_env)
end