From f0ed47af542bc0732ce22cc67c3e8c5e03dc9a83 Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Sun, 14 Jul 2024 15:23:12 -0700 Subject: [PATCH] Glossary: Improve definition of "gradual form" The current wording "A gradual form is a type expression" is not strictly correct, because `...` is not a type expression. cc @carljm --- docs/spec/glossary.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/spec/glossary.rst b/docs/spec/glossary.rst index 791782e7..f17ffb61 100644 --- a/docs/spec/glossary.rst +++ b/docs/spec/glossary.rst @@ -59,7 +59,7 @@ This section defines a few terms that may be used elsewhere in the specification :ref:`type-system-concepts`. gradual form - A gradual form is a :term:`type expression` which makes the type it is + A gradual form is an element of 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