TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Mike Smith <[log in to unmask]>
Mon, 15 Nov 1999 10:33:19 -0500
text/plain (19 lines)
Hi all,

I'd appreciate your help in answering the following question:

Is it unsafe to rename a type using an unconstrained subtype?

I've read in Barnes 2nd Ed (page 333) that range checking is disabled for
unconstrained subtypes, so this would seem to imply that only constrained
subtypes are really safe.  I'm primarily interested in where, if at all, a
range check would occur.  My first assumption was that a check would occur
if an object of that subtype was passed as a parameter, but Barnes' example
would seem to rule that out.

If I must use a constrained subtype, then so be it, but I'll miss the
convenience of leaving off the seemingly redundant constraint.