diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-12-02 14:48:00 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-12-02 14:48:00 +0000 |
| commit | 9c4a88e0502cb828a912fe0d390b9ab2c7030391 (patch) | |
| tree | 9e0786dd73083edc850c91c87747df5e7631fd9d /gcc/ada | |
| parent | ff7a92d3654412319e76e61c968dc7060f39e963 (diff) | |
| download | gcc-9c4a88e0502cb828a912fe0d390b9ab2c7030391.tar.gz | |
2011-12-02 Robert Dewar <dewar@adacore.com>
* sinfo.ads: Minor reformatting.
* gnat_ugn.texi: Fix confusion in use of term "type name".
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@181915 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 19 | ||||
| -rw-r--r-- | gcc/ada/sinfo.ads | 1 |
3 files changed, 15 insertions, 10 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index cff6725faad..f4003ad70fe 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,10 @@ 2011-12-02 Robert Dewar <dewar@adacore.com> + * sinfo.ads: Minor reformatting. + * gnat_ugn.texi: Fix confusion in use of term "type name". + +2011-12-02 Robert Dewar <dewar@adacore.com> + * sem_ch6.adb: Minor change in error message. 2011-12-02 Robert Dewar <dewar@adacore.com> diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index ba5737a487e..a741c33d902 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -13190,20 +13190,21 @@ setting. @cindex @option{^-nt@var{x}^/TYPE_CASING^} (@command{gnatpp}) @item ^-neD^/TYPE_CASING=AS_DECLARED^ -Type and subtype name casing for defining occurrences are as they appear in -the source file. Overrides ^-n^/NAME_CASING^ casing setting. +Names introduced by type and subtype declarations are always +cased as they appear in the declaration in the source file. +Overrides ^-n^/NAME_CASING^ casing setting. @item ^-ntU^/TYPE_CASING=UPPER_CASE^ -Type and subtype names are in upper case. Overrides ^-n^/NAME_CASING^ casing -setting. +Names introduced by type and subtype declarations are always in +upper case. Overrides ^-n^/NAME_CASING^ casing setting. @item ^-ntL^/TYPE_CASING=LOWER_CASE^ -Type and subtype names are in lower case. Overrides ^-n^/NAME_CASING^ casing -setting. +Names introduced by type and subtype declarations are always in +lower case. Overrides ^-n^/NAME_CASING^ casing setting. @item ^-ntM^/TYPE_CASING=MIXED_CASE^ -Type and subtype names are in mixed case. Overrides ^-n^/NAME_CASING^ casing -setting. +Names introduced by type and subtype declarations are always in +mixed case. Overrides ^-n^/NAME_CASING^ casing setting. @cindex @option{^-p@var{x}^/PRAGMA_CASING^} (@command{gnatpp}) @item ^-pL^/PRAGMA_CASING=LOWER_CASE^ @@ -26370,7 +26371,7 @@ of the methodological principle known as the ``contract model'', the generic declaration explicitly indicates whether or not such instantiations are permitted. If a generic formal parameter has explicit unknown discriminants, indicated by using @code{(<>)} after the -type name, then it can be instantiated with indefinite types, but no +subtype name, then it can be instantiated with indefinite types, but no stand-alone variables can be declared of this type. Any attempt to declare such a variable will result in an illegality at the time the generic is declared. If the @code{(<>)} notation is not used, then it is illegal diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 7e308ec328e..be4f8dc3735 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -2176,7 +2176,6 @@ package Sinfo is -- type DEFINING_IDENTIFIER [KNOWN_DISCRIMINANT_PART] -- is TYPE_DEFINITION -- [ASPECT_SPECIFICATIONS]; - -- | TASK_TYPE_DECLARATION -- | PROTECTED_TYPE_DECLARATION |