--- rpl/LIMITATIONS	2013/03/27 09:14:50	1.129
+++ rpl/LIMITATIONS	2013/04/01 14:04:43	1.133
@@ -1,16 +1,19 @@
 RESTRICTIONS
-	Only formatted and flow files are supported.
 
-Corriger les dépassements dans NEG.
-Mettre le drapeau de debug dans la pile système pour pouvoir sauter
-les fonctions appelées lors d'un HALT/CONT.
 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.
 
 { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }
 { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =
 		{ <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
 		"standard*(*)" ]> ]> }
 
+[[1 2 ]]3 valide
+[[ 1 2]] valide
+{{ 3 }} invalide
+{ 5} invalide
+
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 
 Ajouter la translitération dans l'écriture des fichiers.