[commit: ghc] wip/T15809: Simplify typing of associated family instances (ae72e3e)

[git at git.haskell.org]

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

On branch  : wip/T15809
Link       : http://ghc.haskell.org/trac/ghc/changeset/ae72e3e35c1b13a33cac1ea6f5e997d76c338b7b/ghc

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

commit ae72e3e35c1b13a33cac1ea6f5e997d76c338b7b
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Nov 19 08:19:14 2018 +0000

    Simplify typing of associated family instances
    
    This experimental patch simplifies the treatment of assocaited
    family instances, by
    
    - Treating them entirely independently from their enclosing
      class-instance declaration
    
    - Making a separate check (checkConsistentFamInst) that the
      instance(s) match the class-instance decl
    
    This makes two or three testsuite cases fail -- but I think
    that's a feature not bug!
    
    This is on my wip/T15809 branch


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

ae72e3e35c1b13a33cac1ea6f5e997d76c338b7b
 compiler/typecheck/TcTyClsDecls.hs | 136 +++++++++++++++++--------------------
 1 file changed, 64 insertions(+), 72 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 ae72e3e35c1b13a33cac1ea6f5e997d76c338b7b