[commit: ghc] master: Refactor handling of SPECIALISE pragmas (Trac #5821) (7884132)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/788413297eaddfa259d2ab76459a916a62d2604c/ghc

>---------------------------------------------------------------

commit 788413297eaddfa259d2ab76459a916a62d2604c
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jan 14 10:58:22 2015 +0000

    Refactor handling of SPECIALISE pragmas (Trac #5821)
    
    The provoking cause was Trac #5821, which concerned
    type families, but in fixing it I did the usual round
    of tidying up and docmenting.
    
    The main comment is now
        Note [Handling SPECIALISE pragmas]
    in TcBinds.
    
    It is "wrinkle 2" that fixes #5821.


>---------------------------------------------------------------

788413297eaddfa259d2ab76459a916a62d2604c
 compiler/deSugar/DsBinds.hs                     |  42 +----
 compiler/typecheck/TcBinds.hs                   | 218 +++++++++++++++++++-----
 compiler/typecheck/TcInstDcls.hs                |   3 +-
 compiler/typecheck/TcRnTypes.hs                 |  14 +-
 testsuite/tests/parser/should_fail/T7848.stderr |   7 +-
 5 files changed, 193 insertions(+), 91 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 788413297eaddfa259d2ab76459a916a62d2604c