From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA28858 for caml-redistribution@pauillac.inria.fr; Tue, 25 Jan 2000 09:42:23 +0100 (MET) Resent-Message-Id: <200001250842.JAA28858@pauillac.inria.fr> 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 CAA12353 for ; Tue, 25 Jan 2000 02:54:31 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id CAA05587 for ; Tue, 25 Jan 2000 02:54:27 +0100 (MET) Received: from tet.kurims.kyoto-u.ac.jp (tet.kurims.kyoto-u.ac.jp [130.54.16.184]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id KAA12465; Tue, 25 Jan 2000 10:54:25 +0900 (JST) Received: from localhost (localhost [127.0.0.1]) by tet.kurims.kyoto-u.ac.jp (8.9.3/8.9.3) with ESMTP id KAA26681; Tue, 25 Jan 2000 10:57:06 +0900 (JST) (envelope-from garrigue@kurims.kyoto-u.ac.jp) To: caml-list@inria.fr Subject: Label changes in 3.00 Reply-To: garrigue@kurims.kyoto-u.ac.jp X-Mailer: Mew version 1.93 on Emacs 20.4 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20000125105706X.garrigue@kurims.kyoto-u.ac.jp> Date: Tue, 25 Jan 2000 10:57:06 +0900 From: Jacques Garrigue X-Dispatcher: imput version 980905(IM100) Resent-From: weis@pauillac.inria.fr Resent-Date: Tue, 25 Jan 2000 09:42:23 +0100 Resent-To: caml-redistribution@pauillac.inria.fr On the way to OCaml 3.00, I am thinking of changing a few unlucky labels in the standard and other libraries. Since such changes may create incompatibilities in modern mode programs, labels in the standard library will be fixed after 3.00. So this is the last chance to correct incongruities. Currently here is the list of changes I plan to do: List: * replace [key:] by [item:] in mem and memq. Set: * replace [key:] by [item:] in mem, add and remove. Unix: * replace [name:] by [prog:] or [file:] according to the function. If you have other suggestions please send them to me. -------- Francais Je pense changer quelques etiquettes malchanceuses dans la librairie standard, avant de sortir OCaml 3.00. De tels changements pouvant entrainer des incompatibilites dans les programmes ecrits en mode moderne, les etiquettes (au moins de la librairie standard) devraient etre definitivement fixees apres la version 3.00. C'est donc la derniere chance d'apporter des corrections. Le corrections envisagees actuellement sont: List: remplacer [key:] par [item:] dans mem et memq. Set: remplacer [key:] par [item:] dans mem, add et remove. Unix: remplacer [name:] par [prog:] ou [file:] suivant la fonction. Si vous avez des suggestions supplementaires, envoyez les moi. --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA16170 for caml-redistribution@pauillac.inria.fr; Wed, 26 Jan 2000 10:36:36 +0100 (MET) Resent-Message-Id: <200001260936.KAA16170@pauillac.inria.fr> 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 CAA31016 for ; Wed, 26 Jan 2000 02:26:44 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id CAA09252 for ; Wed, 26 Jan 2000 02:26:41 +0100 (MET) 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 KAA21150; Wed, 26 Jan 2000 10:26:34 +0900 (JST) To: David.Mentre@irisa.fr Cc: caml-list@inria.fr Subject: Re: OCaml3 and label things In-Reply-To: Your message of "25 Jan 2000 14:03:20 +0100" References: X-Mailer: Mew version 1.93 on Emacs 20.5 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-1 Message-Id: <20000126102222J.garrigue@kurims.kyoto-u.ac.jp> Date: Wed, 26 Jan 2000 10:22:22 +0900 From: Jacques Garrigue X-Dispatcher: imput version 980905(IM100) Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 26 Jan 2000 10:36:36 +0100 Resent-To: caml-redistribution@pauillac.inria.fr From: David.Mentre@irisa.fr (David Mentré) > > On the way to OCaml 3.00 > = > By the way, I'm new to current OCaml (2.x) and I don't know anything > about all those Label things and new Ocaml 3 features that everybody is > talking about in this list. Is there any introducing paper or research > report which explains those new features (how and why)? (a kind of OCaml > 3 for the dummies) There is no such thing currently (greatly needed I'm afraid). There are however two sources of information: * the OCaml 2.99 user manual. There is a section in the tutorial, and explanations are added at related places in the reference manual. * Objective Label related material. The new features are taken from it, but slightly modified to make them more robust. http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ [francais] Il n'y a pas de document expliquant uniquement les nouvelles fonctionnalites d'ocaml 3, mais il y a des informations dans le manuel de l'utilisateur d'ocaml 2.99, et on peut aussi lire les informations concernant olabl a` l'adresse ci-dessus (meme si elles ne s'appliquent pas totalement). Jacques --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA22749 for caml-redistribution@pauillac.inria.fr; Wed, 26 Jan 2000 10:36:29 +0100 (MET) Resent-Message-Id: <200001260936.KAA22749@pauillac.inria.fr> 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 OAA02448 for ; Tue, 25 Jan 2000 14:03:23 +0100 (MET) Received: from parasite.irisa.fr (parasite.irisa.fr [131.254.12.47]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA23812 for ; Tue, 25 Jan 2000 14:03:22 +0100 (MET) Received: from parate.irisa.fr (parate.irisa.fr [131.254.12.25]) by parasite.irisa.fr (8.9.3/8.9.3) with ESMTP id OAA02871; Tue, 25 Jan 2000 14:03:21 +0100 (MET) Sender: David.Mentre@irisa.fr To: garrigue@kurims.kyoto-u.ac.jp Cc: caml-list@inria.fr Subject: OCaml3 and label things References: <20000125105706X.garrigue@kurims.kyoto-u.ac.jp> From: David.Mentre@irisa.fr (David=?iso-8859-1?q?_Mentré?=) Date: 25 Jan 2000 14:03:20 +0100 In-Reply-To: Jacques Garrigue's message of "Tue, 25 Jan 2000 10:57:06 +0900" Message-ID: User-Agent: Gnus/5.0803 (Gnus v5.8.3) Emacs/20.4 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Resent-From: weis@pauillac.inria.fr Resent-Date: Wed, 26 Jan 2000 10:36:29 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Jacques Garrigue writes: > On the way to OCaml 3.00 By the way, I'm new to current OCaml (2.x) and I don't know anything about all those Label things and new Ocaml 3 features that everybody is talking about in this list. Is there any introducing paper or research report which explains those new features (how and why)? (a kind of OCaml 3 for the dummies) [ français ] Je ne connais rien aux étiquettes et autres nouvelles fonctionnalités de OCaml 3. Où peut-on trouver une doc pour débutant sur le sujet ? Thanks, david -- David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/ Opinions expressed here are only mine.