[commit: ghc] wip/T15809: Comments only (26c2ec3)
git at git.haskell.org
git at git.haskell.org
Fri Nov 16 16:54:41 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/T15809
Link : http://ghc.haskell.org/trac/ghc/changeset/26c2ec3354546f377017623da934fb2667c1b727/ghc
>---------------------------------------------------------------
commit 26c2ec3354546f377017623da934fb2667c1b727
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Fri Nov 9 17:46:05 2018 +0000
Comments only
>---------------------------------------------------------------
26c2ec3354546f377017623da934fb2667c1b727
compiler/typecheck/TcMType.hs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs
index 9edad0f..6d9f3ca 100644
--- a/compiler/typecheck/TcMType.hs
+++ b/compiler/typecheck/TcMType.hs
@@ -662,7 +662,8 @@ but this restriction was dropped, and ScopedTypeVariables can now refer to full
types (GHC Proposal 29).
The remaining uses of newTyVarTyVars are
-* in kind signatures, see Note [Kind generalisation and TyVarTvs]
+* In kind signatures, see
+ TcTyClsDecls Note [Inferring kinds for type declarations]
and Note [Use TyVarTvs in kind-checking pass]
* in partial type signatures, see Note [Quantified variables in partial type signatures]
-}
More information about the ghc-commits
mailing list