[Git][ghc/ghc][wip/T24978] Wibble

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T24978 at Glasgow Haskell Compiler / GHC


Commits:
7b8f4ca1 by Simon Peyton Jones at 2024-06-26T23:16:26+01:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Builtin/Types/Literals.hs


Changes:

=====================================
compiler/GHC/Builtin/Types/Literals.hs
=====================================
@@ -840,7 +840,7 @@ matchFamNatToChar _ = Nothing
 axNatToCharTops :: [CoAxiomRule]
 axNatToCharTops
   = [ -- (NatToChar n ~ 'z') => (n ~ 122)
-      mkTopUnaryFamDeduction "CharToNatT1" typeCharToNatTyCon $ \n r ->
+      mkTopUnaryFamDeduction "CharToNatT1" typeNatToCharTyCon $ \n r ->
       do { c <- isCharLitTy r; return (Pair n (mkNumLitTy (charToInteger c))) } ]
 
 {-------------------------------------------------------------------------------



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7b8f4ca11e5ef259543c60caeb061f0ed99a7b97

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7b8f4ca11e5ef259543c60caeb061f0ed99a7b97
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240626/3e7c52f5/attachment.html>