RE: Non-exhaustive patterns in function provSrcLoc

[Simon Peyton-Jones]

> Yes, I know, the following code snippets are wrong, because 
> instances are
> always imported. The compiler yields an error message, like it should:
> 
> ====
> Foo1.lhs:2:
>     Duplicate or overlapping instance declarations
>         for `Read FooData'
> Name.lhs:382: Non-exhaustive patterns in function provSrcLoc
> ====
> 
> But the "Non-exhaustive patterns" error shouldn't be there, should it?
> BTW: is it possible to show the names of the overlapping modules?

Thanks for this bug report.  Now fixed in the CVS tree:

 Duplicate or overlapping instance declarations
 for `Read FooData'
 imported from module `Inst82_1' and imported from module `Inst82_2'

Simon