Core lint failure compiling rel8-1.4.1.0 with GHC 9.2/9.4
rel8-1.4.1.0 fails to compile with GHC 9.2 or 9.4 when -dcore-lint
is enabled
Doesn't seem to affect 9.6.
[125 of 139] Compiling Rel8.Generic.Rel8able ( src/Rel8/Generic/Rel8able.hs, /data/builds/head.hackage/rel8-1.4.1.0/dist-newstyle/build/x86_64-linux/ghc-9.4.5/rel8-1.4.1.0/build/Rel8/Generic/Rel8able.o, /data/builds/head.hackage/rel8-1.4.1.0/dist-newstyle/build/x86_64-linux/ghc-9.4.5/rel8-1.4.1.0/build/Rel8/Generic/Rel8able.dyn_o )
*** Core Lint errors : in result of TcGblEnv axioms ***
src/Rel8/Generic/Rel8able.hs:65:15: warning:
Incorrect incompatible branch: CoAxBranch (src/Rel8/Generic/Rel8able.hs:74:3-26): [*,
a_a9ar,
Identity
a_a9ar] => 'False
In the coercion axiom D:R:== :: {[(a_a9aq :: KRel8able)].
a_a9aq == a_a9aq
~_N
'True
[a_a9ar]. a_a9ar == Identity a_a9ar ~_N 'False
[k1_a9bx, k2_a9bp, (f_a9as :: k1_a9bx -> k2_a9bp),
(a_a9at :: k1_a9bx), (g_a9au :: k1_a9bx -> k2_a9bp),
(b_a9av :: k1_a9bx)].
f_a9as a_a9at == g_a9au b_a9av
~_N
(f_a9as == g_a9au) && (a_a9at == b_a9av)
[k_a9bB, (a_a9aw :: k_a9bB)]. a_a9aw == a_a9aw ~_N 'True
[k_a9bE, (_1_a9bG :: k_a9bE), (_2_a9bI :: k_a9bE)].
_1_a9bG == _2_a9bI
~_N
'False}
Substitution: [TCvSubst
In scope: InScope {}
Type env: []
Co env: []]
*** Offending Program ***
axiom D:R:== ::
a == a = 'True -- Defined at src/Rel8/Generic/Rel8able.hs:69:3
a == Identity a = 'False
-- Defined at src/Rel8/Generic/Rel8able.hs:74:3
forall {k1} {k2} {f :: k1 -> k2} {a :: k1} {g :: k1 -> k2}
{b :: k1}.
f a == g b = (f_a9as == g_a9au) && (a_a9at == b_a9av)
-- Defined at src/Rel8/Generic/Rel8able.hs:77:3
forall {k} {a :: k}.
a == a = 'True -- Defined at src/Rel8/Generic/Rel8able.hs:78:3
_ == _ = 'False -- Defined at src/Rel8/Generic/Rel8able.hs:79:3
axiom D:R:EvalTYPETSerialize ::
Eval (TSerialize expr a) = Serialize
(a_a9aB == Transpose Result expr_a9aA) expr_a9aA a_a9aB
-- Defined at src/Rel8/Generic/Rel8able.hs:112:15
*** End of Offense ***