--- rpl/LIMITATIONS	2014/07/24 14:38:43	1.152
+++ rpl/LIMITATIONS	2014/07/26 09:58:02	1.153
@@ -24,22 +24,25 @@ ABORT ne lance pas ATEXIT.
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
-[[1 2 ]]3 valide
-[[ 1 2]] valide
-{{ 3 }} invalide
-{ 5} invalide
-{5 } valide
-{5} invalide
-<[5 ]> valide
-<[ 5]> invalide
-<[4 ]>5 valide
-{{ 5 } } valide
-{ { 5 }} invalide
-"lkj"4 valide
+[[1 2 ]]3 valide OK
+[[ 1 2]] valide OK
+{{ 3 }} invalide OK
+{ 5} invalide OK
+{5 } valide OK
+{5} invalide OK
+<[5 ]> valide OK
+<[ 5]> invalide OK
+<[4 ]>5 valide OK
+{{ 5 } } valide OK
+{ { 5 }} invalide OK
+"lkj"4 valide OK
 
-=> Rajouter un champ dans s_etat_processus pour connaître le type d'objet en
-cours de typage et savoir quel est le fermant autorisé.
+{<[{5 } ]>} OK
+{<[{5 }]> } KO
 
+[ [ 4 ]] OK
+[[ 4 ]] OK
+[[ 4 ] ] OK
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.