#13658: Assertion failure on HEAD: "optCoercion changed types!" -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.2.1 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: -------------------------------------+------------------------------------- I am seeing the following assertion failure on my `wip/libdw-prof` branch, {{{ ghc-stage1: panic! (the 'impossible' happened) (GHC version 8.3.20170507 for x86_64-unknown-linux): ASSERT failed! optCoercion changed types! in_co: (base:Data.Typeable.Internal.TypeRep{tc 35W} (UnsafeCo nominal ghc-prim:GHC.Types.Any{(w) tc 35K} (ghc- prim:GHC.Types.Any{(w) tc 35K} -> ghc- prim:GHC.Types.Any{(w) tc 35K})) (UnsafeCo nominal (ghc-prim:GHC.Types.Any{(w) tc 35K} ghc-prim:GHC.Types.Any{(w) tc 35K}) ghc- prim:GHC.Types.Any{(w) tc 35K}))_R in_ty1: base:Data.Typeable.Internal.TypeRep{tc 35W} (ghc-prim:GHC.Types.Any{(w) tc 35K} ghc-prim:GHC.Types.Any{(w) tc 35K}) in_ty2: base:Data.Typeable.Internal.TypeRep{tc 35W} ghc-prim:GHC.Types.Any{(w) tc 35K} out_co: (base:Data.Typeable.Internal.TypeRep{tc 35W} (UnsafeCo nominal ghc-prim:GHC.Types.Any{(w) tc 35K} (ghc- prim:GHC.Types.Any{(w) tc 35K} -> ghc- prim:GHC.Types.Any{(w) tc 35K})) _N)_R out_ty1: base:Data.Typeable.Internal.TypeRep{tc 35W} ghc-prim:GHC.Types.Any{(w) tc 35K} out_ty2: base:Data.Typeable.Internal.TypeRep{tc 35W} ghc-prim:GHC.Types.Any{(w) tc 35K} subst: [TCvSubst In scope: InScope {wild_00{v} base:Data.Typeable.Internal.mkTrCon{v 088} base:Data.Typeable.Internal.mkTrApp{v 089} base:Data.Typeable.Internal.typeNatTypeRep{v 08a} base:Data.Typeable.Internal.typeSymbolTypeRep{v 08b} base:Data.Typeable.Internal.mkTrFun{v 08d} wild_X3j{v} wild_X7E{v} wild_X83{v} wild_Xf1{v} dt_X2TF{v} a{v X2UX} kind_vars{v X2V3} kind_vars{v X32p} n{v a2Oo} a{v a2OX} b{v a2OY} tc{v a2Pw} args{v a2Px} tc{v a2PH} args{v a2PI} kind_args{v a2PK} ty_args{v a2PL} ty'{v a2PQ} dt_a2TG{v} dt_a2TH{v} k{tv a402} a{tv a403} k{tv a43q} k{tv a43r} k{tv a43s} a{tv a43t} $cshowsPrec{v a46O} $cshow{v a46Z} $cshowList{v a477} $cshowsPrec{v a47h} $cshow{v a47n} $cshowList{v a47t} $ccompare{v a47F} $c<{v a47X} $c<={v a485} $c>{v a48d} $c>={v a48l} $cmax{v a48t} $cmin{v a48B} $c=={v a48J} $c/={v a48Z} $ccompare{v a49d} $c<{v a49o} $c<={v a49u} $c>{v a49A} $c>={v a49G} $cmax{v a49M} $cmin{v a49S} $ctestEquality{v a4a1} $c=={v a4as} $c/={v a4aw} $krep_a4cI{v} $krep_a4cJ{v} $krep_a4cK{v} $krep_a4cL{v} $krep_a4cM{v} $krep_a4cN{v} $krep_a4cO{v} $krep_a4cP{v} $krep_a4cQ{v} $krep_a4cR{v} $krep_a4cS{v} $krep_a4cT{v} $krep_a4cU{v} $krep_a4cV{v} $krep_a4cW{v} $krep_a4cX{v} $krep_a4cY{v} $krep_a4cZ{v} $krep_a4d0{v} $krep_a4d1{v} $krep_a4d2{v} $krep_a4d3{v} $krep_a4d4{v} $krep_a4d5{v} $krep_a4d6{v} $krep_a4d7{v} $krep_a4d8{v} $krep_a4d9{v} $krep_a4da{v} $krep_a4db{v} $krep_a4dc{v} $krep_a4dd{v} $krep_a4de{v} $krep_a4df{v} $krep_a4dg{v} $krep_a4dh{v} $krep_a4di{v} $krep_a4dj{v} $krep_a4dk{v} $krep_a4dl{v} $krep_a4dm{v} $krep_a4dn{v} $krep_a4do{v} $krep_a4dp{v} $krep_a4dq{v} $krep_a4dr{v} $krep_a4ds{v} go{v a54a} wild{v a54c} y{v a54g} ys{v a54h} ds_d4tk{v} ds_d4tl{v} ds_d4tm{v} ds_d4tn{v} ds_d4to{v} ds_d4tS{v} ds_d4vc{v} dt_d52H{v} dt_d52I{v} base:Data.Typeable.Internal.modulePackage{v r2LC} base:Data.Typeable.Internal.moduleName{v r2LD} base:Data.Typeable.Internal.tyConPackage{v r2LE} base:Data.Typeable.Internal.tyConModule{v r2LF} base:Data.Typeable.Internal.tyConName{v r2LG} base:Data.Typeable.Internal.trNameString{v r2LH} base:Data.Typeable.Internal.tyConFingerprint{v r2LI} base:Data.Typeable.Internal.tyConKindArgs{v r2LJ} base:Data.Typeable.Internal.tyConKindRep{v r2LK} base:Data.Typeable.Internal.rnfModule{v r2LL} base:Data.Typeable.Internal.rnfTrName{v r2LM} base:Data.Typeable.Internal.rnfKindRep{v r2LN} base:Data.Typeable.Internal.rnfList{v r2LP} base:Data.Typeable.Internal.rnfTyCon{v r2LR} base:Data.Typeable.Internal.typeRepFingerprint{v r2LT} base:Data.Typeable.Internal.withTypeable{v r2LU} base:Data.Typeable.Internal.someTypeRepTyCon{v r2LV} base:Data.Typeable.Internal.typeRepTyCon{v r2LW} base:Data.Typeable.Internal.eqTypeRep{v r2LX} base:Data.Typeable.Internal.typeRepKind{v r2LY} base:Data.Typeable.Internal.runtimeRepTypeRep{v r2M6} base:Data.Typeable.Internal.typeRep{v r2M9} base:Data.Typeable.Internal.typeOf{v r2Ma} base:Data.Typeable.Internal.someTypeRep{v r2Mb} base:Data.Typeable.Internal.someTypeRepFingerprint{v r2Mc} base:Data.Typeable.Internal.splitApps{v r2Me} base:Data.Typeable.Internal.funTyCon{v r2Mf} base:Data.Typeable.Internal.rnfTypeRep{v r2Mj} base:Data.Typeable.Internal.rnfSomeTypeRep{v r2Mk} base:Data.Typeable.Internal.mkTyCon#{v r2Mm} base:Data.Typeable.Internal.mkTyCon{v r2Mn} base:Data.Typeable.Internal.mkTyConFingerprint{v r2Mo} base:Data.Typeable.Internal.mkTypeLitFromString{v r2Mq} base:Data.Typeable.Internal.tcSymbol{v r2Mr} base:Data.Typeable.Internal.tcNat{v r2Ms} base:Data.Typeable.Internal.$tc'SomeTypeRep{v r2RW} base:Data.Typeable.Internal.$tcSomeTypeRep{v r2Sy} base:Data.Typeable.Internal.$tc'TrTyCon{v r2SA} base:Data.Typeable.Internal.$tc'TrApp{v r2SO} base:Data.Typeable.Internal.$tc'TrFun{v r2T2} base:Data.Typeable.Internal.$tcTypeRep{v r2Tg} base:Data.Typeable.Internal.$fShowSomeTypeRep{v r2Ug} base:Data.Typeable.Internal.$fShowTypeRep{v r2Ul} base:Data.Typeable.Internal.$fOrdSomeTypeRep{v r2UJ} base:Data.Typeable.Internal.$fEqSomeTypeRep{v r2US} base:Data.Typeable.Internal.$fOrdTypeRep{v r2UX} base:Data.Typeable.Internal.$fTestEqualitykTypeRep{v r2Vf} base:Data.Typeable.Internal.$fEqTypeRep{v r2Vp} base:Data.Typeable.Internal.$tc'SomeKindedTypeRep{v r2VB} base:Data.Typeable.Internal.$tcSomeKindedTypeRep{v r2VW} base:Data.Typeable.Internal.$tcTypeable{v r2Wg} base:Data.Typeable.Internal.$tc'C:Typeable{v r2Wh} base:Data.Typeable.Internal.$tc'Gift{v r2Wm} base:Data.Typeable.Internal.$tcGift{v r2WP} base:Data.Typeable.Internal.$mKindRepTypeLit{v r3DI} base:Data.Typeable.Internal.$bKindRepTypeLit{v r3IP} base:Data.Typeable.Internal.$mCon'{v r3LL} base:Data.Typeable.Internal.$mCon{v r3Ns} base:Data.Typeable.Internal.$mApp{v r3NA} base:Data.Typeable.Internal.$bApp{v r3Oi} base:Data.Typeable.Internal.$mFun{v r3Om} base:Data.Typeable.Internal.$bFun{v r3Sq} base:Data.Typeable.Internal.$trModule{v r43m} rnfString_s573{v} typeOf_s5bk{v} $trModule_s5bF{v} $trModule_s5bH{v} $krep_s5bP{v} $krep_s5bQ{v} $tcTypeRep_s5bR{v} $tcTypeRep_s5bS{v} $krep_s5bT{v} $krep_s5bU{v} $krep_s5bV{v} $krep_s5bW{v} $krep_s5bX{v} $krep_s5bY{v} $krep_s5bZ{v} $krep_s5c0{v} $tc'TrApp_s5c1{v} $tc'TrApp_s5c2{v} $krep_s5c3{v} $krep_s5c4{v} $krep_s5c5{v} $krep_s5c6{v} $krep_s5c7{v} $krep_s5c8{v} $tc'TrFun_s5c9{v} $tc'TrFun_s5ca{v} $tcSomeTypeRep_s5cb{v} $tcSomeTypeRep_s5cc{v} $tc'SomeTypeRep_s5cd{v} $tc'SomeTypeRep_s5ce{v} $krep_s5cg{v} $tc'TrTyCon_s5ch{v} $tc'TrTyCon_s5ci{v} $tcSomeKindedTypeRep_s5cj{v} $tcSomeKindedTypeRep_s5ck{v} $krep_s5cl{v} $tc'SomeKindedTypeRep_s5cm{v} $tc'SomeKindedTypeRep_s5cn{v} $tcTypeable_s5co{v} $tcTypeable_s5cp{v} $tc'C:Typeable_s5cs{v} $tc'C:Typeable_s5ct{v} $tcGift_s5cu{v} $tcGift_s5cv{v} $krep_s5cw{v} $krep_s5cx{v} $krep_s5cy{v} $tc'Gift_s5cz{v} $tc'Gift_s5cA{v} $dTypeable_s5cC{v} $dTypeable_s5cE{v} $dTypeable_s5cG{v} $dTypeable_s5cI{v} $dTypeable_s5cK{v} $dTypeable_s5cM{v} $dTypeable_s5cO{v} $dTypeable_s5cQ{v} $dTypeable_s5cS{v} $dTypeable_s5cU{v} $dTypeable_s5cW{v} $dTypeable_s5cY{v} $dTypeable_s5d0{v} $dTypeable_s5d1{v} $dTypeable_s5gz{v} $dTypeable_s5gB{v} $dTypeable_s5gD{v} $dTypeable_s5gF{v} $dTypeable_s5gH{v} $dTypeable_s5gJ{v} $dTypeable_s5gL{v} $dTypeable_s5gN{v} $dTypeable_s5gP{v} $dTypeable_s5gR{v} $dTypeable_s5gT{v} $dTypeable_s5gV{v} $dTypeable_s5gX{v} $dTypeable_s5gZ{v} $dTypeable_s5h1{v} $dTypeable_s5h3{v} go{v s5pU} vars{v s5pY} lvl_s5rC{v} lvl_s5rD{v} lvl_s5rG{v} lvl_s5rJ{v} lvl_s5rM{v} lvl_s5rP{v} lvl_s5rR{v} lvl_s5rS{v} lvl_s5rT{v} lvl_s5rU{v} lvl_s5rV{v} lvl_s5rY{v} $dTypeable_s5s2{v} lvl_s5s3{v} lvl_s5s6{v} lvl_s5s7{v} lvl_s5sa{v} lvl_s5sb{v} lvl_s5sv{v} f_s5sz{v} lvl_s5sC{v} lvl_s5sH{v} f_s5sL{v} lvl_s5sM{v} lvl_s5sN{v} g_s5sP{v} lvl_s5sQ{v} f_s5sS{v} g_s5sU{v} lvl_s5sV{v} lvl_s5sW{v} lvl_s5sZ{v} lvl_s5t9{v} modl{v s5tj} lvl_s5tk{v} lvl_s5tl{v} lvl_s5tm{v} lvl_s5tv{v} lvl_s5tw{v} lvl_s5tx{v} lvl_s5tR{v} lvl_s5tS{v} lvl_s5tT{v} lvl_s5u6{v} lvl_s5un{v} lvl_s5uo{v} lvl_s5up{v} lvl_s5uq{v} lvl_s5ur{v} lvl_s5us{v} lvl_s5ut{v} lvl_s5uu{v} lvl_s5uv{v} $dTypeable_s5uK{v} lvl_s5uU{v} lvl_s5v8{v} lvl_s5v9{v} lvl_s5va{v} lvl_s5vb{v} lvl_s5vc{v} lvl_s5vg{v} lvl_s5wZ{v} kind_vars_s5x2{v} lvl_s5xf{v} $j_s5Da{v} lvl_s5Mo{v} lvl_s5Mp{v} lvl_s5Mq{v} lvl_s5Mr{v} lvl_s5Ms{v} kind_vars_s5MF{v} kind_vars_s5MG{v} lvl_s5MI{v} modl_s5Nw{v} lvl_s5OE{v} $wrnfModule{v s6s3} $wrnfTyCon{v s6sj} $wgo{v s6tn} $wtypeSymbolTypeRep{v s6uf} lvl_s6Qv{v} lvl_s6Qw{v} lvl_s6Qx{v} lvl_s6Qy{v} lvl_s6Qz{v} lvl_s6QA{v} lvl_s6QB{v} lvl_s6QC{v} lvl_s6QD{v} lvl_s6QF{v} lvl_s6QG{v} lvl_s6QI{v} lvl_s6QJ{v} lvl_s6QK{v} lvl_s6QL{v} lvl_s6QM{v} lvl_s6QN{v} lvl_s6QO{v} lvl_s6QP{v} lvl_s6QQ{v} lvl_s6QR{v} lvl_s6QS{v} lvl_s6QT{v} lvl_s6QU{v} lvl_s6QV{v} lvl_s6QW{v} lvl_s6QY{v} lvl_s6QZ{v} lvl_s6R0{v} lvl_s6R1{v} lvl_s6R2{v} lvl_s6Rb{v} lvl_s6Rd{v} lvl_s6Re{v} lvl_s6Rf{v} lvl_s6Rg{v} lvl_s6Rh{v} lvl_s6Ri{v} lvl_s6Rj{v} lvl_s6Rk{v} lvl_s6Rl{v} lvl_s6Rm{v} lvl_s6Rn{v} lvl_s6Ro{v} lvl_s6Rp{v} lvl_s6Rq{v} lvl_s6Rr{v} lvl_s6Rs{v} lvl_s6Rt{v} lvl_s6Ru{v} lvl_s6Rv{v} lvl_s6Rw{v} lvl_s6Rx{v} lvl_s6Ry{v} lvl_s6Rz{v} lvl_s6RA{v} lvl_s6RC{v} lvl_s6RD{v} lvl_s6RE{v} lvl_s6RG{v} lvl_s6RL{v} lvl_s6RM{v} lvl_s6RN{v} lvl_s6RO{v} lvl_s6RP{v} lvl_s6RQ{v} lvl_s6RR{v} lvl_s6RS{v} lvl_s6RT{v} lvl_s6RU{v} lvl_s6RV{v} lvl_s6RW{v} lvl_s6RX{v} lvl_s6RY{v} lvl_s6RZ{v} lvl_s6S0{v} lvl_s6S1{v} lvl_s6S2{v} lvl_s6S3{v} lvl_s6S4{v} lvl_s6S5{v} lvl_s6S6{v} lvl_s6S7{v} lvl_s6S8{v} lvl_s6S9{v} lvl_s6Sa{v} lvl_s6Sb{v} lvl_s6Sc{v} lvl_s6Sd{v} lvl_s6Se{v} lvl_s6Sf{v} lvl_s6Sg{v} lvl_s6Sh{v} lvl_s6Si{v} lvl_s6Sj{v} lvl_s6Sl{v} lvl_s6Sm{v} lvl_s6So{v} lvl_s6Sp{v} lvl_s6Sr{v} lvl_s6Ss{v} lvl_s6Su{v} lvl_s6Sv{v} lvl_s6Sx{v} lvl_s6Sy{v} lvl_s6SA{v} lvl_s6SB{v} lvl_s6SD{v} lvl_s6SE{v} lvl_s6SG{v} lvl_s6SH{v} lvl_s6SJ{v} lvl_s6SK{v} go{v s6SM} go{v s6SO} lvl_s6SR{v} wild_s6ST{v} ds_s6SU{v} ds_s6SV{v} ds_s6SW{v} ds_s6SX{v} nKindVars#{v s6SY} kindRep{v s6SZ} lvl_s6T8{v} lvl_s6Ta{v} $sgo{v s7lX} sc_s7lY{v} sc_s7lZ{v} sc_s7m0{v} sc_s7m1{v} sc_s7m3{v} sc_s7m5{v} $sgo{v s7m6} $s$wgo{v s7sR} $s$wgo{v s7sV} $stypeRepTyCon{v s7th} $stypeRepTyCon{v s7ti} $stypeRepTyCon{v s7tj} $srnfList{v s7tW}} Type env: [a403 :-> (a{tv a403} [tv] :: (k{tv a402} [tv] :: *)), a43r :-> (k1{tv a43r} [tv] :: (k{tv a43q} [tv] :: *)), a43t :-> (a{tv a43t} [tv] :: (k{tv a43s} [tv] :: *))] Co env: []] }}} This is with the following `build.mk`, {{{#!makefile BuildFlavour = dwarf ifneq "$(BuildFlavour)" "" include mk/flavours/$(BuildFlavour).mk endif GhcStage2HcOpts += -eventlog STRIP_CMD = : }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13658 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler