From 5c318ace9011ac14afecefe0731f3ff60682a903 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 22 Jun 2010 09:18:01 +0200 Subject: [PATCH] Uniformize labels --- compiler/minils/minils.ml | 4 ++-- compiler/minils/transformations/normalize.ml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml index f51a5ab..b9cb17c 100644 --- a/compiler/minils/minils.ml +++ b/compiler/minils/minils.ml @@ -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 } diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml index a56968b..329765a 100644 --- a/compiler/minils/transformations/normalize.ml +++ b/compiler/minils/transformations/normalize.ml @@ -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