ghc: panic! (the 'impossible' happened)
(GHC version 9.0.2:
Categorifier failed to categorify the following expression:
\ (ds_dIjG :: (F_BN128, F_BN128)) ->
case ds_dIjG of { (x, y) ->
let {
x_sIkK
:: Prime
21888242871839275222246405745257275088548364400416034343698204186575808495617
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 350 0}]
x_sIkK
= let {
$dKnownNat_sIkE :: Natural
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
$dKnownNat_sIkE
= 21888242871839275222246405745257275088548364400416034343698204186575808495617 } in
let {
$dNum_aIiq :: Num F_BN128
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=True,
WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}]
$dNum_aIiq
= $fNumPrime
@21888242871839275222246405745257275088548364400416034343698204186575808495617
($dKnownNat_sIkE
`cast` (Sym (N:SNat[0]
<21888242871839275222246405745257275088548364400416034343698204186575808495617>_P) ; Sym (N:KnownNat[0]) <21888242871839275222246405745257275088548364400416034343698204186575808495617>_N
:: Coercible
Natural
(KnownNat
21888242871839275222246405745257275088548364400416034343698204186575808495617))) } in
- @F_BN128
$dNum_aIiq
(+ @F_BN128 $dNum_aIiq x (fromInteger @F_BN128 $dNum_aIiq 7))
y } in
let {
y_sIkL
:: Prime
21888242871839275222246405745257275088548364400416034343698204186575808495617
[LclId,
Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 130 0}]
y_sIkL = fromInteger @F_BN128 $dNum_aIhK 0 } in
case case x_sIkK
`cast` (N:Prime[0] <21888242871839275222246405745257275088548364400416034343698204186575808495617>_N ; N:Mod[0]
<21888242871839275222246405745257275088548364400416034343698204186575808495617>_P
:: Coercible
(Prime
21888242871839275222246405745257275088548364400416034343698204186575808495617)
Natural)
of x1
{ __DEFAULT ->
case y_sIkL
`cast` (N:Prime[0] <21888242871839275222246405745257275088548364400416034343698204186575808495617>_N ; N:Mod[0]
<21888242871839275222246405745257275088548364400416034343698204186575808495617>_P
:: Coercible
(Prime
21888242871839275222246405745257275088548364400416034343698204186575808495617)
Natural)
of y1
{ __DEFAULT ->
case naturalEq# x1 y1 of wild { __DEFAULT ->
tagToEnum# @Bool wild
}
}
}
of {
False -> fromInteger @F_BN128 $dNum_aIhK 0;
True -> fromInteger @F_BN128 $dNum_aIhK 42
}
}
- The Categorifier plugin was unable to inline naturalEq#