[commit: ghc] ghc-new-co: A raft of changes on the way to scoped kind variables (fa5a085)

[Simon Peyton Jones]

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

On branch  : ghc-new-co

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

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

commit fa5a08596b544ca9d6a47fba36a27c5fd2604f0d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Feb 17 17:11:59 2012 +0000

    A raft of changes on the way to scoped kind variables
    
    This is just a branch!  So it should not disturb anyone.

 compiler/deSugar/DsMeta.hs          |    6 +-
 compiler/ghc.cabal.in               |    1 -
 compiler/hsSyn/Convert.lhs          |   16 +-
 compiler/hsSyn/HsDecls.lhs          |   18 +-
 compiler/hsSyn/HsPat.lhs            |    2 +-
 compiler/hsSyn/HsTypes.lhs          |   90 +++++---
 compiler/hsSyn/HsUtils.lhs          |   10 +-
 compiler/parser/Parser.y.pp         |    5 +-
 compiler/parser/ParserCore.y        |    4 +-
 compiler/parser/RdrHsSyn.lhs        |    8 +-
 compiler/rename/RnBinds.lhs         |   42 ++--
 compiler/rename/RnEnv.lhs           |   71 ++-----
 compiler/rename/RnExpr.lhs          |    9 +-
 compiler/rename/RnHsSyn.lhs         |  159 --------------
 compiler/rename/RnPat.lhs           |   21 +-
 compiler/rename/RnSource.lhs        |  222 ++++++++++----------
 compiler/rename/RnTypes.lhs         |  389 ++++++++++++++++++++++-------------
 compiler/typecheck/TcBinds.lhs      |  255 ++++++++---------------
 compiler/typecheck/TcEnv.lhs        |   19 +-
 compiler/typecheck/TcHsType.lhs     |  215 ++++++++++++--------
 compiler/typecheck/TcInstDcls.lhs   |    2 +-
 compiler/typecheck/TcMType.lhs      |   13 +-
 compiler/typecheck/TcPat.lhs        |   11 +-
 compiler/typecheck/TcRnDriver.lhs   |    2 +-
 compiler/typecheck/TcRnMonad.lhs    |    3 +
 compiler/typecheck/TcRnTypes.lhs    |    4 +-
 compiler/typecheck/TcSplice.lhs     |    4 +-
 compiler/typecheck/TcTyClsDecls.lhs |  157 ++++++---------
 compiler/typecheck/TcTyDecls.lhs    |    8 +-
 compiler/typecheck/TcType.lhs       |    6 +-
 30 files changed, 819 insertions(+), 953 deletions(-)


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

    git show fa5a08596b544ca9d6a47fba36a27c5fd2604f0d