From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA06951; Wed, 7 Mar 2001 16:47:04 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA06693 for caml-list@pauillac.inria.fr; Wed, 7 Mar 2001 16:47:03 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA24102 for ; Mon, 5 Mar 2001 22:26:22 +0100 (MET) Received: from elbereth.pgh.arsdigita.com (fw1.pgh.arsdigita.com [63.124.128.66]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f25LQL927186; Mon, 5 Mar 2001 22:26:21 +0100 (MET) Received: by elbereth.pgh.arsdigita.com (Postfix, from userid 1000) id 66FE0A9F4; Mon, 5 Mar 2001 16:28:56 -0500 (EST) To: Xavier Leroy Cc: Chris Hecker , caml-list@inria.fr Subject: Re: [Caml-list] bigarrays and toplevel on Win32? References: <4.3.2.7.2.20010304234009.00e1e220@shell16.ba.best.com> <20010305175715.B16895@pauillac.inria.fr> From: John Prevost In-Reply-To: <20010305175715.B16895@pauillac.inria.fr> Message-ID: <87pufvoqro.fsf@elbereth.pgh.arsdigita.com> User-Agent: Gnus/5.090001 (Oort Gnus v0.01) Emacs/21.0.91 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: 05 Mar 2001 16:28:55 -0500 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "xl" == Xavier Leroy writes: xl> The party line on unsafe array accesses is unclear: on the one xl> hand, we do not want to encourage their use, as it can break xl> type safety and dramatically reduce the safety of the xl> programs; on the other hand, they are handy when benchmarking xl> against C or Fortran :-) Think of it less as an "unsafe array access" and more of "license to turn a given set of exceptions into core dumps in exchange for efficiency." ;) John. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr