[commit: ghc] wip/T14880: Clarify some comments (4d8f5c1)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/T14880
Link       : http://ghc.haskell.org/trac/ghc/changeset/4d8f5c11032f68c54d71cc5d56a34fb98379280a/ghc

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

commit 4d8f5c11032f68c54d71cc5d56a34fb98379280a
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Fri Jun 15 21:29:56 2018 -0400

    Clarify some comments


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

4d8f5c11032f68c54d71cc5d56a34fb98379280a
 compiler/typecheck/TcType.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index 40ca031..bfe9df0 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -1158,7 +1158,9 @@ candidateQTyVarsOfType ty = closeOverKindsCQTvs $
 -- NB: *not* closed over kinds
 -- See Note [Closing over free variable kinds] in TyCoRep
 split_dvs :: Bool  -- True <=> consider every fv in Type to be dependent
-          -> VarSet -> CandidatesQTvs -> Type -> CandidatesQTvs
+          -> VarSet  -- These variables have been locally bound
+                     -- See Note [Removing variables with bound kinds]
+          -> CandidatesQTvs -> Type -> CandidatesQTvs
 split_dvs is_dep bound dvs ty
   = go dvs ty
   where