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 <simo...@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 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
