From b8a3e2ed647cf5cfec72e9b7801a82a1d9e574a3 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Wed, 22 Mar 2023 10:17:54 +0100 Subject: 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. --- gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 2 +- gcc/ada/gnat_rm.texi | 2 +- gcc/ada/gnat_ugn.texi | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'gcc') 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 -- cgit v1.1