diff options
author | Arnaud Charlet <charlet@adacore.com> | 2015-03-24 11:49:20 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-24 12:49:20 +0100 |
commit | a62638a3485c7fb31085a2b0fb973af618ae61d3 (patch) | |
tree | 8b77280a83f0d06beef96f0387602fbe37fe9a43 /gcc/ada/gnat_ugn.texi | |
parent | a2581005856d53ccff513e04c05a85c97ef474df (diff) | |
download | gcc-a62638a3485c7fb31085a2b0fb973af618ae61d3.zip gcc-a62638a3485c7fb31085a2b0fb973af618ae61d3.tar.gz gcc-a62638a3485c7fb31085a2b0fb973af618ae61d3.tar.bz2 |
building_executable_programs_with_gnat.rst, [...]: Doc improvements.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst,
doc/gnat_ugn/gnat_utility_programs.rst
doc/gnat_rm/implementation_defined_attributes.rst
doc/gnat_rm/implementation_defined_pragmas.rst
doc/gnat_rm/representation_clauses_and_pragmas.rst
doc/gnat_rm/about_this_guide.rst
doc/gnat_rm/implementation_of_ada_2012_features.rst: Doc improvements.
* gnat_rm.texi, gnat_ugn.texi: Regenerate.
From-SVN: r221628
Diffstat (limited to 'gcc/ada/gnat_ugn.texi')
-rw-r--r-- | gcc/ada/gnat_ugn.texi | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 3099556..d82df18 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -21,7 +21,7 @@ @copying @quotation -GNAT User's Guide for Native Platforms , March 01, 2015 +GNAT User's Guide for Native Platforms , March 24, 2015 AdaCore @@ -13300,8 +13300,12 @@ before Junk10). @emph{Check that overriding subprograms are explicitly marked as such.} -The declaration of a primitive operation of a type extension that overrides -an inherited operation must carry an overriding indicator. +This applies to all subprograms of a derived type that override a primitive +operation of the type, for both tagged and untagged types. In particular, +the declaration of a primitive operation of a type extension that overrides +an inherited operation must carry an overriding indicator. Another case is +the declaration of a function that overrides a predefined operator (such +as an equality operator). @end table @geindex -gnatyp (gcc) |