diff options
Diffstat (limited to 'compiler/coreSyn/CoreLint.lhs')
| -rw-r--r-- | compiler/coreSyn/CoreLint.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index 34e294f389..6f2fd61f8e 100644 --- a/compiler/coreSyn/CoreLint.lhs +++ b/compiler/coreSyn/CoreLint.lhs @@ -629,7 +629,7 @@ lintInCo co lintKind :: Kind -> LintM () -- Check well-formedness of kinds: *, *->*, etc lintKind (TyConApp tc []) - | getUnique tc `elem` kindKeys + | tyConKind tc `eqKind` tySuperKind = return () lintKind (FunTy k1 k2) = lintKind k1 >> lintKind k2 |