Re: Interesting effects in array renaming

[Georg Bauhaus <sb463ba@d2-hrz.uni-duisburg.de>]

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
: 
: "... any constraint implied by the subtype_mark of the 
: object_renaming_declaration is ingored)."
: 
: I.e. whatever subtype you, a programmer, might specify I, the compiler, will 
: shamelessly ignore it!
: 
: How safe! Do you really think it is OK? Consider this:
 [...]
: I see only two alternatives:
: 
: Either to add a dynamic semantics ensuring that the result of renaming is a 
: valid object of the declared subtype. [X2 raises Constraint_Error if 
: Constrained'Range /= X'Range]
 
I think the compiler could warn about possibly
"incompatible" constraints in a renaming declaration.

Have you written to the producers of your compiler?