Mike > The problem with renamings of packages is that they only
     > rename the visible part.

Sam > ... you're talking about having multiple bodies for the same spec,
    > e.g. to select a body based on what target you're on. This is
    > done outside the language in Ada...

Yes, thank you. It is now done outside the language, and the language
would be bettered by permitting it to be done inside the language.

Of the two proposals I gave to permit this (a package body renaming
and passing a nongeneric package as a parameter to a nongeneric
package) the package parameter is the better way to permit this in
Ada 200X.

Of course, you are right, that at the current time there is no way
to do this useful thing within the Ada language, the way it is with
the package specs.