From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA01780 for caml-red; Wed, 14 Jun 2000 23:29:43 +0200 (MET DST) 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 PAA20893 for ; Wed, 14 Jun 2000 15:30:29 +0200 (MET DST) Received: from indigo.recherche.enac.fr (indigo.recherche.enac.fr [195.220.158.66]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e5EDUSv15963 for ; Wed, 14 Jun 2000 15:30:28 +0200 (MET DST) Received: from beige.recherche.enac.fr (root@beige.recherche.enac.fr [195.220.158.89]) by indigo.recherche.enac.fr (8.8.6 (PHNE_14041)/8.6.11) with ESMTP id PAA18711 for ; Wed, 14 Jun 2000 15:30:28 +0200 (METDST) Received: from recherche.enac.fr (barnier@localhost [127.0.0.1]) by beige.recherche.enac.fr (8.9.3/8.6.11) with ESMTP id PAA01864 for ; Wed, 14 Jun 2000 15:30:11 +0200 X-Authentication-Warning: beige.recherche.enac.fr: Host barnier@localhost [127.0.0.1] claimed to be recherche.enac.fr Message-ID: <394788E3.B6BADEC@recherche.enac.fr> Date: Wed, 14 Jun 2000 15:30:11 +0200 From: Nicolas barnier X-Mailer: Mozilla 4.72 [en] (X11; I; Linux 2.2.5 i686) X-Accept-Language: en MIME-Version: 1.0 To: ocaml Subject: Warning messages and lonely variables (bis) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Oops... I think I forgot something. Of course variable identifiers starting with a '_' would not generate the warning (as in Eclipse) and one would be more accurately aware of their mis(or good)-use. Sorry -- Nicolas