Archives of the Caml mailing list > Message from Christopher Dutchyn

Browse thread

[Caml-list] Obj.magic, Obj.t etc.

Christopher Dutchyn
- Jacques Garrigue
  - Florian Douetteau
    - Jacques Garrigue
      - Marcin 'Qrczak' Kowalczyk
        
        Jacques Garrigue
        
        skaller
        
        Marcin 'Qrczak' Kowalczyk
        
        brogoff@s...
      - skaller
    - Xavier Leroy
      - Jacques Garrigue

Date:	-- (:)
From:	Christopher Dutchyn <cdutchyn@c...>
Subject:	[Caml-list] Obj.magic, Obj.t etc.


In a few instances I've encountered code with these special types.
The former appears to be a way to "hint" the typechecker with
additional information, and the latter seems to be some sort of
catchall.

Where are these documented?  Are there any others?

Chris Dutchyn
cdutchyn@cs.ubc.ca

-------------------
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