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 ADEB1BB81 for ; Tue, 29 Nov 2005 10:09:11 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAT99BjM022415 for ; Tue, 29 Nov 2005 10:09:11 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA04549 for ; Tue, 29 Nov 2005 10:09:10 +0100 (MET) Received: from web30503.mail.mud.yahoo.com (web30503.mail.mud.yahoo.com [68.142.200.116]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id jAT999th022405 for ; Tue, 29 Nov 2005 10:09:10 +0100 Received: (qmail 30550 invoked by uid 60001); 29 Nov 2005 09:09:09 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=25JmooZmkcCGt8DT5F85Wgd0ocachw+qr6QOk7W5eOoOTtsvnULBzA8diJ+93vZv/9Q4uG52DQ1mW3zzgVMmvRHXYg8MVANUwH8WSTLXWMnFM1IXOg1lK+nC+eXCEAND6FbgTau17N1fd8K6GZ2hIZM/uc5BsM+lUoyOQGsdszs= ; Message-ID: <20051129090909.30548.qmail@web30503.mail.mud.yahoo.com> Received: from [141.213.12.136] by web30503.mail.mud.yahoo.com via HTTP; Tue, 29 Nov 2005 01:09:09 PST Date: Tue, 29 Nov 2005 01:09:09 -0800 (PST) From: David Thomas Subject: Fwd: Re: [Caml-list] Bigarray question To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 438C1AB7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 438C1AB5.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 bigarray:01 bigarray:01 val:01 pointer:01 val:01 wrote:01 wrote:01 experimental:01 dmitry:01 explicitly:01 unsafe:01 bely:02 data:02 data:02 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=FORGED_YAHOO_RCVD autolearn=disabled version=3.0.3 Actually, the language being experimental is perhaps a better reason to stick to the documented functionality. Something *might* change, and you're a lot more likely to hear about it if they break documented functionality than if they happen to change something that's supposed to be interal that just happens to break your code. --- Thomas Fischbacher wrote: > > On Mon, 28 Nov 2005, Dmitry Bely wrote: > > > 1. For the current implementation it's safe (use > > Data_bigarray_val(v) to change the data pointer). I don't see > > any reason why it could become unsafe. > > 2. It is up to you whether to use this feature or not. > > I will neither use undocumented programming techniques, nor > recommend doing so to other programmers, no matter what kind > of language. That would - quite in general - be a very bad habit > that eventually must lead to bugs that are hard to impossible to > diagnose and debug. > > Assigning to Data_bigarray_val is not explicitly permitted. > > Nevertheless, being allowed to do so would be helpful. So, a > simple change to the documentation would suffice to make me > happy. __________________________________ Yahoo! Music Unlimited Access over 1 million songs. Try it free. http://music.yahoo.com/unlimited/