Hello,

I'm trying to construct a function which take two arguments :
		Arg1 : a function, Arg2 : a list of parameters for the Arg1.
This function will call the function in Arg1 with Arg2 as parameters.

For example :
If I have the function
	 let fourAdd x y z w = x + y + z + w;;

I'll can execute it with the next command line :
	 myFunctionCall fourAdd [1 ; 2 ; 3 ; 4];;

The hypothesis are :
- The Arg1 function is in curried form and all its arguments have the same
type.
- The length of Arg2 is exactly the number of arguments needed by Arg1

I've tried the following code, but it doesn't work because the argument
nomProcedure has a different type at each call.

let rec runAlgoWithArgs nomProcedure liste_Args =
	match liste_Args with
		[] -> raise Exit
	|	[x] -> nomProcedure x
	|	x::xs -> runAlgoWithArgs (nomProcedure x) xs

Is anybody has an idea ??

Thanks for your help,

Vincent

-- 
Vincent Barichard
Métaheuristiques et Optimisation Combinatoire
Faculté des Sciences d'Angers
Tel : 02 41 73 52 06
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr