On 3 sept. 05, at 16:51, Florian Weimer wrote:

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

Ok.
I assumed that when one talks about bit-wise copy it means   
implicitly a bit-wise deep copy,
that is a copy, no sharing.
In Obj.magic there is some sharing, so no copy.
Maybe I am wrong.


> We're probably in violent agreement.
>

I am not very good in english  but I guess we were in violent  
disagreement instead  :)

>