Allow alias on polymorphic nodes (for the time being...).

529ebee5 · Erwan Jahier · 98672e58 · 529ebee5 · 529ebee5 · 529ebee5
Commit 529ebee5 authored 16 years ago by Erwan Jahier
--- a/Makefile
+++ b/Makefile
@@ -19,8 +19,8 @@ test:
 	cd src/test ; make test
-ci:
+ci:src/version.ml
-	make test && git commit -F log && rm src/version.ml
+	make test && git commit -F log && rm -f src/version.ml
-cia:
+cia:src/version.ml
-	make test && git commit -a -F log && rm src/version.ml
+	make test && git commit -a -F log && rm -f src/version.ml
\ No newline at end of file
--- a/src/TODO
+++ b/src/TODO
@@ -64,7 +64,6 @@ les operateurs aritmetiques, bof.
  et puis  il faut  que je  les mettre partout  -> changer  une autre
 regle ? sxIdent ?
 ***********************************************************************************
 ***********************************************************************************
 *** questions pour bibi
@@ -106,6 +105,8 @@ n'est pas le cas pour l'instant...
 *** facile
+* --compile-all-items  devrait  etre effectué  par  default quand  -n
+    n'est pas fournit, plutot que de tenter un nom de noeud.
 * "1..2" ne marche pas car le lexer renvoie 
 	"1." ".2" 

--- a/src/lazyCompiler.ml
+++ b/src/lazyCompiler.ml
-(** Time-stamp: <modified the 29/05/2008 (at 10:45) by Erwan Jahier> *)
+(** Time-stamp: <modified the 30/05/2008 (at 11:52) by Erwan Jahier> *)
 open Lxm
@@ -668,18 +668,18 @@ and (node_check_do: t -> CompiledData.node_key -> Lxm.t -> SymbolTab.t ->
 	      match alias with
 		| Predef((Predef.NOR_n|Predef.DIESE_n), sargs) -> 
 		    raise (Compile_error (lxm, "Can not alias 'nor' nor '#', sorry"))
-		| Predef(
+(* 		| Predef( *)
-		    (Predef.NEQ_n | Predef.EQ_n | Predef.LT_n | Predef.LTE_n 
+(* 		    (Predef.NEQ_n | Predef.EQ_n | Predef.LT_n | Predef.LTE_n  *)
-		    | Predef.GT_n | Predef.GTE_n | Predef.IF_n), _sargs
+(* 		    | Predef.GT_n | Predef.GTE_n | Predef.IF_n), _sargs *)
-		  ) -> 
+(* 		  ) ->  *)
-		    raise (Compile_error (
+(* 		    raise (Compile_error ( *)
-			     lxm, "can not alias polymorphic operators, sorry"))
+(* 			     lxm, "can not alias polymorphic operators, sorry")) *)
-		| Predef(
+(* 		| Predef( *)
-		    ( Predef.UMINUS_n | Predef.MINUS_n  |  Predef.PLUS_n 
+(* 		    ( Predef.UMINUS_n | Predef.MINUS_n  |  Predef.PLUS_n  *)
-		    | Predef.TIMES_n |  Predef.SLASH_n), _sargs
+(* 		    | Predef.TIMES_n |  Predef.SLASH_n), _sargs *)
-		  ) -> 
+(* 		  ) ->  *)
-		    raise (Compile_error (
+(* 		    raise (Compile_error ( *)
-			     lxm, "can not alias overloaded operators, sorry"))
+(* 			     lxm, "can not alias overloaded operators, sorry")) *)
 		| Predef(predef_op, sargs) -> 
 		    let sargs_eff = 
@@ -705,23 +705,18 @@ and (node_check_do: t -> CompiledData.node_key -> Lxm.t -> SymbolTab.t ->
 		    List.map (fun id -> Hashtbl.find vars.vartable id) vars.inlist,
 		    List.map (fun id -> Hashtbl.find vars.vartable id) vars.outlist
 		  in
-		  let aux vi = GetEff.typ node_id_solver vi.it.var_type in
+		  let aux vi = type_eff_to_type_eff_ext(
-		  let (il,ol) = CompiledData.profile_of_node_exp_eff alias_node in
+		    GetEff.typ node_id_solver vi.it.var_type) 
-		  let (il,ol) = 
-		    try
-		      (List.map type_eff_ext_to_type_eff il,
-		       List.map type_eff_ext_to_type_eff ol)
- 		    with 
-			Polymorphic | Overloaded -> assert false
 		  in
-		    if
+		  let (il,ol) = CompiledData.profile_of_node_exp_eff alias_node in
-		      List.map aux vi_il <> il || List.map aux vi_ol <> ol
+		  let (il_exp, ol_exp) = List.map aux vi_il, List.map aux vi_ol in
-		    then
+		    match Unify.f il_exp il with
-		      raise (Compile_error (
+		      | Unify.Ko msg -> raise(Compile_error(lxm, msg))
-			       lxm, "type mismatch in node alias definition"))
+		      | _ ->  
-			(* that error msg could be more precise *)
+			  match Unify.f ol_exp ol with
-		    else
+			    | Unify.Ko msg -> raise(Compile_error (lxm, msg))
-		      alias_node
+			    | _  -> 
+				alias_node
 	  )
    in
      if not provide_flag then 

--- a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
+++ b/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
+include "should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus"
 package util
 provides node igt(i, j: int) returns (res: bool);
@@ -12,7 +13,7 @@ end
 --package intArray is packageTableau(int, 10, Lustre::eq, Lustre::igt);
 --package intArray is packageTableau(int, 10, =,  Lustre::igt);
-package intArray is packageTableau(int, 10, =, util::igt);
+package intArray = packageTableau(int, 10, Lustre::eq, util::igt);
 package main
  uses intArray;--, intArray2, intArray3;

--- a/src/test/test.res.exp
+++ b/src/test/test.res.exp
@@ -2,7 +2,7 @@ Non-regression tests
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/CURRENT.lus
-Opening file should_work/NONREG/CURRENT.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/CURRENT.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack CURRENT
@@ -32,7 +32,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/Int.lus
-Opening file should_work/NONREG/Int.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/Int.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mainPack
@@ -106,7 +106,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/PCOND.lus
-Opening file should_work/NONREG/PCOND.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/PCOND.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack PCOND
@@ -152,7 +152,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/PCOND1.lus
-Opening file should_work/NONREG/PCOND1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/PCOND1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack PCOND1
@@ -194,7 +194,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/SOURIS.lus
-Opening file should_work/NONREG/SOURIS.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/SOURIS.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack SOURIS
@@ -287,7 +287,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/Watch.lus
-Opening file should_work/NONREG/Watch.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/Watch.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack Watch
@@ -826,7 +826,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X.lus
-Opening file should_work/NONREG/X.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack X
@@ -858,7 +858,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X1.lus
-Opening file should_work/NONREG/X1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack X1
@@ -888,7 +888,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X2.lus
-Opening file should_work/NONREG/X2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack X2
@@ -918,7 +918,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X3.lus
-Opening file should_work/NONREG/X3.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X3.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack X3
@@ -961,7 +961,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/X6.lus
-Opening file should_work/NONREG/X6.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/X6.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack X6
@@ -1008,7 +1008,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/_N_uu.lus
-Opening file should_work/NONREG/_N_uu.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/_N_uu.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack _N_uu
@@ -1063,7 +1063,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/activation_ec.lus
-Opening file should_work/NONREG/activation_ec.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/activation_ec.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack activation_ec
@@ -1098,7 +1098,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/after.lus
-Opening file should_work/NONREG/after.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/after.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack after
@@ -1128,7 +1128,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/alarme.lus
-Opening file should_work/NONREG/alarme.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/alarme.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack alarme
@@ -1228,7 +1228,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/arbitre.lus
-Opening file should_work/NONREG/arbitre.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/arbitre.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack arbitre
@@ -1333,7 +1333,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/argos.lus
-Opening file should_work/NONREG/argos.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/argos.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack argos
@@ -1374,7 +1374,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/assertion.lus
-Opening file should_work/NONREG/assertion.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/assertion.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack assertion
@@ -1415,7 +1415,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/aux.lus
-Opening file should_work/NONREG/aux.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/aux.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack aux
@@ -1445,7 +1445,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/aux1.lus
-Opening file should_work/NONREG/aux1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/aux1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack aux1
@@ -1476,7 +1476,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/bascule.lus
-Opening file should_work/NONREG/bascule.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/bascule.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bascule
@@ -1507,7 +1507,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/call.lus
-Opening file should_work/NONREG/call.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/call.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call
@@ -1551,7 +1551,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck2.lus
-Opening file should_work/NONREG/ck2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ck2
@@ -1581,7 +1581,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck3.lus
-Opening file should_work/NONREG/ck3.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck3.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ck3
@@ -1611,7 +1611,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck4.lus
-Opening file should_work/NONREG/ck4.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck4.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ck4
@@ -1641,7 +1641,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck5.lus
-Opening file should_work/NONREG/ck5.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck5.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ck5
@@ -1677,7 +1677,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck6.lus
-Opening file should_work/NONREG/ck6.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck6.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ck6
@@ -1726,7 +1726,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ck7.lus
-Opening file should_work/NONREG/ck7.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ck7.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ck7
@@ -1757,7 +1757,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/clock.lus
-Opening file should_work/NONREG/clock.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/clock.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack clock
@@ -1812,7 +1812,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/cminus.lus
-Opening file should_work/NONREG/cminus.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cminus.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack cminus
@@ -1881,7 +1881,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/compteur.lus
-Opening file should_work/NONREG/compteur.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/compteur.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack compteur
@@ -1911,7 +1911,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/cpt.lus
-Opening file should_work/NONREG/cpt.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cpt.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack cpt
@@ -1942,7 +1942,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/cst.lus
-Opening file should_work/NONREG/cst.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/cst.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack cst
@@ -1983,7 +1983,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/deconne.lus
-Opening file should_work/NONREG/deconne.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/deconne.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack deconne
@@ -2045,7 +2045,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/dep.lus
-Opening file should_work/NONREG/dep.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dep.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack dep
@@ -2077,7 +2077,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/dependeur.lus
-Opening file should_work/NONREG/dependeur.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dependeur.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack dependeur
@@ -2122,7 +2122,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/dependeur_struct.lus
-Opening file should_work/NONREG/dependeur_struct.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/dependeur_struct.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack dependeur_struct
@@ -2169,7 +2169,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/drapfab.lus
-Opening file should_work/NONREG/drapfab.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/drapfab.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack drapfab
@@ -2219,7 +2219,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/enum.lus
-Opening file should_work/NONREG/enum.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/enum.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack enum
@@ -2273,7 +2273,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/eq1.lus
-Opening file should_work/NONREG/eq1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/eq1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack eq1
@@ -2318,7 +2318,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/ex.lus
-Opening file should_work/NONREG/ex.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/ex.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ex
@@ -2364,7 +2364,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/exclusion.lus
-Opening file should_work/NONREG/exclusion.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/exclusion.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack exclusion
@@ -2409,7 +2409,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/fby.lus
-Opening file should_work/NONREG/fby.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/fby.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack fby
@@ -2439,7 +2439,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/flo.lus
-Opening file should_work/NONREG/flo.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/flo.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack flo
@@ -2485,7 +2485,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/hanane.lus
-Opening file should_work/NONREG/hanane.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/hanane.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack hanane
@@ -2556,7 +2556,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/import1.lus
-Opening file should_work/NONREG/import1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/import1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack import1
@@ -2588,7 +2588,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/initial.lus
-Opening file should_work/NONREG/initial.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/initial.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack initial
@@ -2620,7 +2620,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/long_et_stupide_nom_de_noeud.lus
-Opening file should_work/NONREG/long_et_stupide_nom_de_noeud.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/long_et_stupide_nom_de_noeud.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack long_et_stupide_nom_de_noeud
@@ -2654,7 +2654,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax1.lus
-Opening file should_work/NONREG/minmax1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax1
@@ -2684,7 +2684,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax2.lus
-Opening file should_work/NONREG/minmax2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax2
@@ -2720,7 +2720,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax3.lus
-Opening file should_work/NONREG/minmax3.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax3.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax3
@@ -2770,7 +2770,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax4.lus
-Opening file should_work/NONREG/minmax4.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax4.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax4
@@ -2827,7 +2827,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax4_bis.lus
-Opening file should_work/NONREG/minmax4_bis.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax4_bis.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax4_bis
@@ -2884,7 +2884,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax5.lus
-Opening file should_work/NONREG/minmax5.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax5.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax5
@@ -2937,7 +2937,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax5_random.lus
-Opening file should_work/NONREG/minmax5_random.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax5_random.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax5_random
@@ -2996,7 +2996,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/minmax6.lus
-Opening file should_work/NONREG/minmax6.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/minmax6.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minmax6
@@ -3070,7 +3070,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm.lus
-Opening file should_work/NONREG/mm.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mm
@@ -3104,7 +3104,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm1.lus
-Opening file should_work/NONREG/mm1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mm1
@@ -3138,7 +3138,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm22.lus
-Opening file should_work/NONREG/mm22.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm22.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mm22
@@ -3173,7 +3173,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mm3.lus
-Opening file should_work/NONREG/mm3.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mm3.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mm3
@@ -3213,7 +3213,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse.lus
-Opening file should_work/NONREG/mouse.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mouse
@@ -3269,7 +3269,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse1.lus
-Opening file should_work/NONREG/mouse1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mouse1
@@ -3317,7 +3317,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse2.lus
-Opening file should_work/NONREG/mouse2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mouse2
@@ -3373,7 +3373,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/mouse3.lus
-Opening file should_work/NONREG/mouse3.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/mouse3.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mouse3
@@ -3415,7 +3415,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/multiclock.lus
-Opening file should_work/NONREG/multiclock.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/multiclock.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack multiclock
@@ -3459,7 +3459,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc1.lus
-Opening file should_work/NONREG/nc1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc1
@@ -3503,7 +3503,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc10.lus
-Opening file should_work/NONREG/nc10.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc10.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc10
@@ -3573,7 +3573,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc2.lus
-Opening file should_work/NONREG/nc2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc2
@@ -3617,7 +3617,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc3.lus
-Opening file should_work/NONREG/nc3.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc3.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc3
@@ -3663,7 +3663,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc4.lus
-Opening file should_work/NONREG/nc4.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc4.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc4
@@ -3720,7 +3720,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc5.lus
-Opening file should_work/NONREG/nc5.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc5.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc5
@@ -3777,7 +3777,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc6.lus
-Opening file should_work/NONREG/nc6.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc6.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc6
@@ -3834,7 +3834,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc7.lus
-Opening file should_work/NONREG/nc7.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc7.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc7
@@ -3899,7 +3899,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc8.lus
-Opening file should_work/NONREG/nc8.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc8.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc8
@@ -3956,7 +3956,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/nc9.lus
-Opening file should_work/NONREG/nc9.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/nc9.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack nc9
@@ -4026,7 +4026,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/node_caller1.lus
-Opening file should_work/NONREG/node_caller1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/node_caller1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack node_caller1
@@ -4086,7 +4086,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/o2l_feux_compl.lus
-Opening file should_work/NONREG/o2l_feux_compl.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/o2l_feux_compl.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack o2l_feux_compl
@@ -4374,7 +4374,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/patrick.lus
-Opening file should_work/NONREG/patrick.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/patrick.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack patrick
@@ -4404,7 +4404,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/poussoir.lus
-Opening file should_work/NONREG/poussoir.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/poussoir.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack poussoir
@@ -4454,7 +4454,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/rs.lus
-Opening file should_work/NONREG/rs.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/rs.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack rs
@@ -4487,7 +4487,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/s.lus
-Opening file should_work/NONREG/s.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/s.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack s
@@ -4518,7 +4518,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/simple.lus
-Opening file should_work/NONREG/simple.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/simple.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack simple
@@ -4585,7 +4585,7 @@ extern function simple__f2(u:int; v:int) returns (t:bool; s:int);
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/stopwatch.lus
-Opening file should_work/NONREG/stopwatch.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/stopwatch.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack stopwatch
@@ -4650,7 +4650,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/testCA.lus
-Opening file should_work/NONREG/testCA.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/testCA.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack testCA
@@ -4695,7 +4695,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/trivial.lus
-Opening file should_work/NONREG/trivial.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/trivial.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack trivial
@@ -4731,7 +4731,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/trivial2.lus
-Opening file should_work/NONREG/trivial2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/trivial2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack trivial2
@@ -4767,7 +4767,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/uu.lus
-Opening file should_work/NONREG/uu.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/uu.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack uu
@@ -4822,7 +4822,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/NONREG/v1.lus
-Opening file should_work/NONREG/v1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/NONREG/v1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack v1
@@ -4852,7 +4852,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/consensus.lus
-Opening file should_work/Pascal/consensus.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/consensus.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack consensus
@@ -4883,7 +4883,7 @@ End of Syntax table dump. 
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/fby.lus
-Opening file should_work/Pascal/fby.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/fby.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack fby
@@ -4919,7 +4919,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/func_with_body.lus
-Opening file should_work/Pascal/func_with_body.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/func_with_body.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack func_with_body
@@ -4951,7 +4951,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/heater_control.lus
-Opening file should_work/Pascal/heater_control.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/heater_control.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack heater_control
@@ -5109,7 +5109,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/left.lus
-Opening file should_work/Pascal/left.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/left.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack left
@@ -5147,7 +5147,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/newpacks.lus
-Opening file should_work/Pascal/newpacks.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/newpacks.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack inter
@@ -5256,7 +5256,7 @@ const inter__n = -4;
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/onlyroll.lus
-Opening file should_work/Pascal/onlyroll.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/onlyroll.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack onlyroll
@@ -5814,7 +5814,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/p.lus
-Opening file should_work/Pascal/p.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/p.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack inter
@@ -5923,7 +5923,7 @@ const inter__n = -4;
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/packs.lus
-Opening file should_work/Pascal/packs.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/packs.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack inter
@@ -6052,13 +6052,13 @@ const inter__Y;
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/pfs.lus
-Opening file should_work/Pascal/pfs.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/pfs.lus
 *** Error in file "should_work/Pascal/pfs.lus", line 43, col 22 to 22, token '[': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/struct0.lus
-Opening file should_work/Pascal/struct0.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/struct0.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack struct0
@@ -6097,7 +6097,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t.lus
-Opening file should_work/Pascal/t.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack t
@@ -6133,7 +6133,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t0.lus
-Opening file should_work/Pascal/t0.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t0.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack t0
@@ -6165,7 +6165,7 @@ End of Syntax table dump. 
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t1.lus
-Opening file should_work/Pascal/t1.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack t1
@@ -6192,7 +6192,7 @@ End of Syntax table dump. 
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/t2.lus
-Opening file should_work/Pascal/t2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/t2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack t2
@@ -6224,7 +6224,7 @@ End of Syntax table dump. 
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/test.lus
-Opening file should_work/Pascal/test.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/test.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack P1
@@ -6252,7 +6252,7 @@ type P1__titi = int^5;
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/Pascal/trivial.lus
-Opening file should_work/Pascal/trivial.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/Pascal/trivial.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack trivial
@@ -6282,7 +6282,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/bad_call02.lus
-Opening file should_work/call/bad_call02.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/bad_call02.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bad_call02
@@ -6312,7 +6312,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/call01.lus
-Opening file should_work/call/call01.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/call01.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call01
@@ -6350,7 +6350,7 @@ extern function call01__momo(x:bool; y:bool) returns (z:bool);
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/call02.lus
-Opening file should_work/call/call02.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/call02.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call02
@@ -6392,7 +6392,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/call03.lus
-Opening file should_work/call/call03.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/call03.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call03
@@ -6430,7 +6430,7 @@ extern function call03__momo(x:bool; y:bool) returns (z:bool);
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/call04.lus
-Opening file should_work/call/call04.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/call04.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call04
@@ -6478,7 +6478,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/call05.lus
-Opening file should_work/call/call05.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/call05.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call05
@@ -6510,7 +6510,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/call06.lus
-Opening file should_work/call/call06.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/call06.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call06
@@ -6544,7 +6544,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/call/call07.lus
-Opening file should_work/call/call07.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/call/call07.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack call07
@@ -6574,7 +6574,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/Gyroscope2.lus
-Opening file should_work/demo/Gyroscope2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/Gyroscope2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack Gyroscope2
@@ -7084,7 +7084,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/alias.lus
-Opening file should_work/demo/alias.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/alias.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack alias
@@ -7151,7 +7151,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/bred.lus
-Opening file should_work/demo/bred.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/bred.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bred
@@ -7181,7 +7181,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/bred_lv4.lus
-Opening file should_work/demo/bred_lv4.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/bred_lv4.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bred_lv4
@@ -7213,7 +7213,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/clock.lus
-Opening file should_work/demo/clock.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/clock.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack clock
@@ -7255,7 +7255,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/clock1_2ms.lus
-Opening file should_work/demo/clock1_2ms.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/clock1_2ms.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack clock1_2ms
@@ -7303,7 +7303,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/decl.lus
-Opening file should_work/demo/decl.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/decl.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack decl
@@ -7390,7 +7390,7 @@ returns (
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/declaration.lus
-Opening file should_work/demo/declaration.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/declaration.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack declaration
@@ -7500,7 +7500,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/def.lus
-Opening file should_work/demo/def.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/def.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack def
@@ -7595,7 +7595,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/filliter.lus
-Opening file should_work/demo/filliter.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/filliter.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack filliter
@@ -7656,7 +7656,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/filter.lus
-Opening file should_work/demo/filter.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/filter.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack filter
@@ -7698,7 +7698,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/lustre_test1_ok.lus
-Opening file should_work/demo/lustre_test1_ok.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/lustre_test1_ok.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack lustre_test1_ok
@@ -7789,7 +7789,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/map_red_iter.lus
-Opening file should_work/demo/map_red_iter.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/map_red_iter.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack map_red_iter
@@ -7867,7 +7867,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/mapdeRed.lus
-Opening file should_work/demo/mapdeRed.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/mapdeRed.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mapdeRed
@@ -7919,7 +7919,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/mapiter.lus
-Opening file should_work/demo/mapiter.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/mapiter.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mapiter
@@ -7956,7 +7956,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/mappredef.lus
-Opening file should_work/demo/mappredef.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/mappredef.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mappredef
@@ -8003,7 +8003,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/plus.lus
-Opening file should_work/demo/plus.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/plus.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack plus
@@ -8037,7 +8037,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/pre_x.lus
-Opening file should_work/demo/pre_x.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/pre_x.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack pre_x
@@ -8067,7 +8067,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/rediter.lus
-Opening file should_work/demo/rediter.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/rediter.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack rediter
@@ -8103,7 +8103,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/redoptest.lus
-Opening file should_work/demo/redoptest.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/redoptest.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack redoptest
@@ -8139,7 +8139,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/demo/sample_time_change.lus
-Opening file should_work/demo/sample_time_change.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/demo/sample_time_change.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack sample_time_change
@@ -8250,7 +8250,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/bob.lus
-Opening file should_work/fab_test/bob.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/bob.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bob
@@ -8281,7 +8281,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/def.lus
-Opening file should_work/fab_test/def.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/def.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack def
@@ -8312,7 +8312,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/ex.lus
-Opening file should_work/fab_test/ex.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/ex.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack ex
@@ -8354,7 +8354,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/iter.lus
-Opening file should_work/fab_test/iter.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/iter.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack iter
@@ -8432,7 +8432,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/iterate.lus
-Opening file should_work/fab_test/iterate.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/iterate.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack iterate
@@ -8538,7 +8538,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/lecteur.lus
-Opening file should_work/fab_test/lecteur.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/lecteur.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack lecteur
@@ -8615,7 +8615,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/lucky.lus
-Opening file should_work/fab_test/lucky.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/lucky.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack lucky
@@ -8685,7 +8685,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel.lus
-Opening file should_work/fab_test/morel.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack morel
@@ -8759,7 +8759,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel2.lus
-Opening file should_work/fab_test/morel2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack morel2
@@ -8824,7 +8824,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel3.lus
-Opening file should_work/fab_test/morel3.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel3.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack morel3
@@ -8899,7 +8899,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel4.lus
-Opening file should_work/fab_test/morel4.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel4.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack morel4
@@ -8984,7 +8984,7 @@ Warning. in file "should_work/fab_test/morel4.lus", line 33, col 22 to 22, token
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/morel5.lus
-Opening file should_work/fab_test/morel5.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/morel5.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack morel5
@@ -9067,7 +9067,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/noAlarm.lus
-Opening file should_work/fab_test/noAlarm.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/noAlarm.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack noAlarm
@@ -9097,7 +9097,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/notTwo.lus
-Opening file should_work/fab_test/notTwo.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/notTwo.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack notTwo
@@ -9127,7 +9127,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/onlyroll.lus
-Opening file should_work/fab_test/onlyroll.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/onlyroll.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack onlyroll
@@ -9684,7 +9684,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/onlyroll2.lus
-Opening file should_work/fab_test/onlyroll2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/onlyroll2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack onlyroll2
@@ -10244,7 +10244,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/test.lus
-Opening file should_work/fab_test/test.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/test.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack test
@@ -10305,7 +10305,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/titi.lus
-Opening file should_work/fab_test/titi.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/titi.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack titi
@@ -10335,7 +10335,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/toolate.lus
-Opening file should_work/fab_test/toolate.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/toolate.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack toolate
@@ -10432,7 +10432,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/fab_test/toto.lus
-Opening file should_work/fab_test/toto.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/fab_test/toto.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack toto
@@ -10465,7 +10465,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/FillFollowedByRed.lus
-Opening file should_work/lionel/FillFollowedByRed.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/FillFollowedByRed.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack FillFollowedByRed
@@ -10527,7 +10527,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/Gyroscope.lus
-Opening file should_work/lionel/Gyroscope.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/Gyroscope.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack Gyroscope
@@ -10917,7 +10917,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/ProduitBool/produitBool.lus
-Opening file should_work/lionel/ProduitBool/produitBool.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/produitBool.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack produitBool
@@ -11078,7 +11078,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/ProduitBool/shiftFill_ludic.lus
-Opening file should_work/lionel/ProduitBool/shiftFill_ludic.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/shiftFill_ludic.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack shiftFill_ludic
@@ -11181,7 +11181,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/ProduitBool/shift_ludic.lus
-Opening file should_work/lionel/ProduitBool/shift_ludic.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/ProduitBool/shift_ludic.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack shift_ludic
@@ -11300,7 +11300,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/arrays.lus
-Opening file should_work/lionel/arrays.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/arrays.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack arrays
@@ -11424,7 +11424,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/calculs_max.lus
-Opening file should_work/lionel/calculs_max.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/calculs_max.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack calculs_max
@@ -11514,7 +11514,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/deSimone.lus
-Opening file should_work/lionel/deSimone.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/deSimone.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack deSimone
@@ -11598,7 +11598,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/iterFibo.lus
-Opening file should_work/lionel/iterFibo.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/iterFibo.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack iterFibo
@@ -11639,7 +11639,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/mapiter.lus
-Opening file should_work/lionel/mapiter.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/mapiter.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack mapiter
@@ -11735,7 +11735,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/matrice.lus
-Opening file should_work/lionel/matrice.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/matrice.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack matrice
@@ -11780,7 +11780,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/matrice2.lus
-Opening file should_work/lionel/matrice2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/matrice2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack matrice2
@@ -11815,7 +11815,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/minus.lus
-Opening file should_work/lionel/minus.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/minus.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack minus
@@ -11871,7 +11871,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/moyenne.lus
-Opening file should_work/lionel/moyenne.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/moyenne.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack moyenne
@@ -11925,7 +11925,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/normal.lus
-Opening file should_work/lionel/normal.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/normal.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack normal
@@ -12348,7 +12348,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/pipeline.lus
-Opening file should_work/lionel/pipeline.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/pipeline.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack pipeline
@@ -12396,7 +12396,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/predefOp.lus
-Opening file should_work/lionel/predefOp.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/predefOp.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack predefOp
@@ -12543,7 +12543,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/redIf.lus
-Opening file should_work/lionel/redIf.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/redIf.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack redIf
@@ -12579,7 +12579,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/simpleRed.lus
-Opening file should_work/lionel/simpleRed.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/simpleRed.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack simpleRed
@@ -12613,7 +12613,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/testSilus.lus
-Opening file should_work/lionel/testSilus.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/testSilus.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack testSilus
@@ -12980,7 +12980,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/lionel/triSel.lus
-Opening file should_work/lionel/triSel.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/lionel/triSel.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack triSel
@@ -13148,7 +13148,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/Condact.lus
-Opening file should_work/packEnvTest/Condact.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/Condact.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack Main
@@ -13215,7 +13215,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
-Opening file should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack contractForElementSelectionInArray
@@ -13280,7 +13280,8 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/main.lus
-Opening file should_work/packEnvTest/contractForElementSelectionInArray/main.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/main.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack main
@@ -13288,12 +13289,89 @@ Opening file should_work/packEnvTest/contractForElementSelectionInArray/main.lus
    init pack util
       export node igt
    init pack intArray
-*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/main.lus", line 15, col 9 to 16, token 'intArray': bad pack instance: model packageTableau undeclared
+       export type arrayType
+       export node selectElementOfRank_inArray_
+       export node getMaximumIn_
+       export node getRank_ofMaximumIn_
+       export node getMinimumIn_
+       export node getRank_ofMinimumIn_
+       export node _isLoselySorted
+       export node sort_
+       export node _isElementOf_
+       export type elementType
+       export const size
+       export node _isEqualTo_
+       export node _isGreaterThan_
+*** SyntaxTab.create pass 3
+   init symbol tables for pack main
+   init symbol tables for pack util
+   init symbol tables for pack intArray
+*** SyntaxTab.create done
+***  Syntax table dump:
+ 	 - Package or model list:
+		util (pack) 
+		intArray (pack) 
+		main (pack) 
+		packageTableau (model) 
+	 - Raw model table: packageTableau 
+	 - Raw Package table: main util intArray 
+	 - Package manager table: main util intArray 
+End of Syntax table dump. 
+-- MAIN NODE: "util__main"
+*** Dump the exported items of the packages.
+ * package intArray
+	Exported types:
+type intArray__elementType = int;
+const intArray__size = 10;
+type intArray__arrayType = int^10;
+	Exported constants:
+	Exported nodes:
+*** Error in file "should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus", line 257, col 31 to 50, token '_isGreaterOrEqualTo_': unknown node (_isGreaterOrEqualTo_)
+node util__igt(i:int; j:int) returns (res:bool);
+let
+   res = (i > j);
+tel
+-- end of node util__igt
+node intArray___isGreaterThan_(i:int; j:int) returns (res:bool);
+let
+   res = util__igt(i, j);
+tel
+-- end of node intArray___isGreaterThan_
+function intArray___isEqualTo_(i1:a; i2:a) returns (o:bool);
+let
+   o = Lustre__=(i1, i2);
+tel
+-- end of node intArray___isEqualTo_
+type intArray__T_isElementOf_ = intArray::T_isElementOf_ {eltToSearch : int; iselementof : bool};
+node intArray__iterated_isElementOf_(
+	acc_in:intArray::T_isElementOf_ {eltToSearch : int;
+	iselementof : bool};
+	elt_in:int) 
+returns (
+	acc_out:intArray::T_isElementOf_ {eltToSearch : int;
+	iselementof : bool});
+let
+    acc_out =
+	T_isElementOf_{eltToSearch=acc_in.eltToSearch;iselementof=(acc_in or
+	 intArray___isEqualTo_(acc_in.eltToSearch, elt_in))};
+tel
+-- end of node intArray__iterated_isElementOf_
+node intArray___isElementOf_(e:int; t:int^10) returns (iselementof:bool);
+var
+   acc_out:intArray::T_isElementOf_ {eltToSearch : int; iselementof : bool};
+let
+    acc_out = red<<node intArray__iterated_isElementOf_, const
+	 10>>(T_isElementOf_{eltToSearch=e;iselementof=false}, t);
+tel
+-- end of node intArray___isElementOf_
+type intArray__forSortingAlgo = intArray::forSortingAlgo {previousElement : int; sortedUpToHere : bool};
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
-Opening file should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack noeudsIndependants
@@ -13329,7 +13407,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
-Opening file should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
 *** SyntaxTab.create pass 3
@@ -13346,7 +13424,7 @@ Error. No package has been provided
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
-Opening file should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/contractForElementSelectionInArray/tri.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack tri
@@ -13513,13 +13591,13 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/modelInst.lus
-Opening file should_work/packEnvTest/modelInst.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/modelInst.lus
 *** Error in file "should_work/packEnvTest/modelInst.lus", line 28, col 3 to 9, token 'package': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/packages.lus
-Opening file should_work/packEnvTest/packages.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/packages.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack inter
@@ -13628,7 +13706,7 @@ const inter__n = -4;
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/packEnvTest/packages2.lus
-Opening file should_work/packEnvTest/packages2.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/packEnvTest/packages2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack main
@@ -13735,7 +13813,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_work/to_sort_out/asservi.lus
-Opening file should_work/to_sort_out/asservi.lus
+Opening file /home/jahier/lus2lic/src/testshould_work/to_sort_out/asservi.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack asservi
@@ -13850,7 +13928,7 @@ Those tests are supposed to generate errors
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/clock/clock.lus
-Opening file should_fail/clock/clock.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/clock/clock.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack clock
@@ -13892,7 +13970,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/activation1.lus
-Opening file should_fail/semantics/activation1.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/activation1.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack activation1
@@ -13939,7 +14017,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/activation2.lus
-Opening file should_fail/semantics/activation2.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/activation2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack activation2
@@ -13986,7 +14064,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/bad_call01.lus
-Opening file should_fail/semantics/bad_call01.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bad_call01.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bad_call01
@@ -14016,7 +14094,7 @@ End of Syntax table dump. 
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/bad_call03.lus
-Opening file should_fail/semantics/bad_call03.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bad_call03.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bad_call03
@@ -14045,7 +14123,7 @@ End of Syntax table dump. 
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/bug.lus
-Opening file should_fail/semantics/bug.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/bug.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack bug
@@ -14157,13 +14235,13 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/const.lus
-Opening file should_fail/semantics/const.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/const.lus
 *** Error in file "should_fail/semantics/const.lus", line 18, col 17 to 17, token ',': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/const2.lus
-Opening file should_fail/semantics/const2.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/const2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack const2
@@ -14216,7 +14294,7 @@ type const2__t8 = int^3^6^3^2^12^3^3;
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/cpt_dc.lus
-Opening file should_fail/semantics/cpt_dc.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/cpt_dc.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack cpt_dc
@@ -14252,7 +14330,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/def.lus
-Opening file should_fail/semantics/def.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/def.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack def
@@ -14295,25 +14373,25 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/import2.lus
-Opening file should_fail/semantics/import2.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/import2.lus
 *** Error in file "should_fail/semantics/import2.lus", line 2, col 1 to 4, token 'node': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/m.lus
-Opening file should_fail/semantics/m.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/m.lus
 *** Error in file "should_fail/semantics/m.lus", line 3, col 23 to 23, token ',': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/not_a_constant.lus
-Opening file should_fail/semantics/not_a_constant.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/not_a_constant.lus
 *** Error in file "should_fail/semantics/not_a_constant.lus", line 10, col 23 to 24, token '--': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/piege.lus
-Opening file should_fail/semantics/piege.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/piege.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack piege
@@ -14356,7 +14434,7 @@ tel
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/tranche.lus
-Opening file should_fail/semantics/tranche.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/tranche.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack tranche
@@ -14393,7 +14471,7 @@ const tranche__n:bool^3^4;
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/semantics/x.lus
-Opening file should_fail/semantics/x.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/semantics/x.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack x
@@ -14427,19 +14505,19 @@ End of Syntax table dump. 
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/syntax/record.lus
-Opening file should_fail/syntax/record.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/syntax/record.lus
 *** Error in file "should_fail/syntax/record.lus", line 7, col 29 to 29, token '{': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/type/Gyro.lus
-Opening file should_fail/type/Gyro.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/type/Gyro.lus
 *** Error in file "should_fail/type/Gyro.lus", line 11, col 42 to 42, token ',': syntax error
 ----------------------------------------------------------------------
 ====> ../lus2lic -vl 3 --compile-all-items should_fail/type/const2.lus
-Opening file should_fail/type/const2.lus
+Opening file /home/jahier/lus2lic/src/testshould_fail/type/const2.lus
 *** SyntaxTab.create pass 1
 *** SyntaxTab.create pass 2
    init pack const2