[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):

 Note that the panic doesn't occur when compiling each module separately in
 one-shot mode.

 The only difference seems to be that when compiled in one-shot mode, the
 worker for `thing` has the type

 {{{
 #!haskell
 $wthing :: Int -> Int -> a
 }}}

 whereas when compiled in --make mode, it's

 {{{
 #!haskell
 $wthing :: Y -> a
 }}}

 And judging by the panic message the compiler seems to attempt to apply
 `$wthing` to 2 Ints as if it had the former type.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8184#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler