Archives of the Caml mailing list > Message from Damien Doligez

Browse thread

Safe Obj.magic container ?

David Teller
- maranget@y...
  - Damien Doligez
    - David Teller
      - Damien Doligez
      - Jacques Garrigue
        
        David Teller
    - Jake Donham
      - Richard Jones
- Tom_PrimoÅ¾iÄ
  - David Teller

Date:	-- (:)
From:	Damien Doligez <damien.doligez@i...>
Subject:	Re: [Caml-list] Safe Obj.magic container ?

On 2008-02-28, at 16:29, David Teller wrote:

> Interesting. Can I assume that, if my type is boxed (in this case, a
> polymorphic variant), I can successfully convert it to Obj.t and  
> back ?

I don't know enough about the representation of polymorphic variants to
give an authoritative answer.

-- Damien