[Git][ghc/ghc][master] Fix documentation around extension implication for MultiParamTypeClasses/ConstrainedClassMethods.

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
a1f0d55c by Felix Leitz at 2023-09-08T20:00:37-04:00
Fix documentation around extension implication for MultiParamTypeClasses/ConstrainedClassMethods.

- - - - -


2 changed files:

- docs/users_guide/exts/constrained_class_methods.rst
- docs/users_guide/exts/multi_param_type_classes.rst


Changes:

=====================================
docs/users_guide/exts/constrained_class_methods.rst
=====================================
@@ -5,11 +5,14 @@ Constrained class method types
 
 .. extension:: ConstrainedClassMethods
     :shortdesc: Enable constrained class methods.
+        Implied by :extension:`MultiParamTypeClasses`.
 
     :since: 6.8.1
 
     :status: Included in :extension:`GHC2021`
 
+    :implied by: :extension:`MultiParamTypeClasses`
+
     Allows the definition of further constraints on individual class methods.
 
 Haskell 98 prohibits class method types to mention constraints on the


=====================================
docs/users_guide/exts/multi_param_type_classes.rst
=====================================
@@ -6,6 +6,7 @@ Multi-parameter type classes
 .. extension:: MultiParamTypeClasses
     :shortdesc: Enable multi parameter type classes.
          Implied by :extension:`FunctionalDependencies`.
+         Implies :extension:`ConstrainedClassMethods`.
 
     :implies: :extension:`ConstrainedClassMethods`
     :implied by: :extension:`FunctionalDependencies`



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

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