From 4cdd4a33f42e0b3373bf74564d036a277dfc0dc1 Mon Sep 17 00:00:00 2001 From: Gary Dismukes Date: Thu, 12 Dec 2019 10:03:20 +0000 Subject: [PATCH] [Ada] Fix various typos, plus minor reformatting 2019-12-12 Gary Dismukes gcc/ada/ * sem_ch4.adb, sem_res.adb: Minor reformatting. From-SVN: r279298 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/sem_ch4.adb | 2 +- gcc/ada/sem_res.adb | 10 +++++----- 3 files changed, 10 insertions(+), 6 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7c7738229ef..6396ee6a5c8 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2019-12-12 Gary Dismukes + + * sem_ch4.adb, sem_res.adb: Minor reformatting. + 2019-12-12 Justin Squirek * sem_ch4.adb (Analyze_One_Call): Add condition to check for diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 81c5bfd3a46..80be4d66368 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -3747,7 +3747,7 @@ package body Sem_Ch4 is -- Due to our current model of controlled type expansion we may -- have resolved a user call to a non-visible controlled primitive -- since these inherited subprograms may be generated in the current - -- scope. This is a side-effect of the need for the expander to be + -- scope. This is a side effect of the need for the expander to be -- able to resolve internally generated calls. -- Specifically, the issue appears when predefined controlled diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 560f0f0a3f4..22d89a34c41 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -8478,13 +8478,13 @@ package body Sem_Res is Get_First_Interp (N, I, It); -- If the equality is user-defined, the type of the operands - -- matches that of the formals. For a predefined operqtor, + -- matches that of the formals. For a predefined operator, -- it is the scope that matters, given that the predefined -- equality has Any_Type formals. In either case the result - -- type (most often Booleam) must match the context .The - -- scope is either that of the type if there is a generated - -- equality (when there is an equality for the component type) - -- or else Standard otherwise. + -- type (most often Boolean) must match the context. The scope + -- is either that of the type, if there is a generated equality + -- (when there is an equality for the component type), or else + -- Standard otherwise. while Present (It.Typ) loop if Etype (It.Nam) = Typ -- 2.30.2