[GHC] #3190: Type checker fails to unify/expand type definitions in certain contexts

[GHC]

#3190: Type checker fails to unify/expand type definitions in certain contexts
----------------------------------------+-----------------------------------
    Reporter:  ferridder                |        Owner:         
        Type:  bug                      |       Status:  closed 
    Priority:  normal                   |    Milestone:         
   Component:  Compiler (Type checker)  |      Version:  6.10.2 
    Severity:  minor                    |   Resolution:  invalid
    Keywords:                           |   Difficulty:  Unknown
    Testcase:                           |           Os:  Windows
Architecture:  Unknown/Multiple         |  
----------------------------------------+-----------------------------------
Comment (by ferridder):

 Thanks, I should have spotted that!

 One could display the fully qualified names of (imported only?)
 constructors as part of the error message, but this might cost more than
 it's worth.

 Another option would be to flag what would be clashes in a case
 insensitive system as warnings by default, but that would also affect a
 bunch of legacy code...

 Replying to [comment:1 simonpj]:
 > Your definition is for `TMvar` (lower case v).  But you used `TMVar`
 (upper case V).  The latter is defined in `Control.Concurrent.STM.TMVar`.
 So the error message is perfectly correct.
 >
 > I can't see a straightforward way to give a better error message,
 either.
 >
 > Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3190#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler