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