From 9ccb6db03febf5c6e1f184a45f8c0b5bb566dc7c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Fri, 10 Sep 2010 17:10:53 +0200 Subject: [PATCH] Fix, see bugs. ( we probably want a pass to try to convert every exp to static_exp *) --- compiler/heptagon/parsing/hept_scoping.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/heptagon/parsing/hept_scoping.ml b/compiler/heptagon/parsing/hept_scoping.ml index 77a38b6..98da252 100644 --- a/compiler/heptagon/parsing/hept_scoping.ml +++ b/compiler/heptagon/parsing/hept_scoping.ml @@ -238,10 +238,10 @@ let rec translate_type loc local_const ty = and translate_exp local_const env e = let desc = - try (* try to see if the exp is a constant *) + (*try (* try to see if the exp is a constant *) Heptagon.Econst (static_exp_of_exp local_const e) with - Not_static -> translate_desc e.e_loc local_const env e.e_desc in + Not_static -> *) translate_desc e.e_loc local_const env e.e_desc in { Heptagon.e_desc = desc; Heptagon.e_ty = Types.invalid_type; Heptagon.e_loc = e.e_loc }