From 1a71a7296b72256767daa9377f3fe052ab62c6fe Mon Sep 17 00:00:00 2001 From: Carl Meyer Date: Sat, 1 Jun 2024 19:18:07 -0600 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Alex Waygood --- docs/spec/glossary.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/spec/glossary.rst b/docs/spec/glossary.rst index 7d90ee2a..c94259d6 100644 --- a/docs/spec/glossary.rst +++ b/docs/spec/glossary.rst @@ -36,7 +36,7 @@ This section defines a few terms that may be used elsewhere in the specification consistent subtype "Consistent subtype" is synonymous with ":term:`assignable` to" (and - "consistent supertype" is synonymous with ":term:`assignable` from"). See + "consistent supertype" is synonymous with "assignable from"). See :ref:`type-system-concepts`. distribution @@ -53,7 +53,7 @@ This section defines a few terms that may be used elsewhere in the specification A gradual form is a :term:`type expression` which makes the type it is part of not a :term:`fully static type`, but rather a representation of a set of possible static types. See :ref:`type-system-concepts`. The - primary gradual form is :ref:`Any`. The ellipsis (`...`) is a gradual + primary gradual form is :ref:`Any`. The ellipsis (``...``) is a gradual form in some, but not all, contexts. It is a gradual form when used in a :ref:`Callable` type, and when used in ``tuple[Any, ...]`` (but not in other :ref:`tuple ` types). @@ -64,7 +64,7 @@ This section defines a few terms that may be used elsewhere in the specification contains ``Any`` or another :term:`gradual form`. A gradual type does not necessarily represent a single set of possible runtime values; instead it can represent a set of possible static types (a set of possible sets of - possible runtime values!). Gradual types do not participate in the + possible runtime values). Gradual types do not participate in the :term:`subtype` relation, but they do participate in :term:`consistency ` and :term:`assignability `. They can be :term:`materialized ` to a more static, or fully static,