diff options
author | Robert Dewar <dewar@adacore.com> | 2008-05-20 14:52:53 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-20 14:52:53 +0200 |
commit | b473ab453920166e23ab2f136e05cd1d30ee329f (patch) | |
tree | 2ab5e757720242b1e1b9f5f6052c4f646debc0e7 /gcc/ada/sem_ch12.adb | |
parent | 590760eb9d222ed4b15e77bf6b53aec2827d0cdf (diff) | |
download | gcc-b473ab453920166e23ab2f136e05cd1d30ee329f.zip gcc-b473ab453920166e23ab2f136e05cd1d30ee329f.tar.gz gcc-b473ab453920166e23ab2f136e05cd1d30ee329f.tar.bz2 |
g-byorma.adb, [...]: Update comments.
2008-05-20 Robert Dewar <dewar@adacore.com>
* g-byorma.adb, gnatlink.adb, prepcomp.adb, sinfo.ads,
sem_ch12.adb: Update comments. Minor reformatting.
* exp_ch2.adb: Typo
* s-unstyp.ads: Fixed some typos in comments.
From-SVN: r135651
Diffstat (limited to 'gcc/ada/sem_ch12.adb')
-rw-r--r-- | gcc/ada/sem_ch12.adb | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index 60833fc..75f4512 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -2729,7 +2729,7 @@ package body Sem_Ch12 is Save_Parent : Node_Id; begin - -- Create copy of generic unit,and save for instantiation. If the unit + -- Create copy of generic unit, and save for instantiation. If the unit -- is a child unit, do not copy the specifications for the parent, which -- are not part of the generic tree. @@ -4040,14 +4040,15 @@ package body Sem_Ch12 is Create_Instantiation_Source (N, Gen_Unit, False, S_Adjustment); -- Copy original generic tree, to produce text for instantiation - -- Inherit overriding indicator from instance node. Act_Tree := Copy_Generic_Node (Original_Node (Gen_Decl), Empty, Instantiating => True); + -- Inherit overriding indicator from instance node + Act_Spec := Specification (Act_Tree); - Set_Must_Override (Act_Spec, Must_Override (N)); + Set_Must_Override (Act_Spec, Must_Override (N)); Set_Must_Not_Override (Act_Spec, Must_Not_Override (N)); Renaming_List := @@ -4634,7 +4635,7 @@ package body Sem_Ch12 is -- Verify that the actual subprograms match. Note that actuals -- that are attributes are rewritten as subprograms. If the -- subprogram in the formal package is defaulted, no check is - -- needed. Note that this can only happen in Ada2005 when the + -- needed. Note that this can only happen in Ada 2005 when the -- formal package can be partially parametrized. if Nkind (Unit_Declaration_Node (E1)) = @@ -9982,7 +9983,9 @@ package body Sem_Ch12 is Check_Restriction (No_Fixed_Point, Actual); end if; - -- Deal with error of using incomplete type as generic actual + -- Deal with error of using incomplete type as generic actual. + -- This includes limited views of a type, even if the non-limited + -- view may be available. if Ekind (Act_T) = E_Incomplete_Type or else (Is_Class_Wide_Type (Act_T) |