[commit: ghc] master: Yet more refactoring in overlapping type-family instances (bcbfdd0)

[Simon Peyton Jones]

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

On branch  : master

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

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

commit bcbfdd0331b0aef102920f7f183aa07b0b74de31
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Sat Feb 9 00:03:40 2013 +0000

    Yet more refactoring in overlapping type-family instances
    
    This patch mainly introduces TcValidity.checkConsistendFamInst,
    and uses it when typechecking type-family instances, *including*
    default instances.
    
    I find I can't remember why I began this particular saga, but
    it's a modest improvement I think.

 compiler/typecheck/TcInstDcls.lhs   |  145 ++------------------------------
 compiler/typecheck/TcTyClsDecls.lhs |   67 ++++------------
 compiler/typecheck/TcValidity.lhs   |  156 +++++++++++++++++++++++++++++++++--
 compiler/types/FamInstEnv.lhs       |    5 +-
 4 files changed, 177 insertions(+), 196 deletions(-)


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

    git show bcbfdd0331b0aef102920f7f183aa07b0b74de31