#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