diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2024-03-18 22:43:54 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-21 09:26:47 +0200 |
commit | 238fba24a43280e692fc9c53852657837bbc94bc (patch) | |
tree | 878bb943859141a98528d3f38660db852802aeaa | |
parent | ef10ed27e0f3f3777b5c64cb30947e70e6a1c905 (diff) | |
download | gcc-238fba24a43280e692fc9c53852657837bbc94bc.zip gcc-238fba24a43280e692fc9c53852657837bbc94bc.tar.gz gcc-238fba24a43280e692fc9c53852657837bbc94bc.tar.bz2 |
ada: Fix formatting in list of implemented Ada 2012 features
Fix formatting; meaning is unaffected.
gcc/ada/
* doc/gnat_rm/implementation_of_ada_2012_features.rst:
Fix formatting.
* gnat_rm.texi: Regenerate.
-rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst | 6 | ||||
-rw-r--r-- | gcc/ada/gnat_rm.texi | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst b/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst index 706de49..9708e15 100644 --- a/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst +++ b/gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst @@ -255,7 +255,7 @@ http://www.ada-auth.org/ai05-summary.html. * *AI-0039 Stream attributes cannot be dynamic (0000-00-00)* - The RM permitted the use of dynamic expressions (such as ``ptr.all``)` + The RM permitted the use of dynamic expressions (such as ``ptr.all``) for stream attributes, but these were never useful and are now illegal. GNAT has always regarded such expressions as illegal. @@ -555,7 +555,7 @@ http://www.ada-auth.org/ai05-summary.html. This AI clarifies that 'needs finalization' is part of dynamic semantics, and therefore depends on the run-time characteristics of an object (i.e. its tag) and not on its nominal type. As the AI indicates: "we do not expect - this to affect any implementation''. + this to affect any implementation". RM References: 7.06.01 (6) 7.06.01 (7) 7.06.01 (8) 7.06.01 (9/2) @@ -812,7 +812,7 @@ http://www.ada-auth.org/ai05-summary.html. The new syntax for iterating over arrays and containers is now implemented. Iteration over containers is for now limited to read-only iterators. Only - default iterators are supported, with the syntax: ``for Elem of C``. + default iterators are supported, with the syntax: ``for Elem of C``. RM References: 5.05 diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index df6969f..776dd4a 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -26913,7 +26913,7 @@ RM References: A.10.05 (37) A.10.07 (8/1) A.10.07 (10) A.10.07 (12) A.1 @item `AI-0039 Stream attributes cannot be dynamic (0000-00-00)' -The RM permitted the use of dynamic expressions (such as @code{ptr.all})` +The RM permitted the use of dynamic expressions (such as @code{ptr.all}) for stream attributes, but these were never useful and are now illegal. GNAT has always regarded such expressions as illegal. @@ -27358,7 +27358,7 @@ RM References: 3.10.01 (6) 3.10.01 (9.2/2) This AI clarifies that ‘needs finalization’ is part of dynamic semantics, and therefore depends on the run-time characteristics of an object (i.e. its tag) and not on its nominal type. As the AI indicates: “we do not expect -this to affect any implementation’’. +this to affect any implementation”. RM References: 7.06.01 (6) 7.06.01 (7) 7.06.01 (8) 7.06.01 (9/2) @end itemize @@ -27730,7 +27730,7 @@ RM References: A.04.11 The new syntax for iterating over arrays and containers is now implemented. Iteration over containers is for now limited to read-only iterators. Only -default iterators are supported, with the syntax: @code{for Elem of C}. +default iterators are supported, with the syntax: @code{for Elem of C}. RM References: 5.05 @end itemize |