#13102: orphan family instances can leak through the EPS in --make mode -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: rwbarton Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):
But I think the real intent is ...
No, not really. You'll see a lot of calls to `checkWiredInTyCon` whose solve purpose is to ensure that that the home module for the wired-in type constructor is loaded, even if you don't need to import the module to bring it into scope. In the example you give,
The literal [True] means GHC.Exts.fromListN 1 (True : [])
OK, but `fromListN` is a known-key `Name` but it is not a wired-in `Id`. So to get `fromListN`'s type GHC is forced to load `GHC.Exts.hi`. So I don't see the problem. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13102#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler