Skip to content

break006 fails in validate build

This breakage is introduced with !1869 (closed) (not yet merged), but I think !1869 (closed) does not the root cause of the failure, instead the changes in Core after !1869 (closed) reveals one of the many bugs in RtClosureInspect (which is known to be very buggy).

Panic (with call stack) 
<interactive>: panic! (the 'impossible' happened)
  (GHC version 8.11.0.20200212:
	ASSERT failed!
  in_scope InScope {wild_00}
  tenv [alJ :-> 'LiftedRep, alK :-> 'LiftedRep, alL :-> a_I17l[rt],
        alM :-> ()]
  tenvFVs {a_I17l[rt]}
  cenv []
  cenvFVs {}
  tys [q_alJ]
  cos []
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1187:37 in ghc:Outputable
        pprPanic, called at compiler/utils/Outputable.hs:1257:5 in ghc:Outputable
        assertPprPanic, called at compiler/types/TyCoSubst.hs:629:56 in ghc:TyCoSubst
        checkValidSubst, called at compiler/types/TyCoSubst.hs:661:29 in ghc:TyCoSubst
        substTy, called at compiler/simplCore/SimplEnv.hs:904:18 in ghc:SimplEnv
        substTy, called at compiler/simplCore/Simplify.hs:1045:14 in ghc:Simplify
        simplType, called at compiler/simplCore/Simplify.hs:911:31 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:951:5 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:1372:5 in ghc:Simplify
        simplLam, called at compiler/simplCore/Simplify.hs:1468:10 in ghc:Simplify
        simplNonRecE, called at compiler/simplCore/Simplify.hs:1389:11 in ghc:Simplify
        simplLam, called at compiler/simplCore/Simplify.hs:1376:10 in ghc:Simplify
        simplLam, called at compiler/simplCore/Simplify.hs:1376:10 in ghc:Simplify
        simplLam, called at compiler/simplCore/Simplify.hs:1376:10 in ghc:Simplify
        simplLam, called at compiler/simplCore/Simplify.hs:1376:10 in ghc:Simplify
        simplLam, called at compiler/simplCore/Simplify.hs:928:5 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:1782:10 in ghc:Simplify
        completeCall, called at compiler/simplCore/Simplify.hs:1759:22 in ghc:Simplify
        simplIdF, called at compiler/simplCore/Simplify.hs:900:61 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:918:23 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:918:23 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:918:23 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:918:23 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:922:18 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:868:30 in ghc:Simplify
        simplExprC, called at compiler/simplCore/Simplify.hs:1893:19 in ghc:Simplify
        rebuildCall, called at compiler/simplCore/Simplify.hs:1871:5 in ghc:Simplify
        rebuildCall, called at compiler/simplCore/Simplify.hs:1789:10 in ghc:Simplify
        completeCall, called at compiler/simplCore/Simplify.hs:1759:22 in ghc:Simplify
        simplIdF, called at compiler/simplCore/Simplify.hs:900:61 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:918:23 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:922:18 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:922:18 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:868:30 in ghc:Simplify
        simplExprC, called at compiler/simplCore/Simplify.hs:1893:19 in ghc:Simplify
        rebuildCall, called at compiler/simplCore/Simplify.hs:1871:5 in ghc:Simplify
        rebuildCall, called at compiler/simplCore/Simplify.hs:1789:10 in ghc:Simplify
        completeCall, called at compiler/simplCore/Simplify.hs:1759:22 in ghc:Simplify
        simplIdF, called at compiler/simplCore/Simplify.hs:900:61 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:918:23 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:922:18 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:1372:5 in ghc:Simplify
        simplLam, called at compiler/simplCore/Simplify.hs:1468:10 in ghc:Simplify
        simplNonRecE, called at compiler/simplCore/Simplify.hs:973:31 in ghc:Simplify
        simplExprF1, called at compiler/simplCore/Simplify.hs:889:5 in ghc:Simplify
        simplExprF, called at compiler/simplCore/Simplify.hs:868:30 in ghc:Simplify
        simplExprC, called at compiler/simplCore/Simplify.hs:854:5 in ghc:Simplify
        simplExpr, called at compiler/simplCore/SimplCore.hs:610:14 in ghc:SimplCore
        simplExprGently, called at compiler/simplCore/SimplCore.hs:577:30 in ghc:SimplCore
        simplifyExpr, called at compiler/main/HscMain.hs:1898:26 in ghc:HscMain
        hscCompileCoreExpr', called at compiler/main/HscMain.hs:1891:37 in ghc:HscMain
        hscCompileCoreExpr, called at compiler/main/HscMain.hs:1670:20 in ghc:HscMain
        hscParsedStmt, called at compiler/GHC/Runtime/Eval.hs:216:19 in ghc:GHC.Runtime.Eval

Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

(GHC.Runtime.Eval is the new name of RtClosureInspect after the module renaming work)

In !1869 (closed) we'll be marking this test as broken, referencing this issue.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information