From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fw@deneb.enyo.de>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 25512BDDB
	for <caml-list@yquem.inria.fr>; Sat,  3 Sep 2005 16:48:20 +0200 (CEST)
Received: from mail.enyo.de (mail.enyo.de [212.9.189.167])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j83EmJp8009367
	(version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO)
	for <caml-list@yquem.inria.fr>; Sat, 3 Sep 2005 16:48:19 +0200
Received: from deneb.vpn.enyo.de ([212.9.189.177] helo=deneb.enyo.de)
	by albireo.enyo.de with esmtp id 1EBZJa-00025c-9z; Sat, 03 Sep 2005 16:48:18 +0200
Received: from fw by deneb.enyo.de with local (Exim 4.52)
	id 1EBZJ0-0008WM-7q; Sat, 03 Sep 2005 16:47:42 +0200
From: Florian Weimer <fw@deneb.enyo.de>
To: yoann padioleau <padator@wanadoo.fr>
Cc: Damien Bobillot <damien.bobillot@m4x.org>,
	caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Unsafe features
References: <87slwny8xs.fsf@mid.deneb.enyo.de>
	<2D13837B-0BDC-4E14-86DE-ADCCE2E3BC78@m4x.org>
	<87y86elcb2.fsf@mid.deneb.enyo.de>
	<F11D2D94-E089-4C01-8344-E54DC75764BB@wanadoo.fr>
	<87slwmjkdx.fsf@mid.deneb.enyo.de>
	<A4717F1A-3688-4F25-B09B-0CB6938339D3@wanadoo.fr>
Date: Sat, 03 Sep 2005 16:47:42 +0200
In-Reply-To: <A4717F1A-3688-4F25-B09B-0CB6938339D3@wanadoo.fr> (yoann
	padioleau's message of "Sat, 3 Sep 2005 16:35:26 +0200")
Message-ID: <87k6hyjjht.fsf@mid.deneb.enyo.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Miltered: at concorde with ID 4319B7B3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; florian:01 caml-list:01 typing:01 define:01 unsafe:01 guess:02 external:02 cast:07 function:08 magic:10 operator:11 operator:11 think:11 obj:12 kind:12 
X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.3

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