From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA03946 for caml-redistribution@pauillac.inria.fr; Mon, 13 Mar 2000 10:26:20 +0100 (MET) Resent-Message-Id: <200003130926.KAA03946@pauillac.inria.fr> 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 CAA06936 for ; Sun, 12 Mar 2000 02:54:11 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id CAA20280; Sun, 12 Mar 2000 02:54:10 +0100 (MET) Received: (from vouillon@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id CAA16686; Sun, 12 Mar 2000 02:54:09 +0100 (MET) Message-ID: <20000312025409.61231@pauillac.inria.fr> Date: Sun, 12 Mar 2000 02:54:09 +0100 From: Jerome Vouillon To: Markus Mottl , OCAML Subject: Re: additions to standard library? References: <200003071524.QAA12371@miss.wu-wien.ac.at> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: <200003071524.QAA12371@miss.wu-wien.ac.at>; from Markus Mottl on Tue, Mar 07, 2000 at 04:24:00PM +0100 Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 13 Mar 2000 10:26:20 +0100 Resent-To: caml-redistribution@pauillac.inria.fr On Tue, Mar 07, 2000 at 04:24:00PM +0100, Markus Mottl wrote: > What do you think about the idea to make use of the "usercontrib" > CVS-repository at INRIA for such purposes? We could open a "stable" and > "development" branch for standard libraries (and "otherlibs") there, where > people could place and "peer review" their contributions. From time to > time, the OCaml-team can peek at the additions and take what they consider > useful. I see two dangers: - this could result in an over-featured library; - the "regular" and the "extended" library may diverge. On the other hand, I don't think it would be a bad thing if more people contributed to the development of O'Caml. Anyway, you can always set up a repository on Sourceforge or any similar site and see what happens. :-) -- Jérôme