DeriveGeneric breaks when the same data name is used in different modules

That's the error you like too see, or rather not. ;(

[180 of 289] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist-2.4.2.4/build/Agda/TypeChecking/Serialise.o )

src/full/Agda/TypeChecking/Serialise.hs:1:1:
    Duplicate instance declarations:
      instance GHC.Generics.Datatype Agda.TypeChecking.Serialise.D1Name
        -- Defined at src/full/Agda/TypeChecking/Serialise.hs:1:1
      instance GHC.Generics.Datatype Agda.TypeChecking.Serialise.D1Name
        -- Defined at src/full/Agda/TypeChecking/Serialise.hs:1:1

src/full/Agda/TypeChecking/Serialise.hs:1:1:
    Duplicate instance declarations:
      instance GHC.Generics.Constructor
                 Agda.TypeChecking.Serialise.C1_0Name
        -- Defined at src/full/Agda/TypeChecking/Serialise.hs:1:1
      instance GHC.Generics.Constructor
                 Agda.TypeChecking.Serialise.C1_0Name
        -- Defined at src/full/Agda/TypeChecking/Serialise.hs:1:1

Problems:

• no position in file
• system generated names D1Name, C1_0Name
• obvious bogus (same instance cannot be defined twice at same location)
• leads me to suspect bug in Generics rather than in my code

Reproduce:

• git clone agda/agda from github,

• checkout this commit

  https://github.com/agda/agda/commit/46823536559276807639488eae151a0e855fdb95

• and try to compile with

  make install-bin

Trac metadata

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