Re: problems with classes

["Martin Dowie" <martin.dowie@baesystems.com>]

Dmitry A. Kazakov wrote:
> You cannot complete X in the private part, because you have promised
> that X will be completed in the public part. So either:
>
> package Foo is -- LEGAL
>    ...
> private
>    type X; -- Incomplete declaration
>    type X is range 1..20; -- Type completion and full view
>
> or
>
> package Foo is -- LEGAL
>    type X; -- Incomplete declaration
>    type X is range 1..20; -- Type completion and full view
> private
>    ...

And don't forget...

package Foo is
private
   type X;  -- Incomplete declaration; an "opaque type"
end Foo;

package body Foo is
   type X is range 1 .. 20;  -- No public view
   ...
end Foo;