diff options
Diffstat (limited to 'compiler/GHC/Tc/TyCl.hs')
| -rw-r--r-- | compiler/GHC/Tc/TyCl.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/TyCl.hs b/compiler/GHC/Tc/TyCl.hs index 0e387c6247..680d3d33b7 100644 --- a/compiler/GHC/Tc/TyCl.hs +++ b/compiler/GHC/Tc/TyCl.hs @@ -1083,7 +1083,7 @@ We do kind inference as follows: These unification variables - Are TyVarTvs: that is, unification variables that can unify only with other type variables. - See Note [Signature skolems] in GHC.Tc.Utils.TcType + See Note [TyVarTv] in GHC.Tc.Utils.TcMType - Have complete fresh Names; see GHC.Tc.Utils.TcMType Note [Unification variables need fresh Names] |