#14536: Ghc panics while building stage2 with -dstg-lint -------------------------------------+------------------------------------- Reporter: duog | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Building ghc at 54fda257d4a7bfddaa0c1fa0be698d1a849c4124 with the following mk/build.mk: {{{ BuildFlavour = validate ifneq "$(BuildFlavour)" "" include mk/flavours/$(BuildFlavour).mk endif GhcStage2HcOpts += -dcore-lint -dstg-lint -dcmm-lint }}} building with: {{{ make compiler/stage2/build/Exception.o }}} panics with: {{{ ghc-stage1: panic! (the 'impossible' happened) (GHC version 8.3.20171127 for x86_64-unknown-linux): ASSERT failed! dataConInstArgTys Unit# [k0_10, a_11] ['TupleRep '[], 'IntRep, State# RealWorld, Int#] Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1208:22 in ghc:Outputable assertPprPanic, called at compiler/basicTypes/DataCon.hs:1256:76 in ghc:DataCon Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/utils/Outputable.hs:1206:5 in ghc:Outputable assertPprPanic, called at compiler/basicTypes/DataCon.hs:1256:76 in ghc:DataCon Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Once this is resolved, is there any reason that -dstg-ling and -dcmm-lint are not set on validate (at least with SLOW)? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14536 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler