[commit: ghc] wip/T15809: Comments only (2f86a8d)

git at git.haskell.org git at git.haskell.org
Fri Nov 23 17:34:30 UTC 2018


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

On branch  : wip/T15809
Link       : http://ghc.haskell.org/trac/ghc/changeset/2f86a8d4d091b451aea7a915addc0fedfaee5083/ghc

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

commit 2f86a8d4d091b451aea7a915addc0fedfaee5083
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Nov 9 17:46:05 2018 +0000

    Comments only


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

2f86a8d4d091b451aea7a915addc0fedfaee5083
 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