diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-09-13 13:13:02 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-09-15 14:32:23 -0400 |
| commit | f043cd5580982f8beb7e3d20a73dc427da89025a (patch) | |
| tree | 6d853f20abb81f4084e026fca305cd945ddb4173 | |
| parent | 7b8827ab24a3af8555f1adf250b7b541e41d8f5d (diff) | |
| download | haskell-f043cd5580982f8beb7e3d20a73dc427da89025a.tar.gz | |
Fix name of note
[skip ci]
| -rw-r--r-- | compiler/typecheck/TcMType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs index ed7835c87f..23b51f6a94 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 |