[GHC] #11541: Type errors sometimes has a lot of irrelevant information

[GHC]

#11541: Type errors sometimes has a lot of irrelevant information
-------------------------------------+-------------------------------------
        Reporter:  augustss          |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.8.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 That is an unusually big cascade!

 We could suppress all type-class errors if there are any equality errors,
 I suppose.  But that might suppress errors you'd like to see.

 Actually we *do* suppress class errors if there are any equality errors at
 the same level.  So maybe the class errors are higher or lower in the
 tree.  Would need an example to see.

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