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

git at git.haskell.org git at git.haskell.org
Mon Nov 19 08:22:25 UTC 2018


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

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

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

commit 2104d6ca43f1ca5c5bf71015afb9039b00a7b256
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


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

2104d6ca43f1ca5c5bf71015afb9039b00a7b256
 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 2104d6ca43f1ca5c5bf71015afb9039b00a7b256


More information about the ghc-commits mailing list