[commit: ghc] master: Improve consistency checking for associated type-family instances (d79c0c4)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/d79c0c48bb64f85ab45adcc3158be9f71845f974

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

commit d79c0c48bb64f85ab45adcc3158be9f71845f974
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 29 08:43:02 2013 +0000

    Improve consistency checking for associated type-family instances
    
    The "consistency" in this case is beteween the instance head
    and the associated type instance head, which is made trickier
    by the presence of kind variables that are not explicitly mentioned
    in the class head.
    
    See Note [Checking consistent instantiation] in TcInstDcls
    
    This fixes Trac #7282.

 compiler/typecheck/TcInstDcls.lhs   |  239 ++++++++++++++++++++++-------------
 compiler/typecheck/TcTyClsDecls.lhs |   37 ------
 2 files changed, 154 insertions(+), 122 deletions(-)


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

    git show d79c0c48bb64f85ab45adcc3158be9f71845f974