Opened 10 years ago

Closed 10 years ago

Last modified 7 years ago

#1428 closed feature request (duplicate)

Mutually recursive modules

Reported by: iampure@… Owned by:
Priority: high Milestone:
Component: Compiler Version: 6.6.1
Keywords: mutually recursive modules Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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.

Change History (5)

comment:1 Changed 10 years ago by Isaac Dupree

see #1409

comment:2 Changed 10 years ago by simonpj

Resolution: duplicate
Status: newclosed

Closing: a dup of #1409.

comment:3 Changed 8 years ago by simonmar

Architecture: MultipleUnknown/Multiple

comment:4 Changed 8 years ago by simonmar

Operating System: MultipleUnknown/Multiple

comment:5 Changed 7 years ago by simonmar

difficulty: Project (> 1 week)Project (more than a week)
Note: See TracTickets for help on using tickets.