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

GHC ghc-devs at haskell.org
Fri Aug 30 07:21:27 UTC 2013


#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 simonpj):

 Yes, indeed.  It is a significant flaw.  The thing is, a `TyCon` in GHC
 literally points to its `DataCons` and they literally point to their
 `Types` and they literally point to the `TyCons` mentioned in the type.
 So there is a big cyclic data structure here.  It's very convenient to
 ''use'', but a pain to ''build''.

 If I knew an easy solution I'd have adopted it, but I don't (yet). However
 for this particular problem I think we can adopt the solution I outlined.

 Simon

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




More information about the ghc-tickets mailing list