From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA05116 for caml-redistribution; Wed, 10 Mar 1999 10:00:46 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA02565 for <caml-list@pauillac.inria.fr>; Tue, 9 Mar 1999 15:42:53 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id PAA19376;
	Tue, 9 Mar 1999 15:42:48 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA27260; Tue, 9 Mar 1999 15:42:48 +0100 (MET)
Message-ID: <19990309154248.34853@pauillac.inria.fr>
Date: Tue, 9 Mar 1999 15:42:48 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Hugues CASSE <casse@irit.fr>, CAML <caml-list@inria.fr>
Subject: Re: Error whith DynLink module
References: <36DE5A47.6E0C@irit.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.89.1
In-Reply-To: <36DE5A47.6E0C@irit.fr>; from Hugues CASSE on Thu, Mar 04, 1999 at 11:02:47AM +0100
Sender: weis

> let load_prog name =
> 	Dynlink.init ();
> 	print_endline "OK !"; flush stdout;
> 	Dynlink.add_interfaces
> 		["Syntax"]
>       [...]
> 	with Dynlink.Error err ->
> 		print_endline (Dynlink.error_message err); false
> 
>   Zhen I execute the program, I get the following output...
> 
> OK !
> KO !
> no implementation available for Digest
> 
>   Can somenody help me ?

What about adding "Digest" to your call to Dynlink.add_interfaces?

 	Dynlink.add_interfaces ["Syntax"; "Digest"; ...] ...

Actually, you should add all standard library modules that the
dynamically-linked module might need, e.g. Pervasives, String, Char,
List, etc.

Yes, it is a pain to list them all, but for dynamic linking of
untrusted code in a secure environment (the initial application of
Dynlink), it must be done this way.

Hope this helps,

- Xavier Leroy