[Git][ghc/ghc][wip/T24978] Wibbles

Simon Peyton Jones (@simonpj) gitlab at gitlab.haskell.org
Tue Jun 25 22:01:57 UTC 2024



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


Commits:
d7c811bc by Simon Peyton Jones at 2024-06-25T22:52:35+01:00
Wibbles

- - - - -


1 changed file:

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


Changes:

=====================================
compiler/GHC/Builtin/Types/Literals.hs
=====================================
@@ -1128,7 +1128,7 @@ mkTopBinFamDeduction :: String -> TyCon
 mkTopBinFamDeduction str fam_tc f
   = CoAxiomRule
     { coaxrName      = fsLit str
-    , coaxrAsmpRoles = [Nominal, Nominal]
+    , coaxrAsmpRoles = [Nominal]
     , coaxrRole      = Nominal
     , coaxrProves    = \cs -> do { [Pair lhs rhs] <- return cs
                                  ; (tc, [a,b]) <- splitTyConApp_maybe lhs



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/d7c811bc87f47f4b35cb8161c9987e6e24593d19
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/20240625/f9ccea64/attachment-0001.html>


More information about the ghc-commits mailing list