added some test files

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@432 041b043f-8d7c-46b2-b46e-ef0dd855326e

src/corelang.ml

@@ -297,6 +297,7 @@ let rec coretype_equal ty1 ty2 =
 
 let tag_true = "true"
 let tag_false = "false"
+let tag_default = "default"
 
 let const_is_bool c =
  match c with

src/corelang.mli

@@ -46,6 +46,7 @@ val is_user_type: type_dec_desc -> bool
 val coretype_equal: type_dec_desc -> type_dec_desc -> bool
 val tag_true: label
 val tag_false: label
+val tag_default: label
 val tag_table: (label, top_decl) Hashtbl.t
 val field_table: (label, top_decl) Hashtbl.t
 

src/main_lustre_compiler.ml

@@ -27,6 +27,8 @@ let print_lusi prog dirname basename extension =
   let h_out = open_out header_name in
   let h_fmt = formatter_of_out_channel h_out in
   begin
+    Typing.uneval_prog_generics header;
+    Clock_calculus.uneval_prog_generics header;
     Printers.pp_lusi_header h_fmt basename header;
     close_out h_out
   end

test/test-compile.sh

@@ -53,7 +53,7 @@ base_compile() {
             rlustrec1="VALID"
         fi
 	pushd $build > /dev/null
-	if [ $ext = ".lus" ]; then
+	if [ $ext = ".lus" ] && [ "$opts" != "-lusi" ]; then
             gcc -c -Wall -Wno-unused-but-set-variable -I ../../include/ "$name".c > /dev/null
             if [ $? -ne 0 ]; then
 		rgcc1="INVALID";

test/tests_ok.list

@@ -894,21 +894,38 @@
 ./tests/kind_fmcad08/large/ccp20.lus,top
 ./tests/kind_fmcad08/large/ccp11.lus,top
 ./tests/kind_fmcad08/large/cruise_controller_21.lus,top
+./tests/tuples/tuples1.lus
+./tests/tuples/tuples2.lus
 ./tests/arrays_arnaud/dummy_lib.lusi
 ./tests/arrays_arnaud/arrays.lus,,-check-access
 ./tests/arrays_arnaud/RelOpMatrix.lus
 ./tests/arrays_arnaud/access1.lus,,-check-access
+./tests/arrays_arnaud/generic1.lus,,-lusi
+./tests/arrays_arnaud/generic1.lusi
 ./tests/arrays_arnaud/generic1.lus
 ./tests/arrays_arnaud/generic2.lus
 ./tests/arrays_arnaud/generic3.lus,top,-dynamic -check-access
+./tests/clocks/clocks1.lus,,-lusi
+./tests/clocks/clocks1.lusi
 ./tests/clocks/clocks1.lus
 ./tests/clocks/clocks2.lus
+./tests/clocks/clocks6.lus
+./tests/clocks/clocks7.lus
+./tests/clocks/clocks8.lus
+./tests/clocks/clocks9.lus
+./tests/clocks/oversampling0.lus,,-lusi
+./tests/clocks/oversampling0.lusi
 ./tests/clocks/oversampling0.lus
 ./tests/lusic/test2.lusi
 ./tests/lusic/test1.lusi
 ./tests/lusic/test1.lus,as_soon_as
 ./tests/lusic/test2.lus
 ./tests/automata/aut1.lus
+./tests/automata/heater3.lus
+./tests/automata/heater4.lus
+./tests/linear_ctl/libarrays.lusi
+./tests/linear_ctl/ex1_mat.lus
+./tests/linear_ctl/ex1_mat_xt.lus
 ./tests/linear_ctl/ex8sat.lus,top
 ./tests/linear_ctl/ex2reset.lus,top
 ./tests/linear_ctl/lp_iir_9600_2.lus,top