[SCM] Lisaac compiler branch, master, updated. lisaac-0.12-692-g766c008

ontologiae ontologiae at gmail.com
Wed Jan 19 09:13:11 UTC 2011


The following commit has been merged in the master branch:
commit 5796ed0f0c8c2e173ba82f7a32ce866233da2e65
Author: ontologiae <ontologiae at gmail.com>
Date:   Tue Jan 18 18:34:47 2011 +0100

    Tracking nativearray bug. Replaced VARIABLE.create by LOCAL in TYPE_GENERIC line 245 : maybe fixed ?

diff --git a/src/CompteRenduInvestigationBugNativeArray.txt b/src/CompteRenduInvestigationBugNativeArray.txt
index b880eba..5846ea1 100644
--- a/src/CompteRenduInvestigationBugNativeArray.txt
+++ b/src/CompteRenduInvestigationBugNativeArray.txt
@@ -3,4 +3,8 @@ Compte rendu investigations sur bug NativeArray :
 - Le bug survient lors d'un appel sur reset_last_write dans le proto VARIABLE L 193. Celui ci est défini comme deferred.
 - VARIABLE est le père de LOCAL et SLOT_DATA. Dans ces deux proto fils de VARIABLE, le slot reset_last_write est correctement défini
 - La création de ce VARIABLE dans le graphe de code survient dans TYPE_GENERIC Line #245 Column #52 code :  native_array_variable := VARIABLE.create (proto.position) name intern_name type (gen.first);
+- Si l'on remplace VARIABLE par LOCAL, cela semble marcher, mais un problème apparait lorsqu'on utilise des variables locales dans un block :
+This block is extern context sensitive (with `curetat' local variable).
+Line 32 column 56 in AGENTEST(...ts/Jeu_Julien/SpaceChampTest/agentest.li):
+    etat3 :=  STATE(AGENTTESTER).create "Etat 3" action { x:AGENTTESTER; curetat := 3; "Etat 3\n".print; };
 
diff --git a/src/type/type_generic.li b/src/type/type_generic.li
index f883839..aa73e4d 100644
--- a/src/type/type_generic.li
+++ b/src/type/type_generic.li
@@ -242,7 +242,7 @@ Section Public
       // itm_typ.position.put_error warning text "put to error in type_generic ; Affectation variable native_array_variable ";
      // itm_typ.position.put_position;
      // itm_typ.position.send_error; // BUG tracking
-      native_array_variable := SLOT_DATA.create (proto.position) name intern_name type (gen.first);
+      native_array_variable := LOCAL.create (proto.position) name intern_name type (gen.first);
       paper_list.add_last Self;
     };
 

-- 
Lisaac compiler



More information about the Lisaac-commits mailing list