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