GHC - Handling of recursive modules

[paolo]

Designing and implementing the handling of recursive modules in GHC.

Interested Mentors

• ?

Interested Students

• Kenn Knowles <kknowles@…> (2007)

[PhilippaCowderoy]

I'd be keen to see this done, having found some interesting uses for recursive modules. Not sure how familiar the mentor would have to be with GHC's internals?

[simonmar]

I'm surprised that people think the lack of "real" recursive modules in GHC is a big problem. What's so hard about writing .hs-boot files?

Also, I think this is a hard project, mainly because GHC is structured internally to assume that modules are compiled one at a time, and relaxing this assumption would probably be highly disruptive.

So to summarise: I'm skeptical. If someone else wants to mentor, and the problem doesn't turn out to be unrealistically hard, and the results are good, then there's no reason we couldn't adopt the code... but that's a lot of ifs.

[tibbe]

There's not enough of a community need for this and the project seems a bit too hard for a student.