From f043cd5580982f8beb7e3d20a73dc427da89025a Mon Sep 17 00:00:00 2001 From: Ben Gamari <ben@smart-cactus.org> Date: Wed, 13 Sep 2017 13:13:02 -0400 Subject: [PATCH] Fix name of note [skip ci] --- 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 ed7835c87fdb..23b51f6a94ea 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 -- GitLab