From 037f9be66415b3f0ae0efe565e3f9e90ac0c5c76 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 5 Jul 2010 09:30:56 +0200 Subject: [PATCH] Remove unused code --- compiler/heptagon/parsing/scoping.ml | 5 ++--- compiler/minils/minils.ml | 7 ------- 2 files changed, 2 insertions(+), 10 deletions(-) diff --git a/compiler/heptagon/parsing/scoping.ml b/compiler/heptagon/parsing/scoping.ml index 4b31eac..434e39c 100644 --- a/compiler/heptagon/parsing/scoping.ml +++ b/compiler/heptagon/parsing/scoping.ml @@ -108,10 +108,9 @@ let op_from_app loc app = | Ecall { op_name = op; op_kind = Efun } -> op_from_app_name op | _ -> Error.message loc Error.Estatic_exp_expected -let check_const_vars = ref true let rec static_exp_of_exp const_env e = match e.e_desc with | Evar n -> - if !check_const_vars & not (NamesEnv.mem n const_env) then + if not (NamesEnv.mem n const_env) then Error.message e.e_loc (Error.Econst_var n) else Svar n @@ -190,7 +189,7 @@ and translate_desc loc const_env env = function if Rename.mem x env then (* defined var *) Heptagon.Evar (Rename.name loc env x) else if NamesEnv.mem x const_env then (* defined as const var *) - Heptagon.Econstvar x + Heptagon.Econst (Svar x) else (* undefined var *) Error.message loc (Error.Evar x) | Elast x -> Heptagon.Elast (Rename.name loc env x) diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml index df3e373..238fe08 100644 --- a/compiler/minils/minils.ml +++ b/compiler/minils/minils.ml @@ -85,13 +85,6 @@ and link = | Cindex of int | Clink of ck -and const = - | Cint of int - | Cfloat of float - | Cconstr of longname - | Carray of static_exp * const - | Cop of - and pat = | Etuplepat of pat list | Evarpat of ident