From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9491b94351596175,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local02.nntp.dca.giganews.com!nntp.posted.plusnet!news.posted.plusnet.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 05 Feb 2009 09:05:41 -0600
Newsgroups: comp.lang.ada
Followup-To: comp.lang.ada
From: Robert_Matthews <ignored@ramatthews.free-online.co.uk>
Subject: A problem with "interface"
Date: Thu, 05 Feb 2009 15:05:42 +0000
User-Agent: KNode/0.99.01
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7Bit
Message-ID: <zvGdneFPpt7YnRbUnZ2dnUVZ8uednZ2d@posted.plusnet>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-f5bY1E6LyHwHEgd0QT8TeeyOKx6ycfAmM4qbNLXLkSth7/k0te/Te8mDHZM6a/FBeJElvV0K6TY7N67!PCEbDBbYZ6WO41zz3vYA+Vy+Y+GZt1viYqSRjSKBVCCp7D/VqYR38QdNP42/cpxd/LvuoaLJTs+A!+w7TdygR5Q==
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.39
Xref: g2news2.google.com comp.lang.ada:4536
Date: 2009-02-05T15:05:42+00:00
List-Id: <comp.lang.ada>

In using interface types with GNAT I have encountered a problem.
Consider the following packages:

package Int is

   type A is interface;
   type B is interface;

   procedure P (Param1 : A; Param2 : B'Class) is abstract;

end Int;

with Int;
package Client is

   type Client_A is new Int.A with null record;
   type Client_B is new Int.B with null record;

   overriding
   procedure Client_P (Param1 : Client_A; Param2 : Client_B'Class);

end Client;

On compiling, GNAT says "Client_P" does not override anything.
Am I making a dumb mistake here - or is it GNAT?

The version of GNAT is GNAT GPL 2008 (20080521).

Thanks in advance,

Robert