Re: Discriminant and type extensions

["Yannick Duchêne Hibou57" <yannick_duchene@yahoo.fr>]

On 6 oct, 00:15, Yannick Duchêne Hibou57 <yannick_duch...@yahoo.fr>
wrote:
> For procedures and functions, the Renames clause may do the thing
> (explicitly re-introducing procedures and functions in the scope), but
> for discriminants in this kind of context, I do not know a way.
> Perhaps I do not know it, or perhaps this may be a candidate proposal.

While this can be a bit dangerous too. Today I've faced an
unintelligible confusing bug. It was due to erroneously edited copy/
paste done while importing some entities in a current scope from the
scope of an instantiated packages.

If only there was a way to check that both parts of a rename clause
use the same name. Like checking that in “ NameX Declaration renames
PackageY.NameX ” both NameX are the same.

Is it a famous practice ? If it is enough, a syntax to check it, based
on existing reserve words would not be syntactic sugar, this would be
really useful check.

Why not reuse the For/Use pre-existing keywords ? To have something
like “ for NameX Declaration use PackageY.NameX ”. This may not
conflict with a representation clause. Or it may ?