Version française
Home     About     Download     Resources     Contact us    
Browse thread
Error whith DynLink module
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Hugues CASSE <casse@i...>
Subject: Error whith DynLink module
I use the follozing function to load a declaration using only
definition from Syntax module defined into /home/casse/absint/intptr/
directory. This piece of code is contained in file loadprog.ml, module
Loadprog, and all is successfully compiled by the line :

	ocamlc dynlink.cma syntax.ml loadprog.ml -o loadprog

  
let load_prog name =
	Dynlink.init ();
	print_endline "OK !"; flush stdout;
	Dynlink.add_interfaces
		["Syntax"]
		["/home/casse/absint/intptr/"; "/usr/local/caml/ocaml-2.00/lib/"];
	print_endline "KO !"; flush stdout;
	try
		begin
			Dynlink.loadfile name;
			true
		end
	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 ?

-- 
------------------------------------------------------------------------
CASSE Hugues             |Heureux qui,comme Ulysse,a fait un beau voyage
IRIT, 1R1, p14	         |Ou comme celui-la qui conquit la Toison,
                         |Et puis est retourne plein d'usage et raison,
PHONE: (+33)5-61-556-611 |Vivre entre ses parents le reste de son age !
       (poste 73-20)     |                        Les Regrets, Du Bellay
------------------------------------------------------------------------
mailto:casse@irit.fr                    http://www.irit.fr/~Hugues.Casse