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-11-03 (14:20)
From: Nicolas Cannasse <warplayer@f...>
Subject: Re: [Caml-list] undocumented external ... = "%identity"
> ... or a change in the data representations used by the compiler and
> runtime.
> > Such major changes are usually backward compatibile, if not I suppose
> > the Obj.magic forward porting problem will be the minor problem
> > programmer will have with a new ocaml release ...
> Not true.  We can make changes that break many uses of Obj.magic without
> changing the language or the type system.  That's why Obj.magic is not
> documented.

To be 100% honest, you should say that such a change would break most of the
Ocaml interfaces to C librairies, and that such a change have is then highly
unexpectable (at least I hope so for the sake of Ocaml). Documenting
Obj.magic would have the benefit to make people better understand the
underlying C representation of caml values, and then writing more efficient
code - and start writing more C libraries....

Nicolas Cannasse

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: