aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch12.adb
diff options
context:
space:
mode:
authorRobert Dewar <dewar@adacore.com>2008-05-20 14:52:53 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2008-05-20 14:52:53 +0200
commitb473ab453920166e23ab2f136e05cd1d30ee329f (patch)
tree2ab5e757720242b1e1b9f5f6052c4f646debc0e7 /gcc/ada/sem_ch12.adb
parent590760eb9d222ed4b15e77bf6b53aec2827d0cdf (diff)
downloadgcc-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.adb13
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)