[GHC] #4174: Jumbled error message from type family operator

[GHC]

#4174: Jumbled error message from type family operator
---------------------------------+------------------------------------------
    Reporter:  lilac             |       Owner:                                   
        Type:  bug               |      Status:  new                              
    Priority:  normal            |   Component:  Compiler (Type checker)          
     Version:  6.12.1            |    Keywords:                                   
          Os:  Unknown/Multiple  |    Testcase:                                   
Architecture:  Unknown/Multiple  |     Failure:  Incorrect warning at compile-time
---------------------------------+------------------------------------------
 The attached file produces this error message:

 {{{
 Testcase.hs:82:0:
     Couldn't match expected type `True'
            against inferred type `Main.R::<=:GHC6'10GHC6'8 Minor1 minor'
     When generalising the type(s) for `testcase'
 }}}

 That should say
 {{{
 [...] against inferred type `GHC6'10 Minor1 :<=: GHC6'8 minor'
 }}}

 Apologies for the complexity of the testcase; simpler testcases seem to
 not reproduce the problem.

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