> 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 ?
I downloaded a tarball from sourceforge called
extlib-1.3.tgz
Is this old? I don't see a newer one posted.
Or are you saying I need to download ocaml from CVS? I have their
3.08.1 tarball.
Jeff
> -----Original Message-----
> From: Nicolas Cannasse [mailto:warplayer@xxxxxxx]
> Sent: Wednesday, March 02, 2005 11:21 AM
> To: HENRIKSON, JEFFREY
> Subject: Re: [Ocaml-lib-devel] Extlib.DynArray unstable
>
>
> 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@xxxxxxxxxx>
> To: <ocaml-lib-devel@xxxxxxxxxxxxxxxxxxxxx>
> 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
>
>
-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_ide95&alloc_id396&op=click
|
Try Searching:
servers, voip, java, networking, microsoft ...
|
|
|
|