Fix up the typechecking of interface files during --make
authorsimonpj@microsoft.com <unknown>
Fri, 6 Oct 2006 13:19:32 +0000 (13:19 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 6 Oct 2006 13:19:32 +0000 (13:19 +0000)
commit84f4c1dfb0c39c5b48a8b960fc82ab10aeb10c84
tree3a23ba8a60b3cdba9466ca5aa09f5c21e708bf74
parentdb375d630cb6e3377e48daaa0388ba5a4f798f7b
Fix up the typechecking of interface files during --make

This patch fixes Trac #909.  The problem was that when compiling
the base package, the handling of wired-in things wasn't right;
in TcIface.tcWiredInTyCon it repeatedly loaded GHC.Base.hi into the
PIT, even though that was the very module it was compiling.

The main fix is by introducing TcIface.ifCheckWiredInThing.

But I did some minor refactoring as well.
compiler/iface/LoadIface.lhs
compiler/iface/TcIface.lhs
compiler/iface/TcIface.lhs-boot
compiler/typecheck/TcTyClsDecls.lhs