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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f51e93dacd9c7fca
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-19 12:38:45 PST
Path: 
 archiver1.google.com!news2.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!dialin-145-254-048-251.arcor-ip.NET!not-for-mail
From: Dmitry A.Kazakov <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: status of Ada STL?
Date: Thu, 20 Jun 2002 09:43:19 +0200
Message-ID: <aeqmip$93k8i$1@ID-77047.news.dfncis.de>
References: <bebbba07.0206132321.23d72ac8@posting.google.com>
 <uhek1udub.fsf@FWILSON.i-did-not-set--mail-host-address--so-shoot-me>
 <3D10B7C6.8030309@attbi.com> <wccfzzj5bez.fsf@shell01.TheWorld.com>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: dialin-145-254-048-251.arcor-ip.net (145.254.48.251)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: fu-berlin.de 1024515482 9556242 145.254.48.251 (16 [77047])
User-Agent: KNode/0.4
Xref: archiver1.google.com comp.lang.ada:26430
Date: 2002-06-20T09:43:19+02:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

> What I really want to be able to do is:
> 
>   procedure Inc(X: in out Root_Modular'Class);
> 
> which is of course impossible to write in Ada.

What for? I vote with both hands for:

procedure Inc(X: in out Modular'Class);

but to have a common ancestor for all modular types. what for? And what to 
do with:

type Digital_Outs is new Unsigned_16;

It is bad enough that type cloning was lost for tagged types.

-- 
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de