On Wed, Oct 29, 2003 at 08:39:35PM +0900, Jacques Garrigue wrote:
> I suppose that as Obj.magic is not documented, this is not documented
> either. 

Ok, thanks for your answer.

Now, let me restate my question: whi obj.magic _and_ "%identity" are not
documented? Usually undocumented stuff is stuff subject to changes, not
stable, ecc ...

Practically, a lot of people use Obj.magic when needed and it seems to
be part of the required knowledge to be a "discriminating hacker"(TM).
The reason that it's unsafe and can make your program crash, IMO, is not
a good reason not to have it documented. Indeed C interfacing APIs are
documented and they are as risky as using Obj.magic and friends.

Cheers.

-- 
Stefano Zacchiroli  --  Master in Computer Science @ Uni. Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it}  -  http://www.bononia.it/zack/
"  I know you believe you understood what you think I said, but I am not
sure you realize that what you heard is not what I meant!  " -- G.Romney

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