--- rpl/LIMITATIONS	2011/06/24 09:10:36	1.41
+++ rpl/LIMITATIONS	2011/06/27 09:04:09	1.42
@@ -13,15 +13,12 @@ function
 instructions_w1-conv.c:431: warning: ‘chaine’ may be used uninitialized in this
 function
 
-AJOUTER "RECURSIVE" implicit
-
 Traiter SIGTERM
 RUN
 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 
@@ -29,57 +26,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)