diff options
| author | Yannick Moy <moy@adacore.com> | 2023-03-22 10:17:54 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-26 09:29:19 +0200 |
| commit | b8a3e2ed647cf5cfec72e9b7801a82a1d9e574a3 (patch) | |
| tree | c7052c3b051d953129c744d60ca522fa9a145631 /gcc | |
| parent | 81c360bd932b38e91b82b7a98f88e61c764b56ff (diff) | |
| download | gcc-b8a3e2ed647cf5cfec72e9b7801a82a1d9e574a3.zip gcc-b8a3e2ed647cf5cfec72e9b7801a82a1d9e574a3.tar.gz gcc-b8a3e2ed647cf5cfec72e9b7801a82a1d9e574a3.tar.bz2 | |
ada: Minor doc clarification
Pattern Matching extension does not apply yet to case expressions.
This is worth stating clearly, as this is a natural use of pattern
matching to program in more functional style.
gcc/ada/
* doc/gnat_rm/gnat_language_extensions.rst: Be more explicit on
pattern matching limitation.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 2 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 2 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst index 5646141..220345d 100644 --- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst +++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst @@ -119,7 +119,7 @@ https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-conditional Case pattern matching --------------------- -The selector for a case statement may be of a composite type, subject to +The selector for a case statement (but not yet for a case expression) may be of a composite type, subject to some restrictions (described below). Aggregate syntax is used for choices of such a case statement; however, in cases where a "normal" aggregate would require a discrete value, a discrete subtype may be used instead; box diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 6abf8f0..0c841fd 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -28623,7 +28623,7 @@ Link to the original RFC: @subsection Case pattern matching -The selector for a case statement may be of a composite type, subject to +The selector for a case statement (but not yet for a case expression) may be of a composite type, subject to some restrictions (described below). Aggregate syntax is used for choices of such a case statement; however, in cases where a “normal” aggregate would require a discrete value, a discrete subtype may be used instead; box diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index e124206..be23488 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -29479,8 +29479,8 @@ to permit their use in free software. @printindex ge -@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @anchor{cf}@w{ } +@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{ } @c %**end of body @bye |