[Git][ghc/ghc][master] 2 commits: Use consistent capitalization for "GHC Proposal" in user guide
Marge Bot (@marge-bot)
gitlab at gitlab.haskell.org
Wed Dec 4 23:38:12 UTC 2024
Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
b69a7f3c by David Binder at 2024-12-04T18:37:42-05:00
Use consistent capitalization for "GHC Proposal" in user guide
- - - - -
18d9500d by David Binder at 2024-12-04T18:37:42-05:00
Fix reference to GHC proposal 193 in user guide
- - - - -
7 changed files:
- docs/users_guide/exts/primitives.rst
- docs/users_guide/exts/rewrite_rules.rst
- docs/users_guide/exts/stolen_syntax.rst
- docs/users_guide/exts/strict.rst
- docs/users_guide/runtime_control.rst
- docs/users_guide/using-warnings.rst
- docs/users_guide/using.rst
Changes:
=====================================
docs/users_guide/exts/primitives.rst
=====================================
@@ -322,7 +322,7 @@ Unlifted Newtypes
Enable the use of newtypes over types with non-lifted runtime representations.
GHC implements an :extension:`UnliftedNewtypes` extension as specified in
-`the GHC proposal #98 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst>`_.
+`the GHC Proposal #98 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0098-unlifted-newtypes.rst>`_.
:extension:`UnliftedNewtypes` relaxes the restrictions around what types can appear inside
of a ``newtype``. For example, the type ::
@@ -397,7 +397,7 @@ Unlifted Datatypes
result kind.
GHC implements the :extension:`UnliftedDatatypes` extension as specified in
-`the GHC proposal #265 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-datatypes.rst>`_.
+`the GHC Proposal #265 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0265-unlifted-datatypes.rst>`_.
:extension:`UnliftedDatatypes` relaxes the restrictions around what result kinds
are allowed in data declarations. For example, the type ::
=====================================
docs/users_guide/exts/rewrite_rules.rst
=====================================
@@ -229,7 +229,7 @@ From a semantic point of view:
because ``y`` can match against ``0``.
- GHC implements **higher order matching** as described by
- `GHC proposal #555 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0555-template-patterns.rst>`_.
+ `GHC Proposal #555 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0555-template-patterns.rst>`_.
When a pattern variable is applied to distinct locally bound variables it forms
what we call a **higher order pattern**.
When matching, higher order patterns are treated like pattern variables, but they are
=====================================
docs/users_guide/exts/stolen_syntax.rst
=====================================
@@ -28,8 +28,8 @@ The following syntax is stolen:
single: forall
Stolen (in types) by default (see :ref:`infelicities-lexical`). ``forall`` is
- a reserved keyword and never a type variable, in accordance with `GHC Proposal #43
- <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0043-forall-keyword.rst>`__.
+ a reserved keyword and never a type variable, in accordance with `GHC Proposal #193
+ <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0193-forall-keyword.rst>`__.
``mdo``
=====================================
docs/users_guide/exts/strict.rst
=====================================
@@ -528,7 +528,7 @@ that (SPLIT-STRICT) uses a bang-pattern in the ``case`` in the desugared right-h
Note that rule (CASE) applies only when any of the *binders* is unlifted;
it is irrelevant whether the binding *itself* is unlifted (see
-`GHC proposal #35 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0035-unbanged-strict-patterns.rst>`__).
+`GHC Proposal #35 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0035-unbanged-strict-patterns.rst>`__).
For example (see :ref:`primitives`)::
let (# a::Int, b::Bool #) = e in body
=====================================
docs/users_guide/runtime_control.rst
=====================================
@@ -1391,7 +1391,7 @@ and can be controlled by the following flags.
The default for this flag is currently ``--read-tix-file=yes`` but will change
to ``-read-tix-file=no`` in a future version of GHC according to the accepted
- `GHC proposal 612 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0612-fhpc-accumulation.md>`__.
+ `GHC Proposal 612 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0612-fhpc-accumulation.md>`__.
.. rts-flag:: --write-tix-file=<yes|no>
=====================================
docs/users_guide/using-warnings.rst
=====================================
@@ -1546,7 +1546,7 @@ of ``-W(no-)*``.
The use of ``*`` to denote the kind of inhabited types relies on the
:extension:`StarIsType` extension, which in a future release will be
turned off by default and then possibly removed. The reasons for this and
- the deprecation schedule are described in `GHC proposal #143
+ the deprecation schedule are described in `GHC Proposal #143
<https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0143-remove-star-kind.rst>`__.
This warning allows to detect such uses of ``*`` before the actual
=====================================
docs/users_guide/using.rst
=====================================
@@ -752,7 +752,7 @@ search path (see :ref:`search-path`).
GHC Jobserver Protocol
~~~~~~~~~~~~~~~~~~~~~~
-The GHC Jobserver Protocol was specified in `GHC proposal #540 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0540-jsem.rst>`__.
+The GHC Jobserver Protocol was specified in `GHC Proposal #540 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0540-jsem.rst>`__.
This protocol allows
a server to dynamically invoke many instances of a client process,
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f7cbffe25cb6c24b4e6083c5a6b35ad19b7a50b2...18d9500d6e7e857536222cba725e1aeb9a7aadd9
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f7cbffe25cb6c24b4e6083c5a6b35ad19b7a50b2...18d9500d6e7e857536222cba725e1aeb9a7aadd9
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/20241204/14da30ab/attachment-0001.html>
More information about the ghc-commits
mailing list