From: Florent M. <fmo...@li...> - 2008-06-19 16:02:27
|
> 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.patch http://www.linux-nantes.org/~fmonnier/temp/extlib-1.5.1_write_double_once.tar.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 -- |