[GHC] #5858: type inference of an OverloadedString for a class instance with type parameters

[GHC]

#5858: type inference of  an OverloadedString for a class instance with type
parameters
---------------------------------+------------------------------------------
    Reporter:  GregWeber         |       Owner:                  
        Type:  bug               |      Status:  new             
    Priority:  normal            |   Milestone:                  
   Component:  Compiler          |     Version:  7.4.1           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by simonpj@…):

 commit 7b0f95cfe4ee97a7aafee769e5150b00bd6806ad
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Fri Mar 9 13:27:52 2012 +0000

     Improve reporting of type-class errors

     Inspired by suggestions on Trac #5858, the errors now
     mention "potential instances".  Lots of refactoring
     as usual, but localised.

  compiler/typecheck/TcErrors.lhs |  209
 +++++++++++++++++++++------------------
  compiler/types/InstEnv.lhs      |   17 ++--
  2 files changed, 124 insertions(+), 102 deletions(-)
 }}}

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