[GHC] #8184: Compiler panic in the presence of cyclic imports

[GHC]

#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