TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Proportional Font
Show HTML Part by Default
Condense Mail Headers

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

Print Reply
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
X-To: "Team Ada Mail List (E-mail)" <[log in to unmask]>
Date: Mon, 15 Nov 1999 10:33:19 -0500
From: Mike Smith <[log in to unmask]>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"
Organization: amecom
MIME-Version: 1.0
Parts/Attachments: 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.