Re: What is wrong here? (Generic and controlled types)

[Vincent Marciante <marciant@li.net>]

Robert Dewar <robert_dewar@my-deja.com> writes:

|    29.    package Real_Vectors is new Generic_Vectors(Real, Index,
Zero);
|           |
|        >>> instantiation error at generic_vectors.ads:23
|        >>> controlled type must be declared at the library level
|        >>> instantiation error at generic_vectors.ads:75
|        >>> controlled type must be declared at the library level

> P.S. it is hard to see how the GNAT message could be any
> clearer, suggestions welcome!

   
29.    package Real_Vectors is new Generic_Vectors(Real, Index, Zero);
       |
    >>> instantiation error at generic_vectors.ads:23

    >>> controlled type must be declared in a package
                                         ^^^^^^^^^^^^
    >>> that is a library unit
    ^^^^^^^^^^^^^^^^^^^^^^^^^^         

Both "package" and "library unit" are in the ARM's index.