#8184: Compiler panic in the presence of cyclic imports
---------------------------------------+-----------------------------------
Reporter: parcs | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.7
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time crash | Unknown/Multiple
Test Case: | Difficulty: Unknown
Blocking: 910 | Blocked By:
| Related Tickets:
---------------------------------------+-----------------------------------
Comment (by parcs):
Thanks for the detailed explanation by the way.
Your explanation gave me an idea: What if, instead of retypechecking the
module loop ''after'' compiling the last module in the loop, we purged the
(potentially stale) interfaces of the modules within the loop ''before''
compiling the last module in the loop? Then as we simultaneously compile
the last module in the loop, the necessary interfaces will have to be
(re-)sucked in and (re-)typechecked.
Does this make sense? I think this solution would eradicate this bug and
other bugs like it.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8184#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
