[Ada] Minor reformatting and typo fix
authorGary Dismukes <dismukes@adacore.com>
Wed, 20 May 2020 17:44:34 +0000 (13:44 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:54 +0000 (10:55 -0400)
gcc/ada/

* sem_attr.adb: Remove hyphens in comments, plus minor code
reformatting.
* sem_ch13.adb: Fix typo (that => than).
* sem_util.adb: Add hyphen in comment ("class-wide").

gcc/ada/sem_attr.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_util.adb

index fbaaa656a2d9c0916abd4cc5ba0315c7b56b34f8..1d4ef0bfb7aee29328ad01e91806145581d98667 100644 (file)
@@ -5513,15 +5513,15 @@ package body Sem_Attr is
                Pref_Id := Entity (P);
 
                --  Either both the prefix and the annotated spec must be
-               --  generic functions, or they both must be non-generic
+               --  generic functions, or they both must be nongeneric
                --  functions, or the prefix must be generic and the spec
-               --  must be non-generic (i.e. it must denote an instance).
+               --  must be nongeneric (i.e. it must denote an instance).
 
                if (Ekind_In (Pref_Id, E_Function, E_Generic_Function)
-                   and then Ekind (Pref_Id) = Ekind (Spec_Id))
-                    or else
-                  (Ekind (Pref_Id) = E_Generic_Function
-                   and then Ekind (Spec_Id) = E_Function)
+                    and then Ekind (Pref_Id) = Ekind (Spec_Id))
+                 or else
+                   (Ekind (Pref_Id) = E_Generic_Function
+                     and then Ekind (Spec_Id) = E_Function)
                then
                   if Denote_Same_Function (Pref_Id, Spec_Id) then
 
@@ -8079,7 +8079,7 @@ package body Sem_Attr is
 
       --  First foldable possibility is a scalar or array type (RM 4.9(7))
       --  that is not generic (generic types are eliminated by RM 4.9(25)).
-      --  Note we allow non-static non-generic types at this stage as further
+      --  Note we allow nonstatic nongeneric types at this stage as further
       --  described below.
 
       if Is_Type (P_Entity)
index 808c77af0e85424c71237f214eef229295da8a69..3fb9f61da9dee548f7a479d35c4be9c2bf9ee996 100644 (file)
@@ -2296,7 +2296,7 @@ package body Sem_Ch13 is
                         --  Only formals of the subprogram itself can appear
                         --  in Relaxed_Initialization aspect expression, not
                         --  formals of the enclosing generic unit. (This is
-                        --  different that in Precondition or Depends aspects,
+                        --  different than in Precondition or Depends aspects,
                         --  where both kinds of formals are allowed.)
 
                         Install_Formals (E);
index 7ec52b30c792b039b20d2e981da3e34266417a74..f7a7c1fb4311465f60569dbd4d8cf5a9bad36044 100644 (file)
@@ -1517,7 +1517,7 @@ package body Sem_Util is
       --  corresponding class-wide condition was analyzed.
 
       --  The body of the original condition may contain references to
-      --  the formals of Spec_Id. In the body of the classwide clone,
+      --  the formals of Spec_Id. In the body of the class-wide clone,
       --  these must be replaced with the corresponding formals of
       --  the clone.