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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,13aaae984988cb0d,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!p9g2000vbl.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Discriminant and type extensions
Date: Mon, 5 Oct 2009 10:18:11 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <2b205c63-55e7-4cef-95d2-5b0ece0b8866@p9g2000vbl.googlegroups.com>
NNTP-Posting-Host: 77.198.58.126
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1254763091 12030 127.0.0.1 (5 Oct 2009 17:18:11
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 5 Oct 2009 17:18:11 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: p9g2000vbl.googlegroups.com; posting-host=77.198.58.126;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:8586
Date: 2009-10-05T10:18:11-07:00
List-Id: <comp.lang.ada>

Hello boys and girls,

I was looking at two of my generic packages, fully functionals, that
is not the trouble, but not expressive enough IMHO.

The lack, from my point of view, is in the way a type can be extended
from a another type with discriminants.

What I mean : I've got a type in a package, a tagged type with
discriminants. Then a second package extends this type, but the
discriminants from the extended type does not appears in the extension
declaration. When I want to instantiate the type (the extended one), I
obviously have to provide the actuals for these discriminants (the
ones coming from the type which was extended).

What do you think about it ?

Do you think it would be a good proposal to allow the discriminant to
be explicitly recalled in an extension declaration ? (just to be more
explicit and expressive)