> 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.
> 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?

I see no reason why this would cause problems, as long as the data
pointer points to C data of the right shape and dimensions.  (Of
course, you could update the dimensions of the bigarray as
appropriate, if needed.)  I don't think I would document this, as I
wouldn't quite know how to word it in the docs, but you have my
encouragements to try and report problems if any.

- Xavier Leroy