#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