From 9800ef594c9e73b5bd04ba27924384cf4d73a127 Mon Sep 17 00:00:00 2001 From: Javier Miranda Date: Wed, 28 May 2008 17:33:54 +0200 Subject: [PATCH] sem_ch3.adb (Derive_Progenitor_Subprograms): Add documentation. 2008-05-28 Javier Miranda * sem_ch3.adb (Derive_Progenitor_Subprograms): Add documentation. From-SVN: r136104 --- gcc/ada/sem_ch3.adb | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 3dc47a37537..88a44138039 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -11398,6 +11398,13 @@ package body Sem_Ch3 is while Present (Prim_Elmt) loop Iface_Subp := Node (Prim_Elmt); + -- Exclude derivation of predefined primitives except those + -- that come from source. Required to catch declarations of + -- equality operators of interfaces. For example: + + -- type Iface is interface; + -- function "=" (Left, Right : Iface) return Boolean; + if not Is_Predefined_Dispatching_Operation (Iface_Subp) or else Comes_From_Source (Iface_Subp) then -- 2.30.2