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/prelude/TysWiredIn.lhs | |
| 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/prelude/TysWiredIn.lhs')
| -rw-r--r-- | compiler/prelude/TysWiredIn.lhs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/prelude/TysWiredIn.lhs b/compiler/prelude/TysWiredIn.lhs index 6b64ae7f7d..e31261afac 100644 --- a/compiler/prelude/TysWiredIn.lhs +++ b/compiler/prelude/TysWiredIn.lhs @@ -120,10 +120,9 @@ names in PrelNames, so they use wTcQual, wDataQual, etc -- Because of their infinite nature, this list excludes tuples, Any and implicit -- parameter TyCons. Instead, we have a hack in lookupOrigNameCache to deal with -- these names. +-- +-- See also Note [Known-key names] wiredInTyCons :: [TyCon] --- It does not need to include kind constructors, because --- all that wiredInThings does is to initialise the Name table, --- and kind constructors don't appear in source code. wiredInTyCons = [ unitTyCon -- Not treated like other tuples, because -- it's defined in GHC.Base, and there's only |