Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Interfaçage C/CAML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-08-14 (16:40)
From: Markus Mottl <mottl@m...>
Subject: Re: Interfaçage_C/CAML
On Fri, 11 Aug 2000, Xavier Leroy wrote:
> > It seems that a common bug has struck again: using "Store_{whatever}" in
> > C-interfaces is only allowed (and then mandatory) with structured blocks.
> > Using it for anything else may crash the GC.
> No, no, no!  Store_field can only be used (and is mandatory) for
> structured blocks (with tag < No_scan_tag), but Store_double_field
> can be used (and is mandatory) for blocks with tag Double_array_tag.

Uff, yes, indeed, my explanation of "Store_{whatever}" was actually
correct, but I forgot about the specific treatment of double arrays (or
more precisely: values with the "Double_array_tag"), which are unboxed and
therefore do not fall under the rules for structured blocks.

Sorry for the confusion! Since I had seen problems with "Store_{...}"
already three times, I didn't think further about the special case...

Best regards,
Markus Mottl

Markus Mottl,,