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 KAA01269; Thu, 6 Sep 2001 10:53: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 KAA01539 for ; Thu, 6 Sep 2001 10:53:14 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f868rCr19777 for ; Thu, 6 Sep 2001 10:53:12 +0200 (MET DST) Received: from localhost (suiren.kurims.kyoto-u.ac.jp [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id RAA07862 for ; Thu, 6 Sep 2001 17:53:10 +0900 (JST) To: caml-list@inria.fr Subject: [Caml-list] Changes in CVS X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20010906175310C.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 06 Sep 2001 17:53:10 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Since I do not now of any other way to inform CVS users, I post on the main list. This does not concern users of ocaml 3.02. Problems will be solved before the next release. 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. Programs that do not use labels will still compile fine, but programs using them may have problems. In particular libraries using non-optional labels need to be modified. Snapshots of lablGL and lablgtk are available. --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG ------------------- 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