[GHC] #4499: "skolem type variable" is bad for usability (and beginners)

[GHC]

#4499: "skolem type variable" is bad for usability (and beginners)
----------------------------------------+-----------------------------------
    Reporter:  guest                    |        Owner:              
        Type:  bug                      |       Status:  merge       
    Priority:  normal                   |    Milestone:              
   Component:  Compiler (Type checker)  |      Version:  7.0.1       
    Keywords:  skolem                   |     Testcase:              
   Blockedby:                           |   Difficulty:              
          Os:  Unknown/Multiple         |     Blocking:              
Architecture:  Unknown/Multiple         |      Failure:  None/Unknown
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * status:  new => merge


Comment:

 OK done
 {{{
 Thu Nov 18 00:53:06 PST 2010  simonpj at microsoft.com
   * Improve error message on advice from a user

   See Trac #4499

     M ./compiler/typecheck/TcErrors.lhs -7 +8
 }}}
 There's a testsuite patch too
 {{{
 Thu Nov 18 00:53:49 PST 2010  simonpj at microsoft.com
   * Follow error message change (Trac #4499)

     M ./tests/ghc-regress/typecheck/should_fail/tcfail032.stderr -2 +3
     M ./tests/ghc-regress/typecheck/should_fail/tcfail099.stderr -2 +2
 }}}
 Probably worth merging.

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