[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