[GHC] #9173: Better type error messages

[GHC]

#9173: Better type error messages
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            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 vanto):

 I agree with bgamari too.\\
 Well, I glanced at the Oxford Dictionary. I have compared the words
 "context" and "signature".\\
 Here is the definition of the word "context":\\
 - The circumstances that form the setting for an event, statement, or
 idea, and in terms of which it can be fully understood.\\
 Examples:\\
 ‘the proposals need to be considered in the context of new European
 directives’\\
 ‘We are going to be able, within a European context, to be in a more
 positive position.’\\
 ‘This is down to his determination to place current events in a historical
 context.’\\
 ‘For new readers this can be an advantage, but they become disadvantages
 in contexts of closer study.’\\\\

 Synonyms of the word context: circumstances, conditions, surroundings,
 factors, state of affairs\\
 frame of reference, contextual relationship.\\
 \\
 Here is the definition of the word "signature":\\
 - A distinctive pattern, product, or characteristic by which someone or
 something can be identified.\\
 Examples:\\
 ‘the chef produced the pâté that was his signature’\\
 ‘Changes in population size tend to leave recognizable signatures in the
 patterns of nucleotide diversity.’\\
 ‘This process, called intrinsic catalysis, has a characteristic signature
 in the exchange time measurements versus pH.’\\
 ‘Cells tugged in one direction sent biochemical signals in the opposite
 direction in the form of a signature pattern of fluorescent light.’\\\\

 Obviously, the word signature has a more precise meaning, characterizing a
 thing and the word context has a broader meaning.

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