diff options
Diffstat (limited to 'compiler/typecheck/TcTyClsDecls.hs')
-rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index 6598942533..cdcc3bda01 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -1485,7 +1485,7 @@ So, the kind-checker must return both the new args (that is, Type Because we don't need this information in the kind-checking phase of checking closed type families, we don't require these extra pieces of -information in tc_fam_ty_pats. See also Note [tc_fam_ty_pats vs tcFamTyPats]. +information in tc_fam_ty_pats. Note [Failing early in kcDataDefn] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |