--- rpl/LIMITATIONS	2014/07/24 14:38:43	1.152
+++ rpl/LIMITATIONS	2014/08/04 06:58:48	1.154
@@ -9,6 +9,10 @@ Ne passe pas sur une socket.
 } { 3 50 } { 3 50 } } # 257B521B6513F2h }
 Idem avec une table.
 
+{ << 3 >>} -> erreur de syntaxe
+{ << 3 >> } idem
+<< 3 >> idem
+
 Réduire le nombre de pipes entre deux processus.
 Remonter une erreur de format en cas de lecture sur un fichier ou une socket
 formatée ou non formatée.
@@ -24,22 +28,6 @@ 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
-
-=> 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é.
-
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.