Do not issue an 'assert false' the user is asking (at the lus2lic

command-line) to compile a node in a package that does not exist.

src/TODO

@@ -78,21 +78,12 @@ les operateurs aritmetiques, bof.
 ***********************************************************************************
 *** a faire
 
-* les types sont dumpés 2 fois 
-	(cf par ex ../lus2lic --compile-all-items should_work/packEnvTest/packages2.lus)
-  une fois via le provide, une autre fois via le body...
-
 * le clock checking 
 
 * le merge
 
 * les itérateurs
 
-* lus2lic -n MainPack::preceed  should_work/packEnvTest/packages.lus 
-
-leve une exception au lieu d'une zoulie erreur 
-(le package s'appelle mainPack en fait, pas MainPack!)...
-
 o Lazycompiler.solve_x_idref 
 
  Comment  se faisse  que  je n'ai  pas  besoin de  me  servir de  cet

src/syntaxTab.ml

-(** Time-stamp: <modified the 14/05/2008 (at 10:04) by Erwan Jahier> *)
+(** Time-stamp: <modified the 16/05/2008 (at 10:20) by Erwan Jahier> *)
 
 (** 
     Table des infos sources : une couche au dessus de SyntaxTree pour mieux
@@ -95,14 +95,14 @@ let (pack_body_env: t -> Ident.pack_name -> SymbolTab.t) =
   fun this p -> 
     try  (Hashtbl.find this.st_pack_mng_tab p).pm_body_stab
     with Not_found -> 
-      print_string ("*** Can not find package '" ^ (Ident.pack_name_to_string p) ^
-		   "' in: ");
+      print_string ("*** Can not find package '" ^ 
+		      (Ident.pack_name_to_string p) ^ "' in the following packages: ");
       Hashtbl.iter 
-	(fun pn pm ->  print_string (" '" ^(Ident.pack_name_to_string pn) ^ "' "))
+	(fun pn pm -> print_string ("\n***\t - '"^(Ident.pack_name_to_string pn)^ "'"))
 	this.st_pack_mng_tab;
       print_string "\n";
       flush stdout;
-      assert false
+      exit 2
 
 
 (* exported *)