Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] Warnings possibles
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Luc Maranget <luc.maranget@i...>
Subject: Re: [Caml-list] Warnings possibles
> 
> 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