Opened 2 years ago

Closed 2 years ago

Last modified 20 months ago

#10513 closed bug (wontfix)

ghc 7.6.3 Compiler panic with Generics

Reported by: andreas.abel Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.6.3
Keywords: Generics Cc: asr
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

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

Change History (6)

comment:2 Changed 2 years ago by asr

Cc: asr added

comment:3 Changed 2 years ago by simonpj

If this is 7.6 only then I'm afraid we are extremely unlikely to fix it unless there is pressure from a large constituency to do so.

I assume it's ok with 7.10?

Simon

comment:4 Changed 2 years ago by andreas.abel

Yes, only 7.6. I still reported it, as for Agda we support ghc>=7.6. We have to wait with Generics until we drop support for 7.6.

comment:5 Changed 2 years ago by thomie

Resolution: wontfix
Status: newclosed

Closing, since there is a workaround (https://code.google.com/p/agda/issues/detail?id=1585 has been closed), and there won't be another 7.6 release.

comment:6 Changed 20 months ago by RyanGlScott

Keywords: Generics added
Note: See TracTickets for help on using tickets.