Bigarray question

[Thomas Fischbacher <tf@functionality.de>]

Hello everybody,

as far as I can tell, it is easy (but not explicitly allowed in the
documentation) to allocate a Caml bigarray and change the data
pointer inside that bigarray afterwards.

What I am into right now is writing a function which allows me to
walk a caml function over the entries of a sparse matrix operator
managed by a low-level sparse matrix linear algebra C library.
Therefore, it would be rather elegant to allocate bigarrays for
index and data entries only once and pass them on to the ML
callback for every row of the matrix.

There is no problem in implementing this, technically speaking.
But this would require a change to the ML documentation stating
that it is explicitly considered as permissible to change the
data pointer in a bigarray. Can I get that, please?

-- 
best regards,
Thomas Fischbacher
t.fischbacher@soton.ac.uk