rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.130, 2013/03/27 20:33:34	version 1.131, 2013/03/27 21:25:48
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.

Mettre le drapeau de debug dans la pile système pour pouvoir sauter	Mettre le drapeau de debug dans la pile système pour pouvoir sauter
les fonctions appelées lors d'un HALT/CONT.	les fonctions appelées lors d'un HALT/CONT.
Line 10 Réduire le nombre de pipes entre deux p	Line 9 Réduire le nombre de pipes entre deux p
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"standard()" ]> ]> }

	[[1 2 ]]3 valide
	[[ 1 2]] valide
	{{ 3 }} invalide
	{ 5} invalide

	RPL/2> { 2}
	+ 001> abort (^D) => revenir au prompt et non au shell

Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.	Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.

Ajouter la translitération dans l'écriture des fichiers.	Ajouter la translitération dans l'écriture des fichiers.