[GHC] #10871: Implement "fat" interface files which can be directly compiled without source

[GHC]

#10871: Implement "fat" interface files which can be directly compiled without
source
-------------------------------------+-------------------------------------
        Reporter:  ezyang            |                Owner:  ezyang
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:  backpack
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 simonmar):

 I was worried you were going to say that :)

 I'm missing some context here, e.g. I don't know what your plans are with
 respect to using backpack code with regular GHC(i), and how cabal-install
 can be ignorant to whether a package contains backpack code.  Hence I
 don't understand how (1) and (2) force you to save fat interface files.

 I understand (3), but it still doesn't seem to force you to save a fat
 interface file.  Why not typecheck first and then compile again from
 source?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10871#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler