ghc 7.6.3 Compiler panic with Generics

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

Trac metadata

Trac field	Value
Version	7.6.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture