[GHC] #9173: Better type error messages

[GHC]

#9173: Better type error messages
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  goldfire
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:
       Component:  Compiler          |              Version:  7.8.2
      Resolution:                    |             Keywords:
                                     |  TypeErrorMessages
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  warning at compile-time            |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 This sounds great.

 I think it would be very helpful if you wrote a wiki page (on the Trac
 wiki) explaining (a) the problem you are trying to solve (being more
 specific than "better error messages"), and (b) how you are solving it.

 Concerning (b) there are quite a few moving parts, and it really helps to
 explain how they work together.  It may well be that we iterate the design
 a bit, and it's best to do that before you have invested a great deal of
 effort in it.

 Thanks!

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