Commit f043cd55 authored by Ben Gamari's avatar Ben Gamari 🐢

Fix name of note

[skip ci]
parent 7b8827ab
......@@ -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
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment