From: Nicolas C. <war...@fr...> - 2005-03-02 19:30:50
|
Looks like you're using an old version of ExtLib. There was a temporary fix in the "idup" function of DynArray which prevent this ocaml bug from happening ( there was a bug in Obj.dup implementation which must have been fixed on ocaml-cvs ). Maybe we could make a bug-fix release of extlib since several patches have been applied ? Nicolas ----- Original Message ----- From: "HENRIKSON, JEFFREY" <JEFHEN@SAFECO.com> To: <oca...@li...> Sent: Wednesday, March 02, 2005 7:55 PM Subject: [Ocaml-lib-devel] Extlib.DynArray unstable Hello, I find DynArray very unstable on my machine, and will have to revert my code back to Markus Mottl's Res library for the time being. Just calling (of_array [||]) several times will cause a segfault on my machine: Objective Caml version 3.08.1 # # #directory "+site-lib/extlib";; # #load "extLib.cma";; # open ExtLib;; # DynArray.of_array [||];; - : '_a DynArray.t = <abstr> # DynArray.of_array [||];; - : '_a DynArray.t = <abstr> # DynArray.of_array [||];; - : '_a DynArray.t = <abstr> # DynArray.of_array [||];; - : '_a DynArray.t = <abstr> # DynArray.of_array [||];; Process caml-toplevel segmentation fault It's not completely deterministic. It can require varying number of calls to get the segfault but usually less than 10. This test was performed on Linux. I can provide more details about the configuration if you have trouble reproducing the problem. Regards, Jeff Henrikson |