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-Language: ENGLISH,ASCII
X-Google-Thread: 103376,2107bed9c7be998f
X-Google-Attributes: gid103376,public
Path: controlnews3.google.com!postnews1.google.com!not-for-mail
From: martin.dowie@btopenworld.com (Martin Dowie)
Newsgroups: comp.lang.ada
Subject: Re: Why can't I override these functions?
Date: 10 May 2004 04:49:28 -0700
Organization: http://groups.google.com
Message-ID: <af783afe.0405100349.41f00470@posting.google.com>
References: <HLJmc.58389$mU6.237165@newsb.telia.net>
NNTP-Posting-Host: 20.138.254.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1084189768 10845 127.0.0.1 (10 May 2004 11:49:28
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 10 May 2004 11:49:28 +0000 (UTC)
Xref: controlnews3.google.com comp.lang.ada:415
Date: 2004-05-10T04:49:28-07:00
List-Id: <comp.lang.ada>

Bj�rn Persson <spam-away@nowhere.nil> wrote in message news:<HLJmc.58389$mU6.237165@newsb.telia.net>...
> I have a generic package with a tagged type Parameter Definition, a 
> generic subpackage with a type Intermediate Definition derived from 
> Parameter Definition, and a generic child package with a type 
> Typed Parameter Definition derived from Intermediate Definition. See the 
> code below. Gnat gives me an error on the declaration of 
> Typed Parameter Definition:
[snip]

For what it's worth ObjectAda (U13) compiles this quite happily.