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 MAA28627; Fri, 30 Mar 2001 12:43:44 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA28670 for ; Fri, 30 Mar 2001 12:43:43 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f2UAhf915140 for ; Fri, 30 Mar 2001 12:43:42 +0200 (MET DST) Received: from localhost (sansho.kurims.kyoto-u.ac.jp [130.54.16.90]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id TAA24250; Fri, 30 Mar 2001 19:43:26 +0900 (JST) To: kahl@heraklit.informatik.unibw-muenchen.de Cc: caml-list@inria.fr Subject: Re: [Caml-list] Future of labels In-Reply-To: <20010330094523.6283.qmail@dionysos.informatik.unibw-muenchen.de> References: <20010330120112L.garrigue@kurims.kyoto-u.ac.jp> <20010330094523.6283.qmail@dionysos.informatik.unibw-muenchen.de> 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: <20010330194348U.garrigue@kurims.kyoto-u.ac.jp> Date: Fri, 30 Mar 2001 19:43:48 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: kahl@heraklit.informatik.unibw-muenchen.de > I am a long-time label user (having started when OCaml still was > Caml Special Light) and I have therefore gone through quite a few > relabellings of the standard library. > They never really hurt me (with a 50 module 30000 line project) --- > only when labels went away, it meant trouble. > (To make it clear: I ONLY use label mode and do not intend to switch.) Indeed, when a label disappears you cannot commute anymore, and this is a pain. I explained it in detail, but ... > Jacques' words seem to indicate that there seems to be a > complete unlabelling of the standard library in the works --- > I must confess that I do not like that at all. > (Is my interpretation right? I got the impression that > this was the only change intended for label mode.) > Especially for the ``f'' label! No, no. Nothing decided yet. What I was thinking of was having a special module Stdlabels for die-hard labelers like you and me, so you would just have to do "open Stdlabels" at the top of your files, and get all the current labels in Pervasives, List, String and Array. There are not many labels left in other modules anyway :-( One could say that this is still two modes, but at least the semantics is the same. > And I do find the labels in the standard library useful with OCamlBrowser -- > I use that much more than my copy of the html-version of the OCaml manual! That's the most serious problem for me, and this is even why I first devised this two-mode system a year ago, rather than using the Stdlabels scheme. I hoped that people would enjoy ocamlbrowser like you and me. Surprisingly, they do not seem to use it that much... habits, lack of advertisement ? Cheers, Jacques ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr