Jacques Le Normand wrote:
> Hello caml-list,
> 
> I'm encountering a segfault on ocaml 3.09
> 
> The test case seems long, but if I remove any line from it it stops 
> segfaulting. The strangest thing is that get_right_sibling_specific is 
> called, though it appears nowhere. If you change it's name, the segfault 
> dissapears. Any help would be appreciated!
> here's the code:

I confirm that it segfaults with ocamlc and ocamlopt 3.11+dev12 on amd64.

Stepping with ocamldebug, I find that it segfaults somewhere near this:

Time : 3045 - pc : 58100 - module CamlinternalOO
323     if top then super cla env else <|b|>Obj.repr (super cla) in

So this indeed looks like a bug in the object system.
-- 
Berke DURAK