Skip to content

Add missing axiom exports for CharToNat/NatToChar

Vladislav Zavialov requested to merge wip/backport-9.2-chartonat-axiom into ghc-9.2

backport of !5420 (closed)

Merge request reports