Re: [Caml-list] Bigarray question

[Thomas Fischbacher <tf@functionality.de>]

Xavier,

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

Just adding a line to the documentation which states that
"it is permitted to dynamically change the data and dims
fields of the bigarray data structure from within C" would be
sufficient.

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