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

[Alexander Boucke <alexb@lufmech.rwth-aachen.de>]

Florian Weimer wrote:
> 
> 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!
> 
> I didn't understand this message, either.  AFAIK, the term "library
> level" is not mentioned in Cohen's book -- the one I used (at least,
> it's not listed in the index).  The RM definition is easy to find, but
> it's not very easy to understand (you must already know the concept of
> "accessibility level"). 

This was the same for me (using Barnes/RM). BTW: if the 
f77-Compiler I used before would have put so good (and 
so many) Error-messages... :-) After all, that's one of the reasons to
use Ada now.

Alexander Boucke
-- 
"I try to write idiot proof code, but they keep making better idiots."

A. Stanley in comp.sys.sgi.admin