Version française
Home     About     Download     Resources     Contact us    
Browse thread
Unsafe features
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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.