From 5d7173f9ab8405511f75765e0541a04796d9bd07 Mon Sep 17 00:00:00 2001 From: Max Bolingbroke Date: Sat, 10 Sep 2011 10:16:38 +0100 Subject: Change the way IfExtName is serialized so (most) wired-in names get special representation This lets IfaceType be dumber, with fewer special cases, because deserialization for more wired-in names will work. Once we have polymorphic kinds we will be able to replace IfaceTyCon with a simple IfExtName. --- compiler/coreSyn/CoreLint.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/coreSyn') 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 -- cgit v1.2.1