diff options
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 952e770..70cf819 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -130,7 +130,7 @@ package body Sem_Ch13 is function Get_Cursor_Type (Aspect : Node_Id; - Typ : Entity_Id) return Entity_Id; + Typ : Entity_Id) return Entity_Id; -- Find Cursor type in scope of Typ, by locating primitive operation First. -- For use in resolving the other primitive operations of an Iterable type. @@ -9770,15 +9770,15 @@ package body Sem_Ch13 is Cursor : Entity_Id; begin - -- If error already detected, return. + -- If error already detected, return if Error_Posted (Aspect) then return Any_Type; end if; - -- The cursor type for an Iterable aspect is the return type of - -- a non-overloaded First primitive operation. Locate association - -- for First. + -- The cursor type for an Iterable aspect is the return type of a + -- non-overloaded First primitive operation. Locate association for + -- First. Assoc := First (Component_Associations (Expression (Aspect))); First_Op := Any_Id; @@ -9798,7 +9798,7 @@ package body Sem_Ch13 is Cursor := Any_Type; - -- Locate function with desired name and profile in scope of type. + -- Locate function with desired name and profile in scope of type Func := First_Entity (Scope (Typ)); while Present (Func) loop @@ -9810,7 +9810,7 @@ package body Sem_Ch13 is then if Cursor /= Any_Type then Error_Msg_N - ("Operation First for iterable type must be unique", Aspect); + ("Operation First for iterable type must be unique", Aspect); return Any_Type; else @@ -9825,7 +9825,7 @@ package body Sem_Ch13 is if Cursor = Any_Type then Error_Msg_N - ("No legal primitive operation First for Iterable type", Aspect); + ("No legal primitive operation First for Iterable type", Aspect); end if; return Cursor; @@ -11524,7 +11524,7 @@ package body Sem_Ch13 is Element_Id : Entity_Id; begin - -- If previous error aspect is unusable. + -- If previous error aspect is unusable if Cursor = Any_Type then return; |