--- rpl/LIMITATIONS	2011/06/21 15:26:26	1.40
+++ rpl/LIMITATIONS	2011/08/01 10:01:37	1.47
@@ -4,6 +4,8 @@ RESTRICTIONS
 Économisons notre mépris eut égard au nombre de nécessiteux.
 Chateaubriand.
 
+Regarder les d_ep_division_par_zero pour coller un undef à la place.
+
 Convertir avec le nouveau système de la gestion de la mémoire :
 - READ FLOW (longueur_effective ligne 2815)
 rpl/src/'`instructions_w1-conv.c
@@ -19,7 +21,6 @@ Ajouter MULTICAST (pour les sockets)
 Rajouter le test des dépassements pour INCR et DECR
 
 Ajouter TeXmacs
-Ajouter giac$fonction
 
 Dessiner les niveaux sur les graphes
 { "main" { "default" } { "automatic" 10 } } axes redraw 
@@ -27,57 +28,58 @@ Ne fonctionne pas...
 
 // Teste les interfaces d'entrée et de sortie d'une fonction. Une fonction
 // peut avoir plusieurs interfaces.
+
 FONCTION
+constrained
+	interface
+		{ integer scalar }
+	returns
+		{ real scalar }
+		{ integer scalar }
+	requires
+		{ VARIABLE FONCTION2 }
+	end
+
+	interface
+	returns
+	requires
+	end
+provides
 <<
-	INTERFACE
-		ALTERN
-		RESULT
-		REQUIRES
-		END
-	END
 >>
 
-fonction
-  INTERFACE
-	generic
-	integer scalar
-	real matrix
-	complex vector
-	table
-	list
-	binary
-	name
-	string
-	algebraic
-	expression
-	file
-	socket
-	library
-	process
-	sql
-	mutex
-	semaphore
-  CONSTRAINED
-	4 pick size 6 pick size same
-  RESULT
-	type
-  END
-
-  INTERFACE
-	integer
-	real matrix
-	integer/real/complex vector
-	table
-	list
-  RESULT
-	type
-  END
-REQUIRES
-  variables globales ou définitions
-PROVIDES
+FONCTION
 <<
+	{
+		<[ { input } { { output1 } { output2 } } { requires } ]>
+		<[ { input } { { output1 } { output2 } } { requires } ]>
+	}
+	<< expression >>
+	CONSTRAINT
 >>
 
+Ajouter un champs dans RPN et ADR pour pointer vers une liste.
+
+Types :
+generic
+scalar (integer/real/complex)
+vector (integer/real/complex)
+matrix (integer/real/complex)
+table
+list
+binary
+name
+string
+algebraic
+expression
+file
+socket
+library
+process
+sql
+mutex
+semaphore
+
 Traiter les expressions et les noms dans les fichiers. Rajouter un
 type de format pour les binaires non formatés (LOGICAL)