From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 7340ABDDB for ; Sat, 3 Sep 2005 17:02:29 +0200 (CEST) Received: from smtp11.wanadoo.fr (smtp11.wanadoo.fr [193.252.22.31]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j83F2Tn9011401 for ; Sat, 3 Sep 2005 17:02:29 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf1102.wanadoo.fr (SMTP Server) with ESMTP id 160351C000AD for ; Sat, 3 Sep 2005 17:02:29 +0200 (CEST) Received: from [81.53.215.171] (ANantes-154-1-60-171.w81-53.abo.wanadoo.fr [81.53.215.171]) by mwinf1102.wanadoo.fr (SMTP Server) with ESMTP id BA3721C00098; Sat, 3 Sep 2005 17:02:28 +0200 (CEST) X-ME-UUID: 20050903150228762.BA3721C00098@mwinf1102.wanadoo.fr In-Reply-To: <87ek86jjc6.fsf@mid.deneb.enyo.de> References: <87slwny8xs.fsf@mid.deneb.enyo.de> <2D13837B-0BDC-4E14-86DE-ADCCE2E3BC78@m4x.org> <87y86elcb2.fsf@mid.deneb.enyo.de> <87slwmjkdx.fsf@mid.deneb.enyo.de> <87k6hyjjht.fsf@mid.deneb.enyo.de> <87ek86jjc6.fsf@mid.deneb.enyo.de> Mime-Version: 1.0 (Apple Message framework v728) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: Cc: caml-list@yquem.inria.fr Content-Transfer-Encoding: 7bit From: yoann padioleau Subject: Re: [Caml-list] Unsafe features Date: Sat, 3 Sep 2005 16:55:07 +0200 To: Florian Weimer X-Mailer: Apple Mail (2.728) X-Miltered: at nez-perce with ID 4319BB05.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 florian:01 florian:01 implicitly:01 wrote:01 typing:01 define:01 unsafe:01 guess:02 guess:02 external:02 talks:03 meant:05 probably:05 cast:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS autolearn=disabled version=3.0.3 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 :) >