DynArray

Hi !

I've have modified the DynArray module so it does not need anymore a null
value. The only (small) tradeoff is that float dynarrays are boxed and that
we need to copy element-by-element from and to float arrays instead of using
Array primitives who must be faster.
I have some idea for keeping the float arrays unboxed but I might lead to a
more complex code and will surely trade space for speed since we will need
to do some tests in most of the calls. Here's the source code, any
comments/tests grealty apprecied before commit.

I also fixed some bugs on the way , and I'm currently wondering why the
resizer function is called every time we add/insert an element , even is
there is space available ? this should be corrected.

Nicolas Cannasse

dynArray.ml
Description: Binary data

dynArray.mli
Description: Binary data