Re: Private declaration question

[Dale Stanbrough <dale@goanna.cs.rmit.EDU.AU>]

Jerry van Dijk writes:

"Why has the completion of a private declaration to be a full view ?

     1. package Oops is
     2.
     3.    type A_Type is limited private;
     4.
     5. private
     6.
     7.    type A_Type is array (Positive range <>) of Integer;
                |
        >>> full view of type must be definite subtype"


think what would happen if someone declared...

	type stuff is array (1..10) of A_Type;

Arrays can only be declared using definite (i.e. fixed size) types.

Try

	type A_Type (<>) is limited private;


Dale