[Git][ghc/ghc][master] users guide: Note that QuantifiedConstraints implies ExplicitForAll

[Marge Bot (@marge-bot)]

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


Commits:
955520c6 by Ben Gamari at 2023-11-21T18:33:34-05:00
users guide: Note that QuantifiedConstraints implies ExplicitForAll

Fixes #24025.

- - - - -


1 changed file:

- docs/users_guide/exts/quantified_constraints.rst


Changes:

=====================================
docs/users_guide/exts/quantified_constraints.rst
=====================================
@@ -6,6 +6,7 @@ Quantified constraints
 .. extension:: QuantifiedConstraints
     :shortdesc: Allow ``forall`` quantifiers in constraints.
 
+    :implies: :extension:`ExplicitForAll`
     :since: 8.6.1
 
     Allow constraints to quantify over types.



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/955520c6c4f07187b6d5e4770ecf681cc78374f2
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/20231121/2abc176f/attachment.html>