Archives of the Caml mailing list > Message from Sylvain Kerjean

Browse thread

[Caml-list] [Q]: Co(ntra)variance and subtyping?

Clemens Hintze
- Mark Wotton
  - Mark Wotton
  - Clemens Hintze
    - Mark Wotton
      - Clemens Hintze
        
        Alain Frisch
        
        Remi VANICAT
      - Marcin 'Qrczak' Kowalczyk
        
        Clemens Hintze
        
        Markus Mottl
- Andreas Rossberg
  - Pixel
    - Jacques Garrigue
      - Alain Frisch
        
        Didier Remy
      - Pixel
  - james woodyatt
    - Francois Pottier
      - james woodyatt
        
        Markus Mottl
        
        james woodyatt
      - Frank Atanassow
    - Andreas Rossberg
      - Markus Mottl
        
        Christophe Raffalli
        
        Vitaly Lugovsky
        
        Maxence Guesdon
        
        Benjamin Monate
        
        Sylvain Kerjean
        
        Christophe Raffalli
        
        Vitaly Lugovsky

Date:	-- (:)
From:	Sylvain Kerjean <skerjean@i...>
Subject:	[Caml-list] [Bug in an interface between C++ and OCAML due to some pointer encapsulation]

I made some interesting stuff between C++ and OCaml in order to
interface the BeOS API (I have a drawing interface functioning).
All is fine, excepted that after a certain amount of time, i get a crash
in "oldify_local_roots".
I guess that i made some "classical" errors in encapsulating some C
pointer in a value, which might then be persistent in the OCaml heap and
at the end my heap must be all feed.
But i don't know how to solve this bug (no Baygon Vert is not the
solution ...).

Has anybody encountered the same kind of errors ?
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr