Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-kinds
http://hackage.haskell.org/trac/ghc/changeset/13d1a6ee4b7c392c58c1b3d56a2f13ba98bfa55d >--------------------------------------------------------------- commit 13d1a6ee4b7c392c58c1b3d56a2f13ba98bfa55d Author: Simon Peyton Jones <[email protected]> Date: Wed Nov 2 09:38:30 2011 +0000 Comments only >--------------------------------------------------------------- compiler/typecheck/TcRnTypes.lhs | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs index f0c6119..5d2bb83 100755 --- a/compiler/typecheck/TcRnTypes.lhs +++ b/compiler/typecheck/TcRnTypes.lhs @@ -550,8 +550,10 @@ data TcTyThing -- for error-message purposes; it is the corresponding -- Name in the domain of the envt - | AThing TcKind -- Used temporarily, during kind checking, for the - -- tycons and clases in this recursive group + | AThing TcKind -- Used temporarily, during kind checking, for the + -- tycons and clases in this recursive group + -- Can be a mono-kind or a poly-kind; in TcTyClsDcls see + -- Note [Type checking recursive type and class declarations] | ANothing -- see Note [ANothing] _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
