#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  |  
---------------------------------+------------------------------------------
Changes (by augustss):

 * cc: [email protected] (added)

Comment:

 I would settle for a solution where I annotate those entities in a module
 that would go in the hs-boot file.  So instead of me having to go through
 the trouble of creating an extra file I could just say, e.g.,

 {{{
 {-# MODULE_MUTUAL_RECURSION_BREAKER T, foo #-}
 data T = ...
 foo :: ...
 foo = ...
 }}}

 The values that have an annotation would have to have a type signature.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1409#comment:13>
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