Core lint error on head.hackage build
Failed to build indexed-traversable-0.1.2.
Build log (
/root/.cabal/logs/ghc-9.5.20221025/indexed-traversable-0.1.2-56538194d8061b94c8a7e878e750a45fd6ead46a1c292a93b9077c496947faaf.log
):
<snip>
*** Core Lint errors : in result of Specialise ***
src/WithIndex.hs:446:12: warning:
Out of scope: $dMonoid_s7n7 :: Monoid (Dual (Endo b_a4Nr))
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=True,
WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}]
In the RHS of $s$cifoldMap_s7nc :: forall {b} {a}.
([Int] -> a -> Dual (Endo b)) -> Tree a -> Dual (Endo b)
In the unfolding of $s$cifoldMap_s7nc :: forall {b} {a}.
([Int] -> a -> Dual (Endo b))
-> Tree a -> Dual (Endo b)
In the body of lambda with binder b_a4Nr :: *
In the body of lambda with binder a_a4Mv :: *
In the body of lambda with binder f_a30v :: [Int]
-> a_a4Mv -> Dual (Endo b_a4Nr)
In the body of lambda with binder ds_d6sS :: Tree a_a4Mv
In a case alternative: (Node a_a30w :: a_a4Mv,
as_a30x :: [Tree a_a4Mv])
In an occurrence of $dMonoid_s7n7 :: Monoid (Dual (Endo b_a4Nr))
Substitution: <InScope = {a_a4Mv b_a4Nr}
IdSubst = []
TvSubst = [a4Mv :-> a_a4Mv, a4Nr :-> b_a4Nr]
CvSubst = []>
*** Offending Program ***
<...16MiB of Core>