slow validate failure: T7931 core lint error hpc
Reproduce with
hadrian/build test --freeze1 --docs=none --flavour=slow-validate --test-speed=slow --only="T7931"
Looks like something needs to look through ticks.
[1 of 2] Compiling Main ( T7931.hs, T7931.o )
*** Core Lint errors : in result of Simplifier ***
<no location info>: warning:
idArity 2 exceeds arity imposed by the strictness signature <S>b: lvl_s1SM
In the RHS of lvl_s1SM :: A -> ShowS
Substitution: <InScope = {}
IdSubst = []
TvSubst = []
CvSubst = []>
*** Offending Program ***
$creadPrec_sXC :: Prec -> forall b. (A -> P b) -> P b
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 0 60}]
$creadPrec_sXC = (hpc<Main,9> $fAlternativeReadPrec4) @A
$creadListPrec_aTs :: ReadPrec [A]
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
$creadListPrec_aTs
= hpc<Main,10>
list
@A
($creadPrec_sXC
`cast` (<Prec>_R %<'Many>_N ->_R Sym (N:ReadP[0] <A>_R)
; Sym (N:ReadPrec[0] <A>_R)
:: (Prec -> forall b. (A -> P b) -> P b) ~R# ReadPrec A))
$creadList_s11Z :: P [A]
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 30 0}]
$creadList_s11Z
= ((($creadListPrec_aTs
`cast` (N:ReadPrec[0] <[A]>_R
:: ReadPrec [A] ~R# (Prec -> ReadP [A])))
$fRead()7)
`cast` (N:ReadP[0] <[A]>_R
:: ReadP [A] ~R# (forall b. ([A] -> P b) -> P b)))
@[A] ($fApplicativeP_$cpure @[A])
$creadList_aSt :: ReadS [A]
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 60}]
$creadList_aSt = hpc<Main,8> run @[A] $creadList_s11Z
$creadsPrec_aSl :: Int -> ReadS A
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 60 60}]
$creadsPrec_aSl
= hpc<Main,7>
\ (eta_aXk :: Int) ->
run @A ($creadPrec_sXC eta_aXk @A ($fApplicativeP_$cpure @A))
$fReadA [InlPrag=CONLIKE] :: Read A
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Read TYPE: A
$creadsPrec_aSl
$creadList_aSt
$creadPrec_sXC
`cast` (<Prec>_R %<'Many>_N ->_R Sym (N:ReadP[0] <A>_R)
; Sym (N:ReadPrec[0] <A>_R)
:: (Prec -> forall b. (A -> P b) -> P b) ~R# ReadPrec A)
$creadListPrec_aTs]
$fReadA
= C:Read
@A
$creadsPrec_aSl
$creadList_aSt
($creadPrec_sXC
`cast` (<Prec>_R %<'Many>_N ->_R Sym (N:ReadP[0] <A>_R)
; Sym (N:ReadPrec[0] <A>_R)
:: (Prec -> forall b. (A -> P b) -> P b) ~R# ReadPrec A))
$creadListPrec_aTs
$sreadEither_s1SI [InlPrag=[2]] :: String -> Either String [A]
[LclId,
Arity=1,
Str=<L>,
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= \ (s_a1Sz [Occ=Once1] :: String) ->
case readEither8
@[A]
(run
@[A]
(((($creadListPrec_aTs
`cast` (N:ReadPrec[0] <[A]>_R
:: ReadPrec [A] ~R# (Prec -> ReadP [A])))
minPrec)
`cast` (N:ReadP[0] <[A]>_R
:: ReadP [A] ~R# (forall b. ([A] -> P b) -> P b)))
@[A] (readEither7 @[A]))
s_a1Sz)
of {
[] -> readEither4 @[A];
: x_a1T1 [Occ=Once1] ds_a1T2 [Occ=Once1!] ->
case ds_a1T2 of {
[] -> Right @String @[A] x_a1T1;
: _ [Occ=Dead] _ [Occ=Dead] -> readEither1 @[A]
}
}}]
$sreadEither_s1SI
= \ (s_a1Sz :: String) ->
case readEither8
@[A]
(run
@[A]
(((($creadListPrec_aTs
`cast` (N:ReadPrec[0] <[A]>_R
:: ReadPrec [A] ~R# (Prec -> ReadP [A])))
minPrec)
`cast` (N:ReadP[0] <[A]>_R
:: ReadP [A] ~R# (forall b. ([A] -> P b) -> P b)))
@[A] (readEither7 @[A]))
s_a1Sz)
of {
[] -> readEither4 @[A];
: x_a1T1 [Dmd=S] ds_a1T2 [Dmd=S] ->
case ds_a1T2 of {
[] -> Right @String @[A] x_a1T1;
: ipv_a1T8 [Dmd=B] ipv1_a1T9 [Dmd=B] -> readEither1 @[A]
}
}
$cshowsPrec_aPA :: Int -> A -> ShowS
[LclId,
Arity=2,
Str=<B><S>b,
Cpr=b,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=True)
Tmpl= \ _ [Occ=Dead, Dmd=B] (z_aOX [Occ=Once1, Dmd=S] :: A) ->
hpc<Main,4> case z_aOX of { }}]
$cshowsPrec_aPA
= \ _ [Occ=Dead, Dmd=B] (z_aOX [Dmd=S] :: A) ->
hpc<Main,4> case z_aOX of { }
lvl_s1SM :: A -> ShowS
[LclId,
Arity=2,
Str=<S>b,
Cpr=b,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=True)}]
lvl_s1SM
= \ (z_aOX [Dmd=S] :: A) (eta_B0 [OS=OneShot] :: String) ->
hpc<Main,4> case z_aOX of { }
$cshowList_aPQ :: [A] -> ShowS
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 60 60}]
$cshowList_aPQ
= hpc<Main,6>
\ (ls_aXp :: [A]) (s_aXq :: String) ->
showList__ @A lvl_s1SM ls_aXp s_aXq
$cshow_aPI :: A -> String
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 10 60}]
$cshow_aPI
= hpc<Main,5>
\ (x_aXu [Dmd=S] :: A) -> hpc<Main,4> case x_aXu of { }
$fShowA [InlPrag=CONLIKE] :: Show A
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Show TYPE: A $cshowsPrec_aPA $cshow_aPI $cshowList_aPQ]
$fShowA = C:Show @A $cshowsPrec_aPA $cshow_aPI $cshowList_aPQ
main_s1bm :: State# RealWorld -> (# State# RealWorld, () #)
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 270 0}]
main_s1bm
= hpc<Main,3>
hpc<Main,2>
\ (eta_a12m [OS=OneShot] :: State# RealWorld) ->
hPutStr2
stdout
($cshowList_aPQ
(hpc<Main,1>
case readEither8
@[A]
(run
@[A]
(((($creadListPrec_aTs
`cast` (N:ReadPrec[0] <[A]>_R
:: ReadPrec [A] ~R# (Prec -> ReadP [A])))
minPrec)
`cast` (N:ReadP[0] <[A]>_R
:: ReadP [A] ~R# (forall b. ([A] -> P b) -> P b)))
@[A] (readEither7 @[A]))
(hpc<Main,0> unpackCString# "[]"#))
of {
[] -> errorWithoutStackTrace @LiftedRep @[A] readEither5;
: x_a1T1 [Dmd=S] ds_a1T2 [Dmd=S] ->
case ds_a1T2 of {
[] -> x_a1T1;
: ipv_a1T8 [Dmd=B] ipv1_a1T9 [Dmd=B] ->
errorWithoutStackTrace @LiftedRep @[A] readEither2
}
})
([] @Char))
True
eta_a12m
main :: IO ()
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
main
= main_s1bm
`cast` (Sym (N:IO[0] <()>_R)
:: (State# RealWorld -> (# State# RealWorld, () #)) ~R# IO ())
main_s1Sq :: State# RealWorld -> (# State# RealWorld, () #)
[LclId,
Arity=1,
Str=<L>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 60}]
main_s1Sq
= runMainIO1
@()
(main_s1bm
`cast` (Sym (N:IO[0] <()>_R)
:: (State# RealWorld -> (# State# RealWorld, () #)) ~R# IO ()))
main :: IO ()
[LclIdX,
Arity=1,
Str=<L>,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
main
= main_s1Sq
`cast` (Sym (N:IO[0] <()>_R)
:: (State# RealWorld -> (# State# RealWorld, () #)) ~R# IO ())
$trModule_s1Sr :: Addr#
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
$trModule_s1Sr = "main"#
$trModule_s1Ss :: TrName
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}]
$trModule_s1Ss = TrNameS $trModule_s1Sr
$trModule_s1St :: Addr#
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
$trModule_s1St = "Main"#
$trModule_s1Su :: TrName
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}]
$trModule_s1Su = TrNameS $trModule_s1St
$trModule :: Module
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}]
$trModule = Module $trModule_s1Ss $trModule_s1Su
$tcA_s1Sv :: Addr#
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
$tcA_s1Sv = "A"#
$tcA_s1Sw :: TrName
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}]
$tcA_s1Sw = TrNameS $tcA_s1Sv
$tcA :: TyCon
[LclIdX,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}]
$tcA
= TyCon
16201120719427956884##64
13080046616073797921##64
$trModule
$tcA_s1Sw
0#
krep$*
*** End of Offense ***
<no location info>: error:
Compilation had errors
<no location info>: error: ExitFailure 1
*** unexpected failure for T7931(hpc)