[GHC] #1428: Mutually recursive modules

GHC trac at galois.com
Fri Jun 15 17:15:11 EDT 2007


#1428: Mutually recursive modules
---------------------------------+------------------------------------------
  Reporter:  iampure at gmail.com   |          Owner:                            
      Type:  feature request     |         Status:  new                       
  Priority:  high                |      Milestone:                            
 Component:  Compiler            |        Version:  6.6.1                     
  Severity:  major               |       Keywords:  mutually recursive modules
Difficulty:  Project (> 1 week)  |             Os:  Multiple                  
  Testcase:                      |   Architecture:  Multiple                  
---------------------------------+------------------------------------------
I would like to have mutually recursive modules, without creating special
 files. In my experience, some types(for example) are naturally mutually
 recursive. As someone said on the mailing lists:

 You can *program* in Haskell and you can program *in Haskell*. In short,
 the user should concentrate on writing the program and not on artificial
 complexities imposed on by the implementation.

 Mutually recursive modules are a solved problem, since there are other
 systems that can do this. They might have a cost associated with them, but
 I cannot imagine it to be significant in any interesting program.

 Since mutually recursive modules are already in Haskell98, any user should
 be able to expect that the "most popular" compiler for Haskell fully
 supports them. It's 2007, not 1998.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1428>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


More information about the Glasgow-haskell-bugs mailing list