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: 103376,7a3b1c6915ea1273
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.73.229 with SMTP id o5mr3371231pbv.7.1326547785462;
        Sat, 14 Jan 2012 05:29:45 -0800 (PST)
Path: 
 lh20ni181244pbb.0!nntp.google.com!news1.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Brian Drummond <brian@shapes.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: How many Ada compiler bugs are here?
Date: Sat, 14 Jan 2012 13:29:44 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <jes008$q0f$1@dont-email.me>
References: <01dd6341-9c3c-4dcb-90f8-6ac66c65eb66@z1g2000vbx.googlegroups.com>
	<jentdh$4sd$1@munin.nbi.dk>
	<0980607c-df6d-4769-bf6c-288c5666b40f@a11g2000vbz.googlegroups.com>
	<7a8f802e-8d70-4d97-8b85-3f87dafa0899@u20g2000yqb.googlegroups.com>
Mime-Version: 1.0
Injection-Date: Sat, 14 Jan 2012 13:29:44 +0000 (UTC)
Injection-Info: mx04.eternal-september.org;
 posting-host="DkTdSjxOCm6DqG+Uf7eArg";
	logging-data="26639"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19jc3N2fWxmTDW8mxzcsIYpXNGGsd/Dw44="
User-Agent: Pan/0.134 (Wait for Me; GIT cb32159 master)
Cancel-Lock: sha1:PyKCfLN3/wkO4RjzehrVZntHB4s=
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2012-01-14T13:29:44+00:00
List-Id: <comp.lang.ada>

On Fri, 13 Jan 2012 15:30:37 -0800, Adam Beneschan wrote:

> Maciej's package says
> 
>   overriding procedure Adjust (...)
> 
> which is illegal because Adjust isn't supposed to be visible to his
> package.  If GNAT is accepting this, this means that some stuff that
> should be invisible is visible, and that's a bug.
> 
>                               -- Adam

Recalling an earlier conversation : this (visibility of private parts) 
strikes me as a candidate for submission to the ACATS suite; though it 
would surprise me if ACATS doesn't cover this in some depth already.

One question is : can the same error be reproduced with a less specific 
test case (type A is interface ... ), or has Gnat special-cased 
controlled types such that the error only appears with Ada.Finalization 
and procedures named Adjust etc?

The latter I can understand to some extent; but if the former ... what 
went wrong?

- Brian