Panic (ASSERT failed) in compiler/types/TyCoRep.hs:1939
This happens when trying to update the transformers submodule to 0.5.2.0 (see wip/transformers-0.5.2-branch), then during validate the following panic occurs:
"inplace/bin/ghc-stage1" -hisuf dyn_hi -osuf dyn_o -hcsuf dyn_hc -fPIC -dynamic -O0 -H64m -Wall -fllvm-fill-undef-with-garbage -Werror -hide-all-packages -i -ighc/. -ighc/stage2/build -ighc/stage2/build/autogen -Ighc/stage2/build -Ighc/stage2/build/autogen -optP-DGHCI -optP-include -optPghc/stage2/build/autogen/cabal_macros.h -package-id array-0.5.1.0 -package-id base-4.9.0.0 -package-id bytestring-0.10.7.0 -package-id containers-0.5.7.1 -package-id deepseq-1.4.2.0 -package-id directory-1.2.5.1 -package-id filepath-1.4.1.0 -package-id ghc-8.1 -package-id ghc-boot-8.1 -package-id ghci-8.1 -package-id haskeline-0.7.2.2 -package-id process-1.4.2.0 -package-id time-1.6 -package-id transformers-0.5.2.0 -package-id unix-2.7.2.0 -Wall -fno-warn-name-shadowing -XHaskell2010 -O -dcore-lint -no-hs-main -threaded -no-user-package-db -rtsopts -Wnoncanonical-monad-instances -odir ghc/stage2/build -hidir ghc/stage2/build -stubdir ghc/stage2/build -c ghc/./GHCi/UI.hs -o ghc/stage2/build/GHCi/UI.dyn_o
WARNING: file compiler/specialise/Specialise.hs, line 1173
Missed specialisation opportunity for $fMonadIOExceptT_$cliftIO
[] 2 [] 1 [ALWAYS]
WARNING: file compiler/specialise/Specialise.hs, line 1173
Missed specialisation opportunity for $w$c<*>
[] 2 [] 1 [0]
ghc-stage1: panic! (the 'impossible' happened)
(GHC version 8.1.20160218 for x86_64-unknown-linux):
ASSERT failed!
file compiler/types/TyCoRep.hs line 1939
in_scope InScope {fromTarget_aiKD pprTT_aj4s pp_resume_aj4J
opts_ajdx flagList_ajdy $dMonad_anX0 $dOrd_areH $dEq_as40
$dRead_as5N $dEq_aswW $dMonadIO_at39 $dApplicative_atce $dShow_atnW
$dMonad_ats4 $dFunctor_atsk $dNFData_awOZ $dEq_azf8 $dFunctor_azfb
$dHasGhciState_azfd $dNFData_aAFw $trModule availableCommands
shortHelpText fullHelpText defPrompt defPrompt2 defaultGhciSettings
ghciWelcomeMsg ghciCommands word_break_chars specials spaces
flagWordBreakChars keepGoing keepGoing' keepGoingPaths
defShortHelpText defFullHelpText findEditor default_progname
default_prompt default_prompt2 interactiveUI
resetLastErrorLocations withGhcAppData runGHCiInput
checkFileAndDirPerms checkPerms incrementLineNo fileLoop mkPrompt
queryQueue installInteractivePrint runCommands runCommands'
runOneCommand checkInputForLayout enqueueCommands runStmt
afterRunStmt runSuccess runAllocs printTypeOfNames compareNames
printTypeOfName lookupCommand' getCurrentBreakSpan
getCurrentBreakModule noArgs withSandboxOnly help info
filterOutChildren pprInfo doWithArgs changeDirectory trySuccess
chooseEditFile defineMacro getGhciStepIO deferredLoad loadModule
loadModule_ reloadModule doLoadAndCollectInfo afterLoad
setContextAfterLoad setContextKeepingPackageModules
keepPackageImports runExceptGhcMonad exceptT parseSpanArg
showSrcSpan showRealSrcSpan kindOfType isSafeModule browseCmd
guessCurrentModule browseModule addModulesToContext
addModulesToContext_ remModulesFromContext setContext addII
restoreContextOnFailure checkAdd setGHCContextFromGHCiState
mkIIDecl iiModules iiModuleName preludeModuleName
implicitPreludeImport isPreludeImport iiSubsumes showOptions
showDynFlags setArgs setProg setEditor setStop setPrompt setPrompt2
setPrompt_ packageFlagsChanged newDynFlags isMinus isPlus setOpt
unsetOpt strToGHCiOpt showImports showModules getLoadedModules
showBindings showBkptTable showContext pprStopped showPackages
showPaths showLanguages showiLanguages showLanguages'
ghciCompleteWord completeGhciCommand completeIdentifier
completeModule listHomeModules completeSetOptions
completeHomeModuleOrFile wrapCompleter wrapIdentCompleter
completeExpression pprintCommand stepCmd leftmostLargestRealSrcSpan
doContinue bold breakSwitch breakByModuleLine breakSyntax
findBreakAndSet findBreakByCoord do_bold start_bold end_bold
listModuleLine listAround getTickArray discardTickArrays
discardActiveBreakPoints turnOffBreak getModBreak handler
showException ghciHandle tryBool lookupModule lookupModuleName
expandPath expandPathIO wantInterpretedModule
wantInterpretedModuleName wantNameFromInterpretedModule
$tc'GhciSettings $tcGhciSettings $tc'GotCommand $tc'BadCommand
$tc'NoLastCommand $tcMaybeCommand a_sKa7 a_sKa8 a_sKa9 a_sKaa
a_sKag a_sKah a_sKai a_sKaj a_sKdg a_sKrw a_sKvG a_sKvH a_sKvI
a_sKwn a_sKwo a_sKws a_sKwt a_sKxU a_sKxV a_sKy8 a_sKy9 a_sKyg
a_sKyh a_sKyk a_sKyl a_sKyV a_sKAe a_sKAk a_sKAl a_sKAm a_sKAn
a_sKAo a_sKAp a_sKAq a_sKAr a_sKAs a_sKAt a_sKAu a_sKD4 a_sKEx
a_sKEy a_sKEz a_sKEA a_sKEB a_sKEC a_sKF1 a_sKF2 a_sKFj a_sKFk
a_sKFm a_sKFn a_sKMd a_sKMe a_sKMf a_sKMg a_sKMh a_sKOX a_sKQx
a_sKQy a_sKTg a_sKWr a_sKWs a_sKWt a_sLrp a_sLrs a_sLrB a_sLs3
a_sLs5 a_sLsd a_sLsV a_sLtg a_sLtY a_sLv2 a_sLv7 a_sLvB a_sLvF
a_sLvP a_sLvT a_sLwI}
tenv [alhH :-> InputT GHCi, alhI :-> e_alhI]
tenvFVs [alhI :-> e_alhI]
cenv []
cenvFVs []
tys []
cos [forall (a17_aDzt :: <*>_N).
<String>_R
-> Sym (N:ExceptT[0] <e_alhI>_N <m_alhH>_R <a17_aDzt>_N)]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
ghc/ghc.mk:112: recipe for target 'ghc/stage2/build/GHCi/UI.dyn_o' failedTrac metadata
| Trac field | Value |
|---|---|
| Version | 8.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | highest |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |