aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst6
-rw-r--r--gcc/ada/gnat_rm.texi6
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