[commit: ghc] master: Refactor LHsTyVarBndrs to fix Trac #6081 (fc8959a)

[Simon Peyton Jones]

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

On branch  : master

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

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

commit fc8959acae02605c71b775c8d403e38b5cc6fecd
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri May 11 18:02:18 2012 +0100

    Refactor LHsTyVarBndrs to fix Trac #6081
    
    This is really a small change, but it touches a lot of files quite
    significantly. The real goal is to put the implicitly-bound kind
    variables of a data/class decl in the right place, namely on the
    LHsTyVarBndrs type, which now looks like
    
      data LHsTyVarBndrs name
        = HsQTvs { hsq_kvs :: [Name]
                 , hsq_tvs :: [LHsTyVarBndr name]
          }
    
    This little change made the type checker neater in a number of
    ways, but it was fiddly to push through the changes.

 compiler/deSugar/DsMeta.hs          |   43 +++---
 compiler/hsSyn/Convert.lhs          |   22 ++--
 compiler/hsSyn/HsDecls.lhs          |   32 ++--
 compiler/hsSyn/HsPat.lhs            |    4 +-
 compiler/hsSyn/HsTypes.lhs          |  124 +++++++++--------
 compiler/hsSyn/HsUtils.lhs          |    5 +-
 compiler/parser/Parser.y.pp         |    8 +-
 compiler/parser/ParserCore.y        |   10 +-
 compiler/parser/RdrHsSyn.lhs        |   25 ++--
 compiler/rename/RnBinds.lhs         |    2 +-
 compiler/rename/RnEnv.lhs           |   17 ++-
 compiler/rename/RnPat.lhs           |    4 +-
 compiler/rename/RnSource.lhs        |   81 +++++------
 compiler/rename/RnTypes.lhs         |  264 +++++++++++++++++++++--------------
 compiler/typecheck/TcEvidence.lhs   |    3 +-
 compiler/typecheck/TcHsType.lhs     |   41 +++---
 compiler/typecheck/TcRnDriver.lhs   |    9 +-
 compiler/typecheck/TcSMonad.lhs     |   61 ++++----
 compiler/typecheck/TcTyClsDecls.lhs |   31 ++--
 19 files changed, 421 insertions(+), 365 deletions(-)


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

    git show fc8959acae02605c71b775c8d403e38b5cc6fecd