From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 533DED15E for ; Sun, 24 Jul 2005 20:13:44 +0200 (CEST) Received: from 26.mail-out.ovh.net (26.mail-out.ovh.net [213.186.42.179]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6OIDhxt008828 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Sun, 24 Jul 2005 20:13:44 +0200 Received: (qmail 25837 invoked by uid 503); 24 Jul 2005 18:13:46 -0000 Received: (QMFILT: 1.0); 24 Jul 2005 18:13:46 -0000 Received: from b6.ovh.net (HELO mail47.ha.ovh.net) (213.186.33.56) by 26.mail-out.ovh.net with DES-CBC3-SHA encrypted SMTP; 24 Jul 2005 18:13:46 -0000 Received: from b0.ovh.net (HELO queue-out) (213.186.33.50) by b0.ovh.net with SMTP; 24 Jul 2005 18:13:44 -0000 Received: from mail47.ha.ovh.net (10.0.50.47) by mail47.ha.ovh.net with SMTP; 24 Jul 2005 18:13:41 -0000 Received: from b0.ovh.net (HELO queue-pre) (213.186.33.50) by b0.ovh.net with SMTP; 24 Jul 2005 18:13:37 -0000 Received: from adsl-69-229-239-54.dsl.scrm01.pacbell.net (HELO trantor.glondu.net) (postmaster%glondu.net@69.229.239.54) by ns0.ovh.net with SMTP; 24 Jul 2005 18:13:37 -0000 From: Stephane Glondu To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] How to do this properly with OCaml? Date: Sun, 24 Jul 2005 11:13:33 -0700 User-Agent: KMail/1.7.1 Cc: skaller References: <42E2393B.5030209@inria.fr> <1122226423.9027.23.camel@localhost.localdomain> In-Reply-To: <1122226423.9027.23.camel@localhost.localdomain> Organization: Crans MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200507241113.34003.Stephane.Glondu@crans.org> X-Ovh-Remote: 69.229.239.54 (adsl-69-229-239-54.dsl.scrm01.pacbell.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-Miltered: at nez-perce with ID 42E3DA57.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 buffer:01 ...:98 wrote:01 supported:01 implemented:02 indeed:05 variable:06 mean:07 stephane:07 stephane:07 disagree:07 2005:89 magic:10 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 On Sunday 24 July 2005 10:33, skaller wrote: > I would appreciate an officially supported variable > length array a lot: It would be interesting indeed... > it can't be efficiently implemented *without* Obj.magic. I strongly disagree. Look at source code of buffer.ml: no Obj.magic. What do you mean by "efficiently"? Stephane Glondu.