Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/2316a90da6e78349874a181baa762ef60c80333e >--------------------------------------------------------------- commit 2316a90da6e78349874a181baa762ef60c80333e Author: Simon Peyton Jones <[email protected]> Date: Wed Apr 25 12:56:44 2012 +0100 More fixes to kind polymorphism, fixes Trac #6035, #6036 * Significant refactoring in tcFamPats and tcConDecl * It seems that we have to allow KindVars (not just TcKindVars during kind unification. See Note [Unifying kind variables] in TcUnify. * Be consistent about zonkQuantifiedTyVars * Split the TcType->TcType zonker (in TcMType) from the TcType->Type zonker (in TcHsSyn) The clever parameterisation was doing my head in, and it's only a small function * Remove some dead code (tcTyVarBndrsGen) compiler/ghci/RtClosureInspect.hs | 4 +- compiler/typecheck/FamInst.lhs | 11 ++-- compiler/typecheck/TcHsSyn.lhs | 90 ++++++++++++++++----------- compiler/typecheck/TcHsType.lhs | 65 ++++++++----------- compiler/typecheck/TcMType.lhs | 79 ++++++++--------------- compiler/typecheck/TcTyClsDecls.lhs | 120 +++++++++++++++++++--------------- compiler/typecheck/TcUnify.lhs | 67 +++++++++++--------- 7 files changed, 221 insertions(+), 215 deletions(-) Diff suppressed because of size. To see it, use: git show 2316a90da6e78349874a181baa762ef60c80333e _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
