#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 guest):
I *think* there are annoying situations involving recursive (or just lots
of back-and-forth between modules) of `data`, `type` or `class`
declarations that simply can't be solved with simple pragmas/hs-boots
(possibly even some of those annoying situations would be non-terrible
programming style :-) ). Maybe I should write a few examples?
P.S. also a pragma like "MODULE_MUTUAL_RECURSION_BREAKER" would involve a
limited bit of NOINLINE & no strictness analysis (etc.) semantics, as we
already have with hs-boot: just to be aware of.
-Isaac Dupree
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1409#comment:14>
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
