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

git at git.haskell.org git at git.haskell.org
Mon Nov 26 17:49:47 UTC 2018


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

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

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

commit 82dfe01ad39800dc2426d7ba6b5942a9ed9b348b
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


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

82dfe01ad39800dc2426d7ba6b5942a9ed9b348b
 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 82dfe01ad39800dc2426d7ba6b5942a9ed9b348b


More information about the ghc-commits mailing list