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

git at git.haskell.org git at git.haskell.org
Fri Nov 23 17:35:34 UTC 2018


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

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

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

commit 6d3b5bd9992d579b1787f0ddf401d368fe943c4b
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


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

6d3b5bd9992d579b1787f0ddf401d368fe943c4b
 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 6d3b5bd9992d579b1787f0ddf401d368fe943c4b


More information about the ghc-commits mailing list