Re: write_double

Hi,
although this code works, and can be tested to compare perfs, it can not be 
included as is due to the unsafe output that does not exist in the IO system.
So could someone enlighten me about how this could be integrated elegantly ?

-- 
Florent Monnier a écrit :
> > I may have missed it, but did you have an actual patch which
> > incorporates the latest/fastest version which we could review?
>
> Here is a patch (3.8K) or a tarball (69K):
>
> http://www.linux-nantes.org/~fmonnier/temp/extlib-1.5.1_write_double_once.p
>atch
> http://www.linux-nantes.org/~fmonnier/temp/extlib-1.5.1_write_double_once.t
>ar.gz
>
> both are equivalent and include a simple 'test.ml' which shows the
> differences
>
> (the problem as explained in the previous email is that I had to add a new
> field to the type 'a output for the unsafe output)
>
> --
> Florent

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/