Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/54eb0301cfe5b7ba34e1c6f0664e05961d5b701d >--------------------------------------------------------------- commit 54eb0301cfe5b7ba34e1c6f0664e05961d5b701d Author: Simon Peyton Jones <[email protected]> Date: Wed Mar 14 17:26:20 2012 +0000 Deal with kind variables brought into scope by a kind signature This fixes Trac #5937, where a kind variable is mentioned only in the kind signature of a GADT data SMaybe :: (k -> *) -> Maybe k -> * where ... The main change is that the tcdKindSig field of TyData and TyFamily now has type Maybe (HsBndrSig (LHsKind name)), where the HsBndrSig part deals with the kind variables that the signature may bind. I also removed the now-unused PostTcKind field of UserTyVar and KindedTyVar. compiler/hsSyn/HsDecls.lhs | 6 +++--- compiler/hsSyn/HsTypes.lhs | 22 ++++------------------ compiler/hsSyn/HsUtils.lhs | 2 +- compiler/parser/Parser.y.pp | 8 ++++---- compiler/parser/ParserCore.y | 2 +- compiler/parser/RdrHsSyn.lhs | 11 ++++++----- compiler/rename/RnTypes.lhs | 21 +++++++++++---------- compiler/typecheck/TcEnv.lhs | 7 +------ compiler/typecheck/TcHsType.lhs | 10 +++++----- compiler/typecheck/TcTyClsDecls.lhs | 7 ++++--- 10 files changed, 40 insertions(+), 56 deletions(-) Diff suppressed because of size. To see it, use: git show 54eb0301cfe5b7ba34e1c6f0664e05961d5b701d _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
