[Ada] Fix various typos, plus minor reformatting

2019-12-12  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

	* sem_ch4.adb, sem_res.adb: Minor reformatting.

From-SVN: r279298

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7c7738229efd845e9f0291f2ff651bf0aa4c443c..6396ee6a5c8f2f98989e09e12c08d91ceeb60cfa 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2019-12-12  Gary Dismukes  <dismukes@adacore.com>
+
+       * sem_ch4.adb, sem_res.adb: Minor reformatting.
+
 2019-12-12  Justin Squirek  <squirek@adacore.com>
 
        * 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 81c5bfd3a4634f72061c27354683a60ccefc6c68..80be4d6636882cfa5a1af33b333324ae88003aa2 100644 (file)
--- 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 560f0f0a3f429c45893c71a8d6b3b4e2f1677f5c..22d89a34c410a8e1a5782cf608c19228cee6f457 100644 (file)
--- 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