[GHC] #10513: ghc 7.6.3 Compiler panic with Generics

GHC ghc-devs at haskell.org
Fri Jun 12 08:53:28 UTC 2015


#10513: ghc 7.6.3 Compiler panic with Generics
-------------------------------------+-------------------------------------
              Reporter:              |             Owner:
  andreas.abel                       |            Status:  new
                  Type:  bug         |         Milestone:
              Priority:  normal      |           Version:  7.6.3
             Component:  Compiler    |  Operating System:  Unknown/Multiple
              Keywords:              |   Type of failure:  None/Unknown
          Architecture:              |        Blocked By:
  Unknown/Multiple                   |   Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 Currently, Agda only compiles with ghc 7.4, 7.8, and 7.10, see
 https://code.google.com/p/agda/issues/detail?id=1558
 Here is a the relevant commit:
 https://github.com/agda/agda/commit/f7b47de0cb167514f6db859b204abd638887b76f
 Generics do not seem to work properly in ghc 7.6
 {{{
 [ 92 of 312] Compiling Agda.Syntax.Abstract.Name (
 src/full/Agda/Syntax/Abstract/Name.hs,
 dist/build/Agda/Syntax/Abstract/Name.o )
 ghc: panic! (the 'impossible' happened)
   (GHC version 7.6.3 for x86_64-unknown-linux):
         tcIfaceGlobal (local): not found:
     Agda-2.4.3:Agda.Syntax.Fixity.D1PrecedenceLevel{tc a4mIV}
     [(rc0D,
       Type constructor `Agda-2.4.3:Agda.Syntax.Fixity.Fixity'{tc rc0D}'),
      (r4mFT,
       Type constructor `Agda-2.4.3:Agda.Syntax.Fixity.Precedence{tc
 r4mFT}'),
 […]
      (r4mKa,
       Identifier
 `Agda-2.4.3:Agda.Syntax.Fixity.$fTypeable1ThingWithFixity{v r4mKa}'),
      (r4mKb,
       Identifier `Agda-2.4.3:Agda.Syntax.Fixity.$fGenericThingWithFixity{v
 r4mKb}'),
      (r4mKc,ghc: panic! (the 'impossible' happened)
   (GHC version 7.6.3 for x86_64-unknown-linux):
         ghc: panic! (the 'impossible' happened)
   (GHC version 7.6.3 for x86_64-unknown-linux):
         tcIfaceGlobal (local): not found:
 <<details unavailable>>

 Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug
 }}}
 I don't know whether you are maintaining old ghcs, but it seems we have to
 drop Generics until we drop support for ghc 7.6

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


More information about the ghc-tickets mailing list