[commit: ghc] master: More changes to kind inference for type and class declarations (3fe3ef5)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/3fe3ef509627cb8c9aa7751beb44d1b4408f8b22

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

commit 3fe3ef509627cb8c9aa7751beb44d1b4408f8b22
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jul 10 16:02:03 2012 +0100

    More changes to kind inference for type and class declarations
    
    These should fix #7024 and #7022, among others.
    
    The main difficulty was that we were getting occ-name clashes
    between kind and type variables in TyCons, when spat into an
    interface file. The new scheme is to tidy TyCons during the
    conversoin into IfaceSyn, rather than trying to generate them
    pre-tidied, which was the already-unsatisfactory previous plan.
    
    There is the usual wave of refactorig as well.

 compiler/iface/MkIface.lhs          |  129 +++++++++++++++++++++-----------
 compiler/typecheck/TcHsType.lhs     |  143 ++++++++++++++++++++---------------
 compiler/typecheck/TcRnDriver.lhs   |    8 +-
 compiler/typecheck/TcRnTypes.lhs    |   40 +++++++---
 compiler/typecheck/TcRules.lhs      |    3 +-
 compiler/typecheck/TcTyClsDecls.lhs |  110 +++++++++++++-------------
 compiler/types/Kind.lhs             |    9 ++-
 7 files changed, 267 insertions(+), 175 deletions(-)


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

    git show 3fe3ef509627cb8c9aa7751beb44d1b4408f8b22