diff options
-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 |