parent
15954beb2b
commit
b26f70a095
|
@ -1868,9 +1868,9 @@ package body Sem_Ch13 is
|
||||||
|
|
||||||
procedure Check_One_Function (Subp : Entity_Id) is
|
procedure Check_One_Function (Subp : Entity_Id) is
|
||||||
Default_Element : constant Node_Id :=
|
Default_Element : constant Node_Id :=
|
||||||
Find_Aspect
|
Find_Aspect
|
||||||
(Etype (First_Formal (Subp)),
|
(Etype (First_Formal (Subp)),
|
||||||
Aspect_Iterator_Element);
|
Aspect_Iterator_Element);
|
||||||
|
|
||||||
begin
|
begin
|
||||||
if not Check_Primitive_Function (Subp) then
|
if not Check_Primitive_Function (Subp) then
|
||||||
|
@ -1885,8 +1885,7 @@ package body Sem_Ch13 is
|
||||||
if Present (Default_Element) then
|
if Present (Default_Element) then
|
||||||
Analyze (Default_Element);
|
Analyze (Default_Element);
|
||||||
if Is_Entity_Name (Default_Element)
|
if Is_Entity_Name (Default_Element)
|
||||||
and then
|
and then Covers (Entity (Default_Element), Etype (Subp))
|
||||||
Covers (Entity (Default_Element), Etype (Subp))
|
|
||||||
then
|
then
|
||||||
return;
|
return;
|
||||||
end if;
|
end if;
|
||||||
|
@ -1914,7 +1913,7 @@ package body Sem_Ch13 is
|
||||||
|
|
||||||
else
|
else
|
||||||
declare
|
declare
|
||||||
I : Interp_Index;
|
I : Interp_Index;
|
||||||
It : Interp;
|
It : Interp;
|
||||||
|
|
||||||
begin
|
begin
|
||||||
|
|
Loading…
Reference in New Issue