#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          
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by simonpj):

 Clearly a lot of people are interested in this ticket, but I'm not clear
 why:

  * Writing an `hs-boot` file is very like writing a module signature in
 ML; and that in turn is a bit like writing a type signature on a function.
 Why is that so bad?

  * At the moment I am very un-clear about the ''design'' of a viable
 alternative.  Lennart's recent suggestion comes closest; but does that
 meet the goals of others.

 Once there is a clear motivation, and a clear design, it'll become easier
 to comment about how easy or difficult it is to implement.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1409#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to