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=0.7 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: a07f3367d7,158ce2376534c35d,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
From: "Rego, P." <pvrego@gmail.com>
Newsgroups: comp.lang.ada
Subject: Derived private interface
Date: Mon, 4 Jul 2011 20:14:42 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <27656578-65aa-48b9-9f89-4ebd4e0cb02a@glegroupsg2000goo.googlegroups.com>
Reply-To: comp.lang.ada@googlegroups.com
NNTP-Posting-Host: 189.110.8.160
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1309835682 2312 127.0.0.1 (5 Jul 2011 03:14:42
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 5 Jul 2011 03:14:42 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=189.110.8.160;
 posting-account=TRgI1QoAAABSsYi-ox3Pi6N-JEKKU0cu
User-Agent: G2/1.0
X-Google-Web-Client: true
Xref: g2news1.google.com comp.lang.ada:20075
Date: 2011-07-04T20:14:42-07:00
List-Id: <comp.lang.ada>

Hi people, 

I'm just trying to implement a private type derived from an interface, but possibly doing wrong. So, in my code:

   type My_Interface is interface;
   procedure Doit (O : access My_Interface) is abstract;

   type Derived_Class is new My_Interface with private;

[...]
private 
   type Derived_Class is tagged
      record
         First_Record : Integer;
      end record;


so when I try to compile, I get these errors:
   'interface "My_Interface" not implemented by full type (RM-2005 7.3 (7.3/2))'
   'full view of private extension must be an extension'

Does anyone know how can I fix it?