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

Uniformize labels

Browse source
This commit is contained in:
Cédric Pasteur 2010-06-22 09:18:01 +02:00 committed by Léonard Gérard
parent 15529eed90
commit 5c318ace90
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/minils/minils.ml
View file

@ -147,9 +147,9 @@ type program =
let mk_exp ?(exp_ty = Tprod []) ?(clock = Cbase) ?(loc = no_location) desc =
{ e_desc = desc; e_ty = exp_ty; e_ck = clock; e_loc = loc }
let mk_var_dec ?(ck = Cbase) name ty =
let mk_var_dec ?(clock = Cbase) name ty =
{ v_name = name; v_type = ty;
v_clock = ck }
v_clock = clock }
let mk_equation ?(loc = no_location) pat exp =
{ eq_lhs = pat; eq_rhs = exp; eq_loc = loc }

2
compiler/minils/transformations/normalize.ml
View file

@ -19,7 +19,7 @@ and cfalse = Name "false"
let equation (d_list, eq_list) ({ e_ty = te; e_ck = ck } as e) =
let n = Ident.fresh "_v" in
let d_list = (mk_var_dec ~ck:ck n te) :: d_list in
let d_list = (mk_var_dec ~clock:ck n te) :: d_list in
let eq_list = (mk_equation (Evarpat n) e) :: eq_list in
(d_list, eq_list), n