diff --git a/src/lazyCompiler.ml b/src/lazyCompiler.ml
index a34c8919dd89439b720c1ec78a3e7c256e8d5257..bc1c9423a9fe4a424d182db4372a54f71f30f733 100644
--- a/src/lazyCompiler.ml
+++ b/src/lazyCompiler.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 25/02/2009 (at 13:56) by Erwan Jahier> *)
+(** Time-stamp: <modified the 25/02/2009 (at 14:50) by Erwan Jahier> *)
 
 
 open Lxm
@@ -419,8 +419,8 @@ and (type_check_do: t -> Ident.long -> Lxm.t -> SymbolTab.t -> bool ->
               let idref = Ident.idref_of_long lid in
                 try 
                   Abstract_type_eff (lid, id_solver.id2type idref lxm)
-                with _ -> 
-                  Abstract_type_eff (lid, External_type_eff (lid))
+                with e ->
+                  External_type_eff (lid)
             )
           | AliasedType (s, texp) -> GetEff.typ id_solver texp
           | EnumType (s, clst) -> (
diff --git a/src/structArrayExpand.ml b/src/structArrayExpand.ml
index 8d312c86d59fff1f6790a2be2eeef61211863c25..d224048736b67948703f9a6aea15b8a86c31ed51 100644
--- a/src/structArrayExpand.ml
+++ b/src/structArrayExpand.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 25/02/2009 (at 14:04) by Erwan Jahier> *)
+(** Time-stamp: <modified the 25/02/2009 (at 14:48) by Erwan Jahier> *)
 
 (* Replace structures and arrays by as many variables as necessary.
    Since structures can be recursive, it migth be a lot of new variables...
@@ -285,7 +285,13 @@ and (var_trees_of_val_exp : Eff.local_env -> Eff.id_solver -> acc -> Eff.val_exp
                          EvalType.add ve_const [tconst];
                          EvalClock.add ve_const ceff;
                        in
-                       let ve_const,acc=  expand_val_exp nenv id_solver acc ve_const in
+                       let ve_const,acc = 
+                         match ve_const with
+                           | CallByPosEff ({it=IDENT _},_) ->  
+                               (* in order to avoid a potential infinite loop *)
+                               (ve_const, acc)
+                           | _ -> expand_val_exp nenv id_solver acc ve_const 
+                       in
                          (acc, L (ve_const))
                    )
                  | WITH(_) | HAT(_) | CONCAT | ARRAY(_)