Re: Ada 95 constructors on limited types

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Brian May writes:
>>>>>> "Jeffrey" == Jeffrey R Carter <spam.jrcarter.not@acm.nospam.org> writes:
>
>     Jeffrey> shaunpatterson@gmail.com wrote:
>     >> 
>     >> package Parent is
>     >> 
>     >> type Class is abstract tagged limited null record;
>     >> type Class_Access is access all Class'Class;
>     >> 
>     >> end Parent;
>
>     Jeffrey> There's your problem. Don't use public access types.
>
> Why not?

Because they automatically make the package impure for no good reason,
thereby preventing use of the package in pure or preelabotated
packages.  Moral: Declare your access types only if and where you need
them.

-- 
Ludovic Brenta.