[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