From 529ebee5d2ac4aa25bc07695286a269ac00adcd1 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Fri, 30 May 2008 15:56:57 +0200
Subject: [PATCH] Allow alias on polymorphic nodes (for the time being...).
---
Makefile | 8 +-
src/TODO | 3 +-
src/lazyCompiler.ml | 53 +-
.../main.lus | 3 +-
src/test/test.res.exp | 488 ++++++++++--------
5 files changed, 315 insertions(+), 240 deletions(-)
diff --git a/Makefile b/Makefile
index 07611aaa..3c8de145 100644
--- a/Makefile
+++ b/Makefile
@@ -19,8 +19,8 @@ test:
cd src/test ; make test
-ci:
- make test && git commit -F log && rm src/version.ml
+ci:src/version.ml
+ make test && git commit -F log && rm -f src/version.ml
-cia:
- make test && git commit -a -F log && rm src/version.ml
\ No newline at end of file
+cia:src/version.ml
+ make test && git commit -a -F log && rm -f src/version.ml
\ No newline at end of file
diff --git a/src/TODO b/src/TODO
index 511200f0..b809576f 100644
--- 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"
diff --git a/src/lazyCompiler.ml b/src/lazyCompiler.ml
index 02b61d7a..5d74ec12 100644
--- a/src/lazyCompiler.ml
+++ b/src/lazyCompiler.ml
@@ -1,4 +1,4 @@
-(** 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.NEQ_n | Predef.EQ_n | Predef.LT_n | Predef.LTE_n
- | Predef.GT_n | Predef.GTE_n | Predef.IF_n), _sargs
- ) ->
- raise (Compile_error (
- lxm, "can not alias polymorphic operators, sorry"))
- | Predef(
- ( Predef.UMINUS_n | Predef.MINUS_n | Predef.PLUS_n
- | Predef.TIMES_n | Predef.SLASH_n), _sargs
- ) ->
- raise (Compile_error (
- lxm, "can not alias overloaded operators, sorry"))
+(* | Predef( *)
+(* (Predef.NEQ_n | Predef.EQ_n | Predef.LT_n | Predef.LTE_n *)
+(* | Predef.GT_n | Predef.GTE_n | Predef.IF_n), _sargs *)
+(* ) -> *)
+(* raise (Compile_error ( *)
+(* lxm, "can not alias polymorphic operators, sorry")) *)
+(* | Predef( *)
+(* ( Predef.UMINUS_n | Predef.MINUS_n | Predef.PLUS_n *)
+(* | Predef.TIMES_n | Predef.SLASH_n), _sargs *)
+(* ) -> *)
+(* raise (Compile_error ( *)
+(* 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 (il,ol) = CompiledData.profile_of_node_exp_eff alias_node in
- 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
+ let aux vi = type_eff_to_type_eff_ext(
+ GetEff.typ node_id_solver vi.it.var_type)
in
- if
- List.map aux vi_il <> il || List.map aux vi_ol <> ol
- then
- raise (Compile_error (
- lxm, "type mismatch in node alias definition"))
- (* that error msg could be more precise *)
- else
- alias_node
+ let (il,ol) = CompiledData.profile_of_node_exp_eff alias_node in
+ let (il_exp, ol_exp) = List.map aux vi_il, List.map aux vi_ol in
+ match Unify.f il_exp il with
+ | Unify.Ko msg -> raise(Compile_error(lxm, msg))
+ | _ ->
+ match Unify.f ol_exp ol with
+ | Unify.Ko msg -> raise(Compile_error (lxm, msg))
+ | _ ->
+ alias_node
)
in
if not provide_flag then
diff --git a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus b/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
index 19c96fc4..eb8826fb 100644
--- a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
+++ b/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
@@ -1,4 +1,5 @@
+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;
diff --git a/src/test/test.res.exp b/src/test/test.res.exp
index 0364ea0a..ee81e88e 100644
--- 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
--
GitLab