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 TAA26319 for caml-redistribution@pauillac.inria.fr; Fri, 17 Mar 2000 19:46:06 +0100 (MET) Resent-Message-Id: <200003171846.TAA26319@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 SAA03984 for ; Fri, 17 Mar 2000 18:19:43 +0100 (MET) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA21250; Fri, 17 Mar 2000 18:19:41 +0100 (MET) Received: from univ-savoie.fr (lama-d134.univ-savoie.fr [193.48.123.134]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id SAA33598 ; Fri, 17 Mar 2000 18:19:07 +0100 (CET) Sender: raffalli@univ-savoie.fr Message-ID: <38D2690C.C5FC0897@univ-savoie.fr> Date: Fri, 17 Mar 2000 18:19:08 +0100 From: Christophe Raffalli Organization: Laboratoire de =?iso-8859-1?Q?Math=E9matiques?=, =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.13-7mdk i686) X-Accept-Language: fr, en MIME-Version: 1.0 To: Christian RINDERKNECHT CC: Xavier Leroy , caml-list@inria.fr Subject: Re: Syntax for label (and more) References: <39ADCF833E74D111A2D700805F1951EF180144F2@RED-MSG-06> <20000315121549A.garrigue@kurims.kyoto-u.ac.jp> <20000315213941.19110@pauillac.inria.fr> <20000317110343.B23125@jones.int-evry.fr> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Fri, 17 Mar 2000 19:46:06 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Christian RINDERKNECHT wrote: > > Looking at the OCaml lexer, the following 1-character symbols are > > (mostly) up for grabs: > > $ (user-definable infix symbol currently) > > % (ditto) > > & (currently deprecated synonymous for &&) > > \ (never used so far) > > ~ (user-definable prefix symbol currently) > > [...] > > Opinions? > > They are all right for me. For me too. Whatever we choose, we will get use to it and it will aquire the intended meaning in our mind ! -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI