Re: library level required or not?

[Marius Amado Alves <maa@liacc.up.pt>]

Myself:
> I have in my notes that an object, of a type declared in package Ada or
> descendants, is not required to be defined at library level, even if the
> type is controlled. (I know I can declare unbounded strings, which are
> clearly controlled, in a 'main' procedure.)
>
> I vaguely recall deriving this rule from the RM, but now I cannot find the
> clause. Is the rule true? By what clause?

Ok, I found Ada Issue 115, which clarifies that "a language-defined generic 
package may be instantiated at any nesting depth."

I'm still in the dark regarding unbounded strings though, as 
Ada.Strings.Unbounded is not generic.