From e7f3e03c40a47242676a3abe5b6f1fa0f771b814 Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Mon, 27 Jan 2025 14:50:41 +0100 Subject: [PATCH] QL spec: Fix up pre-BigInt language --- docs/codeql/ql-language-reference/expressions.rst | 2 +- docs/codeql/ql-language-reference/name-resolution.rst | 1 + docs/codeql/ql-language-reference/ql-language-specification.rst | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/codeql/ql-language-reference/expressions.rst b/docs/codeql/ql-language-reference/expressions.rst index 5c86fe7b43c..8a18ddcbe83 100644 --- a/docs/codeql/ql-language-reference/expressions.rst +++ b/docs/codeql/ql-language-reference/expressions.rst @@ -731,7 +731,7 @@ You can use the following binary operators in QL: +------------------------+--------+ If both expressions are numbers, these operators act as standard arithmetic operators. For -example, ``10.6 - 3.2`` has value ``7.4``, ``123.456 * 0`` has value ``0``, and ``9 % 4`` has +example, ``10.6 - 3.2`` has value ``7.4``, ``123.456 * 0`` has value ``0.0``, and ``9 % 4`` has value ``1`` (the remainder after dividing ``9`` by ``4``). If both operands are integers, then the result is an integer. Otherwise the result is a floating-point number. diff --git a/docs/codeql/ql-language-reference/name-resolution.rst b/docs/codeql/ql-language-reference/name-resolution.rst index 85910f93968..ebbe3b4bae3 100644 --- a/docs/codeql/ql-language-reference/name-resolution.rst +++ b/docs/codeql/ql-language-reference/name-resolution.rst @@ -305,6 +305,7 @@ were defined in the :ref:`QL tutorials `: The module namespace of ``Villagers`` has entries for: - The module ``S``. - Any modules exported by ``tutorial``. + - The built-in top-level module ``QlBuiltins``. The module namespace of ``S`` also has entries for the module ``S`` itself, and for any modules exported by ``tutorial``. diff --git a/docs/codeql/ql-language-reference/ql-language-specification.rst b/docs/codeql/ql-language-reference/ql-language-specification.rst index 4c8fd30076a..dbe33a1b753 100644 --- a/docs/codeql/ql-language-reference/ql-language-specification.rst +++ b/docs/codeql/ql-language-reference/ql-language-specification.rst @@ -718,7 +718,7 @@ An integer literal is a possibly negated sequence of decimal digits (``0`` throu Float literals (float) ~~~~~~~~~~~~~~~~~~~~~~ -A floating-point literals is a possibly negated two non-negative integers literals separated by a dot (``.``, U+002E). Here are some examples of float literals: +A floating-point literal is a possibly negated pair of non-negative integer literals separated by a dot (``.``, U+002E). Here are some examples of float literals: ::