[GHC] #16028: tyThingCoAxiom panics while building Agda
GHC
ghc-devs at haskell.org
Mon Dec 10 16:25:53 UTC 2018
#16028: tyThingCoAxiom panics while building Agda
-------------------------------------+-------------------------------------
Reporter: iliastsi | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.4
Component: Compiler | Version: 8.4.4
Keywords: | Operating System: Unknown/Multiple
Architecture: arm | Type of failure: Compile-time
| crash or panic
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
ghc-8.4.4 panics while building Agda on armhf
(https://buildd.debian.org/status/fetch.php?pkg=agda&arch=armhf&ver=2.5.4.1-3%2Bb1&stamp=1544132023&raw=0):
{{{
ghc: panic! (the 'impossible' happened)
(GHC version 8.4.4 for arm-unknown-linux):
tyThingCoAxiom
Identifier ‘fromDescListWithKey’
Call stack:
CallStack (from HasCallStack):
callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in
ghc:Outputable
pprPanic, called at compiler/main/HscTypes.hs:2153:32 in
ghc:HscTypes
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
The same version of Agda builds fine with ghc-8.4.3 on armhf
(https://buildd.debian.org/status/fetch.php?pkg=agda&arch=armhf&ver=2.5.4.1-3&stamp=1540145469&raw=0).
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16028>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list