T6031: *** Core Lint errors : in result of Common sub-expression ***

{{{ $ make test TEST=T6031 WAY=optasm TEST_HC=ghc-7.11.20151225

1. ..

> T6031(optasm) 1 of 1 [0, 0, 0]

cd ./deriving/should_compile && "/opt/ghc/head/bin/ghc-head" --make T6031 -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn-tabs -fno-warn-missed-specialisations -fno-ghci-history -O -fasm -v0 > T6031.comp.stderr 2>&1 (closed) Compile failed (status 256) errors were:

• ** Core Lint errors : in result of Common sub-expression ***

<no location info>: warning:

\[in body of lambda with binder x_aSX	Empty\]
	No alternatives for a case scrutinee not known to diverge for sure: lvl_sUb

• ** Offending Program ***

lvl_sTZ :: [Char] [LclId, Str=DmdType] lvl_sTZ = unpackCString# "error"#

lvl_sU0 :: [Char] [LclId, Str=DmdType] lvl_sU0 = unpackCString# "main"#

lvl_sU1 :: [Char] [LclId, Str=DmdType] lvl_sU1 = unpackCString# "T6031"#

lvl_sU2 :: [Char] [LclId, Str=DmdType] lvl_sU2 = unpackCString# "T6031.hs"#

lvl_sU3 :: Int [LclId, Str=DmdType] lvl_sU3 = I# 7#

lvl_sU4 :: Int [LclId, Str=DmdType] lvl_sU4 = I# 1#

lvl_sU5 :: Int [LclId, Str=DmdType] lvl_sU5 = lvl_sU3

lvl_sU6 :: Int [LclId, Str=DmdType] lvl_sU6 = I# 29#

lvl_sU7 :: SrcLoc [LclId, Str=DmdType] lvl_sU7 =

SrcLoc lvl_sU0 lvl_sU1 lvl_sU2 lvl_sU3 lvl_sU4 lvl_sU3 lvl_sU6

lvl_sU8 :: ([Char], SrcLoc) [LclId, Str=DmdType] lvl_sU8 = (lvl_sTZ, lvl_sU7)

lvl_sU9 :: CallStack [LclId, Str=DmdType] lvl_sU9 = PushCallStack lvl_sU8 EmptyCallStack

lvl_sUa :: [Char] [LclId, Str=DmdType] lvl_sUa = unpackCString# "Void showsPrec"#

$cshowsPrec_aQD :: Int -> Empty -> ShowS [LclId, Str=DmdType b] $cshowsPrec_aQD =

error

@ 'Lifted

@ (Int -> Empty -> ShowS)

(lvl_sU9

cast (Sym (NTCo:IP[0] <"callStack">_N <CallStack>_N)

:: CallStack \~R\# (?callStack	CallStack)))
	lvl_sUa

lvl_sUb :: Empty -> ShowS [LclId, Str=DmdType] lvl_sUb = case $cshowsPrec_aQD of wild_00 { }

$cshowList_aQR :: [Empty] -> ShowS [LclId, Arity=2, Str=DmdType] $cshowList_aQR = showList__ @ Empty lvl_sUb

$cshow_aQN :: Empty -> String [LclId, Arity=1, Str=DmdType <B,A>b, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,

WorkFree=True, Expandable=True,

Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=False)

Tmpl= \ _ [Occ=Dead] -> case $cshowsPrec_aQD of _ [Occ=Dead] { }}]

$cshow_aQN = \ _ [Occ=Dead] -> case $cshowsPrec_aQD of wild_00 { }

$fShowEmpty [InlPrag=[ALWAYS] CONLIKE] :: Show Empty [LclIdX[DFunId], Str=DmdType m, Unf=DFun: \ ->

D:Show TYPE: Empty $cshowsPrec_aQD $cshow_aQN $cshowList_aQR]

$fShowEmpty =

D:Show @ Empty $cshowsPrec_aQD $cshow_aQN $cshowList_aQR

$sshows_sTu :: Empty -> String -> String [LclId, Str=DmdType b, Unf=Unf{Src=InlineStable, TopLvl=True, Value=False, ConLike=False,

WorkFree=True, Expandable=True,

Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=False)

Tmpl= case $cshowsPrec_aQD of _ [Occ=Dead] { }}]

$sshows_sTu = lvl_sUb

sdmshow_sTv :: Empty -> String [LclId, Arity=1, Str=DmdType <B,A>b, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,

WorkFree=True, Expandable=True,

Guidance=ALWAYS_IF(arity=-1,unsat_ok=True,boring_ok=False)

Tmpl= \ _ [Occ=Dead] -> case lvl_sUb of _ [Occ=Dead] { }}]

sdmshow_sTv = $cshow_aQN

a_sT8 :: TrName [LclId, Str=DmdType m1] a_sT8 = TrNameS "main"#

a_sT9 :: TrName [LclId, Str=DmdType m1] a_sT9 = TrNameS "T6031"#

$trModule :: Module [LclIdX[ReflectionId], Str=DmdType m] $trModule = Module a_sT8 a_sT9

• ** End of Offense ***

<no location info>: error: Compilation had errors

• ** unexpected failure for T6031(optasm)

Trac metadata

Trac field	Value
Version	7.11
Type	Bug
TypeOfFailure	OtherFailure
Priority	highest
Resolution	Unresolved
Component	Compiler
Test case	deriving/should_compile/T6031
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture