#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