From: Ronan Desplanques <desplanq...@adacore.com>
This patch fixes a reference to an Ada RM clause, fixes an occurrence of
"unconstrained" that should have been "indefinite", and removes an
incorrect claim that completing a partial view without discriminants
with a full view with defaulted discriminants is an error situation.
gcc/ada/ChangeLog:
* sem_ch3.adb (Process_Discriminants, Process_Full_View): Fix
comments.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sem_ch3.adb | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index b91c6785b035..b31587b4bcb1 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -21578,7 +21578,7 @@ package body Sem_Ch3 is
Set_Stored_Constraint (Current_Scope, No_Elist);
-- Default expressions must be provided either for all or for none
- -- of the discriminants of a discriminant part. (RM 3.7.1)
+ -- of the discriminants of a discriminant part (RM 3.7 (9.1/3)).
if Default_Present and then Default_Not_Present then
Error_Msg_N
@@ -21969,8 +21969,7 @@ package body Sem_Ch3 is
else
-- For untagged types, verify that a type without discriminants is
- -- not completed with an unconstrained type. A separate error message
- -- is produced if the full type has defaulted discriminants.
+ -- not completed with an indefinite type.
if Is_Definite_Subtype (Priv_T)
and then not Is_Definite_Subtype (Full_T)
--
2.43.0
