[SCM] Lisaac compiler branch, master, updated. lisaac-0.12-387-gd8174a0

[Benoit Sonntag]

The following commit has been merged in the master branch:
commit d8174a04540067f014889a3b12c0f5dc26c4dae4
Author: Benoit Sonntag <sonntag at icps.u-strasbg.fr>
Date:   Mon Aug 10 04:17:08 2009 +0200

    stack overflow pb

diff --git a/make.lip b/make.lip
index 82c61e3..9f0efc2 100644
--- a/make.lip
+++ b/make.lip
@@ -249,13 +249,11 @@ Section Public
   - i level:INTEGER <-
   // Inlining level [1..5000] (default: 15)
   (
-    /*
     ((level < 1) | (level > 5000)).if {
       "Incorrect inlining level.\n".print;
       exit;
     };
     inline_level := level;
-    */
   );
     
   //
diff --git a/src2/code_life/list.li b/src2/code_life/list.li
index 2baa6db..087c0fd 100644
--- a/src2/code_life/list.li
+++ b/src2/code_life/list.li
@@ -322,7 +322,7 @@ Section Private
       }.do_while {(j <= upper) && {old_count = buffer.count}};      
       buffer.append ";\n";
     };        
-  );
+  );  
   
   - add_local tab:FAST_ARRAY(LOCAL) in buf:STRING <-
   ( + loc:LOCAL;
@@ -333,6 +333,7 @@ Section Private
       (tab.lower).to (tab.upper) do { j:INTEGER;
 	loc := tab.item j;	
         loc.is_result.if_false {
+          local_counter := local_counter + 1;
           (((buf.count + loc.intern_name.count - cur) > 70) || {t != loc.type}).if {
             // New line
             (t != NULL).if {
@@ -354,4 +355,7 @@ Section Private
       tab.clear;
     };
   );
+  
+Section LISAAC
 
+  - local_counter:INTEGER;
\ No newline at end of file
diff --git a/src2/lisaac.li b/src2/lisaac.li
index 72b8ad2..bfe77ff 100644
--- a/src2/lisaac.li
+++ b/src2/lisaac.li
@@ -781,6 +781,9 @@ Section Public
 	STD_ERROR.put_integer (POSITION.nb_warning);
 	STD_ERROR.put_string " warning(s).\n";
       };
+      STD_ERROR.put_string " Local counter : ";
+      STD_ERROR.put_integer (LIST.local_counter);
+      STD_ERROR.put_string "\n";
     };
     
     (is_statistic).if {            

-- 
Lisaac compiler