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-7-bit
X-Google-Thread: 103376,8a402d78988bdf2b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-12-20 20:24:49 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!crtntx1-snh1.gtei.net!news.gtei.net!newsfeed1.easynews.com!newsfeed2.easynews.com!easynews.com!easynews!newsfeed.news2me.com!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.arcor-online.net!eusc.inter.net!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: [announcement] SYSAPI and SYSSVC for Windows
Date: Sun, 21 Dec 2003 04:24:49 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <bs37ah$7ka$2@a1-hrz.uni-duisburg.de>
References: <mailman.132.1071688674.31149.comp.lang.ada@ada-france.org>
 <brrqfe$6l1q7$1@ID-77047.news.uni-berlin.de> <brs5mo$278$1@online.de>
 <brsddi$73fee$1@ID-77047.news.uni-berlin.de> <brumdp$lub$1@online.de>
 <brvask$7ugsq$2@ID-77047.news.uni-berlin.de> <bs09s0$617$1@online.de>
 <bs1ah1$8g5ll$1@ID-77047.news.uni-berlin.de> <bs1jh9$n8o$1@online.de>
 <bs203e$8re23$1@ID-77047.news.uni-berlin.de> <bs29a5$d6n$1@online.de>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1071980689 7818 134.91.1.34 (21 Dec 2003
 04:24:49 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Sun, 21 Dec 2003 04:24:49 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:3653
Date: 2003-12-21T04:24:49+00:00
List-Id: <comp.lang.ada>

Ekkehard Morgenstern <ekkehard.morgenstern@onlinehome.de> wrote:
:> 7. formal derived type parameter for generics;
: 
: False. Of course you can use derived classes or other types in templates.

I think this is about "type requirements", not uses.

generic
   type D is new T with private;
package P is
...

like 

class P [D -> T] is ...

in Eiffel.

AFAIK, you cannot write
template<typename D> class P {
...
and nothing else and then expect items passed for D to be of
a conforming T type.
If I have understood some hints on Bjarne Stroustrup's web pages
this can be achieved in C++ as well, using suitable identifiers
and template computations.