diff options
Diffstat (limited to 'compiler/coreSyn/CoreLint.lhs')
| -rw-r--r-- | compiler/coreSyn/CoreLint.lhs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index f6bb1a280e..7a050a801b 100644 --- a/compiler/coreSyn/CoreLint.lhs +++ b/compiler/coreSyn/CoreLint.lhs @@ -729,9 +729,8 @@ lintType ty@(TyConApp tc tys) | Just ty' <- coreView ty = lintType ty' -- Expand type synonyms, so that we do not bogusly complain -- about un-saturated type synonyms - -- - | isUnLiftedTyCon tc || isSynTyCon tc + | isUnLiftedTyCon tc || isTypeSynonymTyCon tc || isTypeFamilyTyCon tc -- See Note [The kind invariant] in TypeRep -- Also type synonyms and type families , length tys < tyConArity tc |