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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Alleged GNAT bug
Date: Tue, 24 Oct 2017 18:08:33 -0500
Organization: JSA Research & Innovation
Message-ID: <osoh5h$58o$1@franka.jacob-sparre.dk>
References: <osde6h$256$1@gioia.aioe.org>
 <2be64a8b-5f89-414c-9dcd-433bd5d855a0@googlegroups.com>
Injection-Date: Tue, 24 Oct 2017 23:08:33 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="5400"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: news.eternal-september.org comp.lang.ada:48581
Date: 2017-10-24T18:08:33-05:00
List-Id: <comp.lang.ada>

"A. Cervetti" <andrea.cervetti@gmail.com> wrote in message 
news:2be64a8b-5f89-414c-9dcd-433bd5d855a0@googlegroups.com...
...
> The ARM is not explicit about this (as far as I know, any language lawyer 
> out there?)
> but the reason of the error is as I said.

That can't be right, because incomplete types aren't frozen; they have their 
own custom set of Legality Rules which is much stronger. (We - the ARG - 
confused ourselves about this for a decade until we gave up and changed back 
to the simple model.)

So the actual error ought to be something in 3.10.1, if the type in 
incomplete.

OTOH, the type is a *partial* view (like a private type), then the freezing 
rules do apply, specifically 13.14(17) or 7.3(5) or 3.11.1(8). The Ada 9x 
team thought this was so important they repeated it three times.

                               Randy.

P.S. I didn't actually look at the program, only the analysis. So the 
analysis could be way wrong. Too sick to take on extra work...