Re: GNAT 4.2.3 Ubuntu reports weird compile error wrt Unchecked_Access

[Jerry <lanceboyle@qwest.net>]

On Aug 17, 10:14 am, Simon Wright <simon.j.wri...@mac.com> wrote:
> Jerry <lancebo...@qwest.net> writes:
> > On Aug 16, 3:26 am, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> >> Without more context I cannot tell for sure but I believe this is a
> >> compiler error in the sense that gnat-4.2 does not implement all the
> >> new (and more permissive) rules in Ada 2005 regarding anonymous access
> >> types. gnat-3.2 implements these rules.
>
> >> BTW, I've mentioned already that Ubuntu 8.04 has broken support for
> >> Ada. Better stick to Debian.
>
> >> --
> >> Ludovic Brenta.
>
> > I can quickly get in over my head here and I'm not very familiar with
> > anonymous access types, but isn't 'Unchecked_Access a part of Ada 95
> > if not 83?
>
> Not 83, I think.
>
> The thing is, 'Unchecked_Access may well be allowed in more places in
> '05 than it was in '95; and compilers don't always get this sort of
> thing right first time.
>
> GNAT has 'Unrestricted_Access for places where the rules (or the
> compiler) don't allow 'Unhchecked_Access.

Thanks, Simon.

I believe that this particular use of 'Unchecked_Access was allowed in
Ada 95 and one would think that it would continue to work in Ada 2005,
separate from whether any new usages in Ada 2005 work the first time.
And the compiler in question is a 4.2.3 which I _think_ is not Ada
2005, but I could be mistaken. Furthermore, the two compilers
mentioned in the original post which _do_ behave correctly are both
4.3 which _are_ (mostly, anyway, I think) Ada 2005.

Jerry