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,cb04cee6116c8ced
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!novia!news-out.readnews.com!transit4.readnews.com!panix!bloom-beacon.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Package's private parts and protected types
Date: Wed, 10 Feb 2010 11:09:39 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wccbpfxjcn0.fsf@shell01.TheWorld.com>
References: <7ff3810f-3ee3-4f39-a54c-933ad7d0655c@36g2000yqu.googlegroups.com>
 <e89844fd-9f16-40a1-821a-177d4f02caf4@o3g2000yqb.googlegroups.com>
 <1v2la97s2yyvd.1rcy0ana8mver.dlg@40tude.net>
 <3bb38996-47f7-4f30-8255-f011501404b5@b10g2000yqa.googlegroups.com>
 <wccwrynkc7p.fsf@shell01.TheWorld.com>
 <ecdbf9ec-ac29-428f-a658-8951fff34bb0@l19g2000yqb.googlegroups.com>
 <wcc3a1ao497.fsf@shell01.TheWorld.com>
 <4e959c35-34d1-49fb-b1eb-5b298e42610f@z19g2000yqk.googlegroups.com>
 <hkt69e$6fs$1@munin.nbi.dk>
 <af983fa7-fb94-4bc0-b923-2ed327011857@d37g2000yqa.googlegroups.com>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: pcls6.std.com 1265818167 18437 192.74.137.71 (10 Feb 2010 16:09:27
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Wed, 10 Feb 2010 16:09:27 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:NBlSbPpgqarGVKtW4Fj2XphLRlM=
X-Original-Bytes: 1948
Xref: g2news1.google.com comp.lang.ada:9091
Date: 2010-02-10T11:09:39-05:00
List-Id: <comp.lang.ada>

"Hibou57 (Yannick Duch�ne)" <yannick_duchene@yahoo.fr> writes:

> Remainder of [ARM 6.5(5.2/2)]
> The type of the subtype_indication shall be the result type of the
> function.

Ah, I see the problem.  This is a mistake in the RM, and there's
an AI that fixes it.  The real rule is that (in my example) T2
must be covered by T'Class, which it is.

Recent versions of GNAT correctly implement this new rule,
but I don't know what version you're using.

- Bob