[GHC] #5676: Typeclass instance function type declarations

[GHC]

#5676: Typeclass instance function type declarations
-------------------------------------------------------------+--------------
    Reporter:  drb226                                        |       Owner:  simonpj                  
        Type:  feature request                               |      Status:  new                      
    Priority:  normal                                        |   Milestone:  7.6.1                    
   Component:  Compiler (Type checker)                       |     Version:                           
    Keywords:  typeclass instance function type declaration  |          Os:  Unknown/Multiple         
Architecture:  Unknown/Multiple                              |     Failure:  GHC rejects valid program
  Difficulty:                                                |    Testcase:                           
   Blockedby:                                                |    Blocking:                           
-------------------------------------------------------------+--------------

Comment(by simonpj@…):

 commit 6353ae0ff672dfcf79fd9bca1d58ff6ec7e7f9e0
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Mon Dec 12 00:32:06 2011 +0000

     Allow type signatures in instance decls (Trac #5676)

     This new feature-ette, enable with -XInstanceSigs, lets
     you give a type signature in an instance declaration:

        instance Eq Int where
          (==) :: Int -> Int -> Bool
          (==) = ...blah...

     Scoped type variables work too.

  compiler/main/DynFlags.hs         |    4 ++-
  compiler/rename/RnBinds.lhs       |    8 +++---
  compiler/rename/RnSource.lhs      |   38 ++++++++++++++++----------
  compiler/typecheck/TcBinds.lhs    |    9 +++---
  compiler/typecheck/TcInstDcls.lhs |   52
 ++++++++++++++++++++++++++++++++----
  compiler/typecheck/TcSMonad.lhs   |    4 +-
  docs/users_guide/glasgow_exts.xml |   33 +++++++++++++++++++++++
  7 files changed, 115 insertions(+), 33 deletions(-)
 }}}

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