[Git][ghc/ghc][wip/T23923-mikolaj-take-2] Docs tweak courtesy of Ben

[Mikolaj Konarski (@Mikolaj)]

Mikolaj Konarski pushed to branch wip/T23923-mikolaj-take-2 at Glasgow Haskell Compiler / GHC


Commits:
a549f643 by Ben Gamari at 2024-04-08T21:26:05+00:00
Docs tweak courtesy of Ben
- - - - -


1 changed file:

- docs/users_guide/9.12.1-notes.rst


Changes:

=====================================
docs/users_guide/9.12.1-notes.rst
=====================================
@@ -15,12 +15,12 @@ Language
 Compiler
 ~~~~~~~~
 
-- Constructor `PluginProv` of type `UnivCoProvenance`, relevant
-for typing plugins, gets an extra `DCoVarSet` argument.
+- Constructor ``PluginProv`` of type ``UnivCoProvenance``, relevant
+for typing plugins, gets an extra ``DCoVarSet`` argument.
 The argument is intended to contain the in-scope coercion variables
 that the the proof represented by the coercion makes use of.
-See Note [The importance of tracking free coercion variables]
-or :ref:`constraint-solving-with-plugins` or the migration guide.
+See ``Note [The importance of tracking free coercion variables]`` in ``GHC.Core.TyCo.Rep``,
+ :ref:`constraint-solving-with-plugins`, and the migration guide.
 
 
 GHCi



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/a549f6439673134fb609666cb8e85c73645c8586
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/20240408/85e13bba/attachment.html>