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-Thread: a07f3367d7,4215feeab2a8154a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!news.mv.net!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Language checks
Date: Fri, 14 Aug 2009 15:58:39 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccy6pmtbf4.fsf@shell01.TheWorld.com>
References: <7q2385104kihs87d79p8kfphuoki6r01vq@4ax.com>
 <7961a91c-a5af-40e2-bbc0-6bf69a98176d@z31g2000yqd.googlegroups.com>
 <gnc585975lmscgmvat9avedckgs3du6pin@4ax.com>
 <362f621e-a01c-4772-ba02-4e18e9962188@j19g2000vbp.googlegroups.com>
 <b6t5855cc2epg9h3s1qb9ulm96bp3pfphk@4ax.com>
 <128d63da-361f-4e33-be5e-e06bdc71e39f@r34g2000vba.googlegroups.com>
 <wcc8whovk76.fsf@shell01.TheWorld.com>
 <6d23274b-d649-4a83-a6f1-6d1e9c4c3998@d34g2000vbm.googlegroups.com>
 <h5vq9u$i0g$1@munin.nbi.dk>
 <df70d2ce-e773-4ba8-b800-a50fec63a6fc@p9g2000vbl.googlegroups.com>
 <4A83D107.2020407@obry.net> <196q25f7ntf6a$.tj10ulon3mmt.dlg@40tude.net>
 <4A83F9C2.3000700@obry.net> <1376nmezwawim.1mqgiaglsrvwe.dlg@40tude.net>
 <874osar63q.fsf_-_@jspa-nykredit.sparre-andersen.dk>
 <5teik046uoaz.dust9cbmbaxl.dlg@40tude.net>
 <09abf252-0517-4320-975c-63e834cc54ae@w41g2000yqb.googlegroups.com>
 <669hmy6yhk8d$.xtpisczyxd6l$.dlg@40tude.net>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls6.std.com 1250279919 30513 192.74.137.71 (14 Aug 2009 19:58:39
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Fri, 14 Aug 2009 19:58:39 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:YiemPriNJXNnmj5Kcc1DzKJU/s8=
Xref: g2news2.google.com comp.lang.ada:7801
Date: 2009-08-14T15:58:39-04:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> I think the whole issue should be revised some day...

I agree that this part of Ada is broken.  Subtypes on renamings should
not be ignored!

The right "some day" to fix this is circa 1982 -- anytime after 1983 is
too late.  Sigh.

Unless someone can come up with a fix that is upward compatible,
which is quite hard.  It has been discussed many times.

Note that the original designers of Ada 83 knew about this problem,
and discussed it, but did not come up with a proper fix.

- Bob