[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:                  
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Milestone:  _|_             
   Component:  Compiler          |     Version:  6.10.2          
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by diatchki):

 I also think that having more direct support for mutually recursive
 modules would be nice.   Here is one corner case we encountered when we
 implemented this in Programatica (just documenting it here in case someone
 starts implementing this feature)

 The problem is the specification of defaulting, which talks about a single
 module.  If (i) there is a recursive binding group which happens to be
 spread across modules, and (ii) defaulting needs to happen, then it is not
 clear which module's defaulting rules should be used.

 A simple solution would be to simply report and error in that situation,
 if the modules have different defaulting rules.

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