summaryrefslogtreecommitdiff
path: root/compiler/GHC
diff options
context:
space:
mode:
authorVladislav Zavialov <vlad.z.4096@gmail.com>2021-03-31 07:17:00 +0300
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-04-01 08:22:06 -0400
commitd44e42a26e54857cc6174f2bb7dc86cc41fcd249 (patch)
treeedd79c2c65d1533614c3e002bb1a58cfeb192cac /compiler/GHC
parent65c50d8d289f7d3bb6601b238f094c0da92a1d22 (diff)
downloadhaskell-d44e42a26e54857cc6174f2bb7dc86cc41fcd249.tar.gz
Add missing axiom exports for CharToNat/NatToChar
When the CharToNat and NatToChar type families were added, the corresponding axioms were not exported. This led to a failure much like #14934
Diffstat (limited to 'compiler/GHC')
-rw-r--r--compiler/GHC/Builtin/Types/Literals.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/GHC/Builtin/Types/Literals.hs b/compiler/GHC/Builtin/Types/Literals.hs
index 19dcba7116..273d084c96 100644
--- a/compiler/GHC/Builtin/Types/Literals.hs
+++ b/compiler/GHC/Builtin/Types/Literals.hs
@@ -541,6 +541,8 @@ typeNatCoAxiomRules = listToUFM $ map (\x -> (coaxrName x, x))
, axAppendSymbolDef
, axConsSymbolDef
, axUnconsSymbolDef
+ , axCharToNatDef
+ , axNatToCharDef
, axAdd0L
, axAdd0R
, axMul0L