[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         |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => invalid

Comment:

 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:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler