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 NAA31053; Mon, 10 Sep 2001 13:38:15 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 NAA30875 for ; Mon, 10 Sep 2001 13:38:14 +0200 (MET DST) Received: from mrwall.kal.com (mrwall.kal.com [194.193.14.236]) by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f8ABcDP09850 for ; Mon, 10 Sep 2001 13:38:13 +0200 (MET DST) Received: from mrwall.kal.com [194.193.14.236] (HELO localhost) by mrwall.kal.com (AltaVista Mail V2.0J/2.0J BL25J listener) id 0000_0052_3b9c_a6cf_50a4; Mon, 10 Sep 2001 12:41:03 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Changes in CVS content-class: urn:content-classes:message X-MimeOLE: Produced By Microsoft Exchange V6.0.4417.0 Date: Mon, 10 Sep 2001 12:37:18 +0100 Message-ID: <8E31D6933A2FE64F8AE3CC1381EEDCE7103E4B@NT.kal.com> Thread-Topic: [Caml-list] Changes in CVS Thread-Index: AcE2sgYLsL79dSiOTre8D3ilg2c1wgDOvT9A From: "Dave Berry" To: Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk If you're changing so much anyway, would this be a good opportunity to also replace the regular expressions in the Str module? Dave. -----Original Message----- From: Jacques Garrigue [mailto:garrigue@kurims.kyoto-u.ac.jp] Sent: 06 September 2001 09:53 After Xavier's recent changes to introduce dynamic loading of C code, which already made the distribution rather instable, I just choose this as the right time to change the behaviour of labels, along the lines I proposed this spring: remove labels in the standard library, and switch to (slightly laxist) label mode by default. ------------------- 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