[Git][ghc/ghc][wip/T25647] Add forall quantifiers to MultMul type family for clarity

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
0ee138ae by Patrick at 2025-03-09T01:45:20+08:00
Add forall quantifiers to MultMul type family for clarity

- - - - -


1 changed file:

- libraries/ghc-internal/src/GHC/Internal/Types.hs


Changes:

=====================================
libraries/ghc-internal/src/GHC/Internal/Types.hs
=====================================
@@ -261,10 +261,10 @@ type ZeroBitType = TYPE ZeroBitRep
 data Multiplicity = Many | One
 
 type family MultMul (a :: Multiplicity) (b :: Multiplicity) :: Multiplicity where
-  MultMul 'One x = x
-  MultMul x 'One = x
-  MultMul 'Many x = 'Many
-  MultMul x 'Many = 'Many
+  forall x. MultMul 'One x = x
+  forall x. MultMul x 'One = x
+  forall x. MultMul 'Many x = 'Many
+  forall x. MultMul x 'Many = 'Many
 
 {- *********************************************************************
 *                                                                      *



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/0ee138aeddc7423808660c19134a28ad9aa647d4
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/20250308/e2a3c2d9/attachment-0001.html>