[GHC] #1012: ghc panic with mutually recursive modules and template haskell

GHC ghc-devs at haskell.org
Sun Oct 13 16:36:55 UTC 2013


#1012: ghc panic with mutually recursive modules and template haskell
-------------------------------------+------------------------------------
        Reporter:  guest             |            Owner:
            Type:  bug               |           Status:  new
        Priority:  lowest            |        Milestone:  7.6.2
       Component:  Template Haskell  |          Version:  6.8.2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:  TH_import_loop    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by isaacdupree):

 goldfire: Can you move `data family Sing (a :: k)` to a new private module
 `Data.Singletons.Sing` that both Data.Singletons and
 Data.Singletons.Singletons import (and that Data.Singletons re-exports for
 the sake of library users)? (getting rid of the module cycle)

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


More information about the ghc-tickets mailing list