Browse thread
Unsafe features
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2005-09-03 (14:51) |
From: | Florian Weimer <fw@d...> |
Subject: | Re: [Caml-list] Unsafe features |
* Florian Weimer: > * yoann padioleau: > >>>> Are you sure ? I thought it was just a function to get rid temporary >>>> of the typing system, a kind of cast operator. >>>> >>> >>> It is, but how would you define such a operator? >> >> obj.ml contains: >> external magic: 'a -> 'b = "%identity" >> >> So I guess there is no bit-wise copy involved. > > Ahem, "%identity" means just that, I think. I should add that I meant a copy of the reference to the object, not the object itself. We're probably in violent agreement.