sem_ch6.ads: Minor comment updates.

2012-03-15  Robert Dewar  <dewar@adacore.com>

	* sem_ch6.ads: Minor comment updates.
	* sem_ch12.adb: Minor comment clarification.

From-SVN: r185412

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 7835dc1a8e09747b0e3bb39758b34cfac63bb6ec..7ef46d5d9f8d46833fe4950f3e68c63fb54b587b 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2012-03-15  Robert Dewar  <dewar@adacore.com>
+
+       * sem_ch6.ads: Minor comment updates.
+       * sem_ch12.adb: Minor comment clarification.
+
 2012-03-15  Robert Dewar  <dewar@adacore.com>
 
        * sem_ch5.adb: Minor reformatting.

diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb
index e873025c524c9e5092feaab0588851c2a2ca3617..b411b3bd64c973d817130dedbf37e48eb7d2283b 100644 (file)
--- a/gcc/ada/sem_ch12.adb
+++ b/gcc/ada/sem_ch12.adb
@@ -10433,9 +10433,11 @@ package body Sem_Ch12 is
             Abandon_Instantiation (Actual);
          end if;
 
-         --  In Ada 2012, actuals for access_to_subprograms must be subtype
-         --  conformant with the generic formal. Previous to AI05-288 only mode
-         --  conformance was required.
+         --  In accordance with AI05-288 (which is an Ada 2012 AI that is a
+         --  binding intepretation to be applied to previous versions of Ada
+         --  as well as Ada 2012), actuals for access_to_subprograms must be
+         --  subtype conformant with the generic formal. Previous to AI05-288
+         --  only mode conformance was required.
 
          Check_Subtype_Conformant
            (Designated_Type (Act_T),

diff --git a/gcc/ada/sem_ch6.ads b/gcc/ada/sem_ch6.ads
index 42ea1e495a2b58968d0e7977e3ab873ff7d506e5..5d30df76c955ce10ca877f5d80ab8ccb793504a6 100644 (file)
--- a/gcc/ada/sem_ch6.ads
+++ b/gcc/ada/sem_ch6.ads
@@ -29,6 +29,7 @@ package Sem_Ch6 is
    type Conformance_Type is
      (Type_Conformant, Mode_Conformant, Subtype_Conformant, Fully_Conformant);
    --  pragma Ordered (Conformance_Type);
+   --  Why is above line commented out ???
    --  Conformance type used in conformance checks between specs and bodies,
    --  and for overriding. The literals match the RM definitions of the
    --  corresponding terms. This is an ordered type, since each conformance
@@ -149,7 +150,10 @@ package Sem_Ch6 is
    --  on the appropriate component of the New_Id construct if not.
    --  Skip_Controlling_Formals is True when checking the conformance of
    --  a subprogram that implements an interface operation. In that case,
-   --  only the non-controlling formals can (and must) be examined.
+   --  only the non-controlling formals can (and must) be examined. The
+   --  argument Get_Inst is set to True when this is a check against a
+   --  formal access-to-subprogram type, indicating that mapping of types
+   --  is needed.
 
    procedure Check_Type_Conformant
      (New_Id  : Entity_Id;
@@ -167,8 +171,10 @@ package Sem_Ch6 is
       Get_Inst : Boolean := False) return Boolean;
    --  Check that the types of two formal parameters are conforming. In most
    --  cases this is just a name comparison, but within an instance it involves
-   --  generic actual types, and in the presence of anonymous access types it
-   --  must examine the designated types.
+   --  generic actual types, and in the presence of anonymous access types
+   --  it must examine the designated types. The argument Get_Inst is set to
+   --  True when this is a check against a formal access-to-subprogram type,
+   --  indicating that mapping of types is needed.
 
    procedure Create_Extra_Formals (E : Entity_Id);
    --  For each parameter of a subprogram or entry that requires an additional