]> After I thought we had tamed bigarrays, it seems we did not. Certain operations such as slices and reshaping allocate new bigarray structs. They use the stock bigarray_alloc instead of the custom one, of course, and so they bypass the finalizers. We managed to make OCaml segfault for this! I don't see any way to work around that problem other than having support for external finalizers in bigarray_alloc, and having proxies and slices remember them. Even with a perfectly working Gc.finalise, we would encounter the same problem, as the finalizers will get forgotten after a reshape, not a very nice feature... I think, given this input, lack of finalization support in bigarrays should be promoted from just a feature wish to a bug, since there seems to be no way to work around it. Thanks, Fernando ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners