[GHC] #11198: TypeInType error message regressions

[GHC]

#11198: TypeInType error message regressions
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  goldfire
            Type:  bug               |               Status:  merge
        Priority:  high              |            Milestone:  8.2.2
       Component:  Compiler (Type    |              Version:  7.11
  checker)                           |             Keywords:  TypeInType,
      Resolution:                    |  TypeErrorMessages
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
                                     |  typecheck/should_fail/{T8262,T8603,tcfail122}
      Blocked By:                    |             Blocking:
 Related Tickets:  #11672            |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by bgamari):

 I'll admit I've been very much on the fence about this. We have said that
 we would aim to tighten up the release schedule and one piece of this is
 to reduce the quantity of non-regression (relative to the last major
 release, 8.2.1 in this case) bugfixes merged. As alluded to in comment:16,
 the patch in question is rather large and, while there is nothing
 particularly challenging about merging it, I do worry that we will lose
 some amount of moral authority to deny merging other non-critical
 bugfixes.

 On the other hand, the patch does significantly improve the clarity of
 kind errors which I think users will appreciate. I'm going to continue to
 reflect on this but at the moment I'm leaning towards merging.

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