sem_ch3.adb, [...]: Minor reformatting.
2011-08-02 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_res.adb: Minor reformatting. From-SVN: r177119
This commit is contained in:
parent
7a489a2b56
commit
218e6deed7
|
@ -1,3 +1,7 @@
|
|||
2011-08-02 Robert Dewar <dewar@adacore.com>
|
||||
|
||||
* sem_ch3.adb, sem_res.adb: Minor reformatting.
|
||||
|
||||
2011-08-02 Yannick Moy <moy@adacore.com>
|
||||
|
||||
* sem_attr.adb (Check_Formal_Restriction_On_Attribute): new procedure
|
||||
|
|
|
@ -585,7 +585,6 @@ package body Sem_Ch3 is
|
|||
|
||||
procedure Modular_Type_Declaration (T : Entity_Id; Def : Node_Id);
|
||||
-- Create new modular type. Verify that modulus is in bounds
|
||||
-- (implementation restriction).
|
||||
|
||||
procedure New_Concatenation_Op (Typ : Entity_Id);
|
||||
-- Create an abbreviated declaration for an operator in order to
|
||||
|
@ -17769,11 +17768,11 @@ package body Sem_Ch3 is
|
|||
begin
|
||||
Analyze_And_Resolve (R, Base_Type (T));
|
||||
|
||||
if not Is_Static_Range (R) then
|
||||
Check_Formal_Restriction ("range should be static", R);
|
||||
end if;
|
||||
|
||||
if Nkind (R) = N_Range then
|
||||
if not Is_Static_Range (R) then
|
||||
Check_Formal_Restriction ("range should be static", R);
|
||||
end if;
|
||||
|
||||
Lo := Low_Bound (R);
|
||||
Hi := High_Bound (R);
|
||||
|
||||
|
|
|
@ -3519,6 +3519,7 @@ package body Sem_Res is
|
|||
declare
|
||||
Index : Interp_Index;
|
||||
It : Interp;
|
||||
|
||||
begin
|
||||
Get_First_Interp (A, Index, It);
|
||||
while Present (It.Typ) loop
|
||||
|
|
Loading…
Reference in New Issue