[GHC] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)

[GHC]

#1409: Allow recursively dependent modules transparently (without .hs-boot or
anything)
-------------------------------------+-------------------------------------
        Reporter:  Isaac Dupree      |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:  ⊥
       Component:  Compiler          |              Version:  6.10.2
      Resolution:                    |             Keywords:  backpack
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #9256             |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by atravers):

 Replying to [comment:49 simonpj]:

 Starting with the following local definitions of computeInOuts, in section
 5.4 of the Diatchki/Jones/Hallgren paper:
 {{{
 nextExps = computeEs . computeIs
 computeEs is = zipWith exports mods is
 computeIs es = map (`inscope` toFun es) mods
 }}}
 which can be simplified to:
 {{{
 nextExps es = map (computeModExps es) mods
 computeModExps es m = exports m (inscope m (toFun es))
 }}}
 Then:
 {{{
 nextExps es = map (computeModExps es) mods
 computeModExps es m = fst (compileMod es m)
 }}}
 ...assuming this can be well-defined:

 {{{
 compileMod es m = (modExps, modCode)
   where
   modExps = exports m (inscope m (toFun es))
   modCode = ...
                    .
                    .
                    .
 }}}
 Would something like this be possible in GHC?

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