singletons-base assertion failures
See https://gitlab.haskell.org/ghc/head.hackage/-/jobs/1263130 from head.hackage
<no location info>: error:
panic! (the 'impossible' happened)
GHC version 9.5.20221214:
ASSERT failed!
:%|
[a_iyZ0, a1_iyZ1]
[n1_iyZ2, n2_iyZ3]
[a1_iyZ1 ~# (n1_iyZ2 ':| n2_iyZ3), Sing n1_iyZ2, Sing n2_iyZ3]
[TYPE: b_a1AFo,
TYPE: Apply
(Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_a1Ax8,
TYPE: n1_a1AzX, TYPE: n2_a1AzY, CO: co_a1AzZ, ds_d1Eby, ds_d1Ebz]
[TYPE: n1_a1AzX, TYPE: n2_a1AzY]
[CO: co_a1AzZ, ds_d1Eby, ds_d1Ebz]
Sub (Sym (D:R:SingNonEmpty[0]
<b_a1AFo>_N)) (D:R:Applyk3k2Lambda_6989586621679297343Sym2arg_69895866216792970096989586621679297345[0]
<NonEmpty a_a1AFn>_N
<NonEmpty b_a1AFo>_N
<a_a1AFn>_N
<t_a1AFp>_N
<t_a1AFq>_N
<n1_X6>_N
; D:R:Lambda_6989586621679297343[0]
<NonEmpty a_a1AFn>_N
<NonEmpty b_a1AFo>_N
<a_a1AFn>_N
<t_a1AFp>_N
<t_a1AFq>_N
<n1_X6>_N
; D:R:Case_6989586621679297346[0]
<a_a1AFn>_N
<NonEmpty a_a1AFn>_N
<NonEmpty b_a1AFo>_N
<a_a1AFn>_N
<n1_X6>_N
<n1_X6>_N
<t_a1AFp>_N
<t_a1AFq>_N)
; Sub (D:R:SingNonEmpty[0]
<b_a1AFo>_N) (Sym (D:R:Case_6989586621679297346[0]
<a_a1AFn>_N
<NonEmpty a_a1AFn>_N
<NonEmpty b_a1AFo>_N
<a_a1AFn>_N
<n1_i1ble>_N
<n1_i1ble>_N
<t_a1AFp>_N
<t_a1AFq>_N)
; Sym (D:R:Lambda_6989586621679297343[0]
<NonEmpty a_a1AFn>_N
<NonEmpty b_a1AFo>_N
<a_a1AFn>_N
<t_a1AFp>_N
<t_a1AFq>_N
<n1_i1ble>_N)
; Sym (D:R:Applyk3k2Lambda_6989586621679297343Sym2arg_69895866216792970096989586621679297345[0]
<NonEmpty a_a1AFn>_N
<NonEmpty b_a1AFo>_N
<a_a1AFn>_N
<t_a1AFp>_N
<t_a1AFq>_N
<n1_i1ble>_N))
SNonEmpty
(Apply (Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_X6)
SNonEmpty
(Apply (Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_i1ble)
SNonEmpty
SNonEmpty
(Apply (Lambda_6989586621679297343Sym2 t_a1AFp t_a1AFq) n1_a1Ax8)
Call stack:
CallStack (from HasCallStack):
assertPpr, called at compiler/GHC/Core/Opt/Arity.hs:2982:5 in ghc:GHC.Core.Opt.Arity
CallStack (from HasCallStack):
panic, called at compiler/GHC/Utils/Error.hs:454:29 in ghc:GHC.Utils.Error
Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug
which arises from this assertion in Core.Opt.Arity
.
assertPpr (eqType from_ty (mkTyConApp to_tc (map exprToType $ takeList dc_univ_tyvars dc_args))) dump_doc $
assertPpr (equalLength val_args arg_tys) dump_doc $
Just (dc, to_tc_arg_tys, to_ex_args ++ new_val_args)