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 TAA19963; Wed, 14 Nov 2001 19:24:06 +0100 (MET) 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 TAA20060 for ; Wed, 14 Nov 2001 19:24:06 +0100 (MET) Received: from beaune.inria.fr (beaune.inria.fr [128.93.8.3]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fAEIO5X05182 for ; Wed, 14 Nov 2001 19:24:05 +0100 (MET) Received: by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id TAA0000009144; Wed, 14 Nov 2001 19:24:05 +0100 (MET) From: Luc Maranget Message-Id: <200111141824.TAA0000009144@beaune.inria.fr> Subject: Re: [Caml-list] Warnings possibles To: FernandezPons@iFrance.com (Diego Olivier Fernandez Pons) Date: Wed, 14 Nov 2001 19:24:05 +0100 (MET) Cc: barnier@recherche.enac.fr, caml-list@inria.fr (Caml) In-Reply-To: <002801c16d17$1be432e0$072be8d4@Utilisateur> from "Diego Olivier Fernandez Pons" at nov 14, 2001 02:26:01 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > La question du filtrage semble tranchée. Essayons une proposition qui > se veut constructive : > > - Est-il possible d'avoir un warning quand on masque une variable lors > d'un filtrage ? Peut-être, fonction de la demande populaire. Il faut quand même remarquer que trop de warning tue le warning. > - Est-il possible (je veux dire est-ce réalisable ? difficile ? utile > ?...) de signaler que deux motifs ne sont pas exclusifs C'est possible et moins dur que les filtrages non-exhaustifs. Mais je ne vois pas de raison de le faire, il s'agit d'un trait reconnu du filtrage. Je ne vois pas l'intérêt de considérer que des motifs non-disjoints c'est mal. > Peut-être un flag "pedantic" comme en C pour avoir ces avertissements > là ? C'est bien là un point d'achoppement. On essaie de limiter les options. Mais dans avec l'idée de cibler l'enseignement, on pourrait effectivement le faire (pour la première suggestion). Mais avec une option -cautious (j'aime pas ``pedantic'' pas très bien connoté en français). Bon, je ne m'y mets pas demain. > > Diego Olivier --Luc ------------------- 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