[GHC] #11600: Panic (ASSERT failed) in compiler/types/TyCoRep.hs:1939
GHC
ghc-devs at haskell.org
Thu Feb 18 10:38:37 UTC 2016
#11600: Panic (ASSERT failed) in compiler/types/TyCoRep.hs:1939
-------------------------------------+-------------------------------------
Reporter: hvr | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 8.0.1
Component: Compiler | Version: 8.1
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Compile-time
Unknown/Multiple | crash
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
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' failed
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11600>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list