un-used record wildcards

[Serge D. Mechveliani]

On Wed, Oct 13, 2010 at 01:47:11PM -0500, Antoine Latter wrote:
> On Wed, Oct 13, 2010 at 1:02 PM, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> > Dear GHC developers,
> >
> > I use the language extension of RecordWildcards, for example,
> >                                f (Foo {foo1 = n, foo2 = m, ..}) = ...
> >
> > But the complier warns about un-used values of  foo3, foo4,
> > probably, due to the extension of
> >                     Foo {foo1 = n, foo2 = m, foo3 = foo3, foo4 = foo4}.
> >
> > In such cases, these warnings look as unneeded.
> > Is it possible to have an un-used binding warnings with exception for
> > wildcards in records?
> > If not, then has it sense to introduce an option?
> >
> 
> If you're not using foo3 and foo4, can you not put it the ellipsis?
> that won't cover every case (such as where you're using foo3 but not
> foo4).
> 
> Antoine
> 

Indeed, thank you. 
It occurs that under RecordWildcards the compiler allows to skip some 
record fields in a pattern.