#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 simonmar):
Isn't the problem that you can't quite write a sed script to generate the
hs-boot file, because you can't figure out what the imports should be?
The point of the hs-boot file is that it lets GHC break the import
recursion by specifying a smaller set of imports than the main .hs file
has.
In reply to Simon's question: I think people would like GHC to resolve
mutually recursive modules automatically by using a fixed-point
calculation in the module system, in the way that Diatchki/Jones/Hallgren
did in their Haskell Workshop '02 paper:
[http://portal.acm.org/citation.cfm?id=581692]. This would be a huge
upheaval in GHC of course, and it seems to be completely at odds with
separate compilation.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1409#comment:17>
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
