Re: Alleged GNAT bug

["Randy Brukardt" <randy@rrsoftware.com>]

"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...