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 QAA07371; Tue, 6 Nov 2001 16:54:40 +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 QAA07628 for caml-list@pauillac.inria.fr; Tue, 6 Nov 2001 16:54:39 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA04965; Tue, 6 Nov 2001 15:20:01 +0100 (MET) Date: Tue, 6 Nov 2001 15:20:01 +0100 From: Xavier Leroy To: Fabrice Le Fessant Cc: caml-list@pauillac.inria.fr Subject: Re: [Caml-list] compiler patches in the CDK Message-ID: <20011106152001.C3221@pauillac.inria.fr> References: <4.3.2.7.2.20011030174718.02888870@arda.pair.com> <15327.44357.213918.877416@lachesis.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: <15327.44357.213918.877416@lachesis.inria.fr>; from fabrice.le_fessant@inria.fr on Wed, Oct 31, 2001 at 08:50:29AM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > 4. Are numerical operations an important area for ocaml to > > 4. succeed? Put another way, if an optimization helps numerical > > 4. code but does not help other code (or even slightly hurts it), > > 4. how would that patch be received? > > Notice that, as discussed before on this mailing-list, I would welcome > such a patch in the CDK. This is one thing I'm not sure to understand about the CDK. My initial view of the CDK is as a pre-packaged binary installation of OCaml plus lots of user-contributed libraries and tools: a very convenient thing indeed for users who want an OCaml development environment that works and that is rich enough, without the hassle of tracking down and installing all the bits themselves. Excellent idea. But then we learn that the CDK also includes some experimental, not much tested patches to the OCaml compilers, and that by doing this Fabrice intends the CDK to serve also as a beta-test for these experimental extensions and changes. So, is the CDK a stable, convenient distribution for users who want something that works with no hassle, or an experimental distribution for users who want to sit on the bleeding edge and beta-test things? Just curious. - Xavier Leroy ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr