From: Luc Maranget <luc.maranget@inria.fr>
To: FernandezPons@iFrance.com (Diego Olivier Fernandez Pons)
Cc: barnier@recherche.enac.fr, caml-list@inria.fr (Caml)
Subject: Re: [Caml-list] Warnings possibles
Date: Wed, 14 Nov 2001 19:24:05 +0100 (MET) [thread overview]
Message-ID: <200111141824.TAA0000009144@beaune.inria.fr> (raw)
In-Reply-To: <002801c16d17$1be432e0$072be8d4@Utilisateur> from "Diego Olivier Fernandez Pons" at nov 14, 2001 02:26:01
>
> 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
next prev parent reply other threads:[~2001-11-14 18:24 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-08 2:33 [Caml-list] Pattern matching Diego Olivier Fernandez Pons
2001-11-09 0:26 ` Pixel
2001-11-09 10:59 ` Luc Maranget
[not found] ` <15339.34220.198731.791811@lachesis.inria.fr>
2001-11-10 2:16 ` Diego Olivier Fernandez Pons
2001-11-12 10:29 ` Luc Maranget
2001-11-12 9:00 ` Diego Olivier Fernandez Pons
2001-11-13 8:00 ` Fabrice Le Fessant
2001-11-13 23:57 ` [Caml-list] If ou Pattern-matching ? Diego Olivier Fernandez Pons
2001-11-14 10:02 ` Fabrice Le Fessant
2001-11-14 10:47 ` Nicolas Barnier
2001-11-14 1:26 ` [Caml-list] Warnings possibles Diego Olivier Fernandez Pons
2001-11-14 18:24 ` Luc Maranget [this message]
2001-11-14 11:35 ` [Caml-list] If ou Pattern-matching ? Luc Maranget
2001-11-13 16:09 ` [Caml-list] Pattern matching Luc Maranget
2001-11-13 23:56 ` [Caml-list] Deux types de pattern-matching ? Diego Olivier Fernandez Pons
2001-11-14 10:19 ` [Caml-list] " Luc Maranget
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200111141824.TAA0000009144@beaune.inria.fr \
--to=luc.maranget@inria.fr \
--cc=FernandezPons@iFrance.com \
--cc=barnier@recherche.enac.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox