Try this,

let eval s =
   let l = Lexing.from_string s in
   let ph = !Toploop.parse_toplevel_phrase l in
   assert(Toploop.execute_phrase false Format.err_formatter ph)
;;

eval (sprintf "#use \"%s\";;" p);;

On Nov 1, 2005, at 8:31 AM, sejourne_kevin wrote:

> Hello,
>
>
> Here an example of what is a problem to me:
> .-------------------------------------------
> |         Objective Caml version 3.08.3
> |
> | # let p = read_line()^".ml";;
> | printer
> | val p : string = "printer.ml"
> | # #use p;;
> | Wrong type of argument for directive `use'.
> | #
> `-------------------------------------------
>
> Because 'p' has the type 'string', it seemed to me natural that  
> '#use p' would be an equivalent to '#use "printer.ml"'. Naturally,  
> in this cases, I do not want to use DynLink because all the  
> definitions would be hidden.
>
>
> regards.
>
> 	
>
> 	
> 		
> ______________________________________________________________________ 
> _____ Appel audio GRATUIT partout dans le monde avec le nouveau  
> Yahoo! Messenger Téléchargez cette version sur http:// 
> fr.messenger.yahoo.com
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs