diff options
| author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-10 10:16:38 +0100 |
|---|---|---|
| committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-09-27 06:40:58 +0100 |
| commit | 5d7173f9ab8405511f75765e0541a04796d9bd07 (patch) | |
| tree | cd34c9f9af8c13c4b6dfa9f953c5c570f1f8f961 /compiler/coreSyn | |
| parent | e2496a8193849620fc6b60a212d855e1624e8587 (diff) | |
| download | haskell-5d7173f9ab8405511f75765e0541a04796d9bd07.tar.gz | |
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.
Diffstat (limited to 'compiler/coreSyn')
| -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 |