[commit: ghc] master: Fix name of note (f043cd5)
git at git.haskell.org
git at git.haskell.org
Fri Sep 15 19:37:27 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/f043cd5580982f8beb7e3d20a73dc427da89025a/ghc
>---------------------------------------------------------------
commit f043cd5580982f8beb7e3d20a73dc427da89025a
Author: Ben Gamari <ben at smart-cactus.org>
Date: Wed Sep 13 13:13:02 2017 -0400
Fix name of note
[skip ci]
>---------------------------------------------------------------
f043cd5580982f8beb7e3d20a73dc427da89025a
compiler/typecheck/TcMType.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs
index ed7835c..23b51f6 100644
--- a/compiler/typecheck/TcMType.hs
+++ b/compiler/typecheck/TcMType.hs
@@ -1265,7 +1265,7 @@ zonkTcTypeAndFV :: TcType -> TcM DTyCoVarSet
-- where k2:=k1 is in the substitution. We don't want
-- k2 to look free in this type!
-- NB: This might be called from within the knot, so don't use
--- smart constructors. See Note [Zonking within the knot] in TcHsType
+-- smart constructors. See Note [Type-checking inside the knot] in TcHsType
zonkTcTypeAndFV ty
= tyCoVarsOfTypeDSet <$> zonkTcTypeInKnot ty
More information about the ghc-commits
mailing list