Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] undocumented external ... = "%identity"
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-10-30 (19:55)
From: Stefano Zacchiroli <zack@b...>
Subject: Re: [Caml-list] undocumented external ... = "%identity"
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.


Stefano Zacchiroli  --  Master in Computer Science @ Uni. Bologna, Italy
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 Archives:
Bug reports: FAQ:
Beginner's list: