Ada subtypes and base types

[Robert Dewar]

Jeffrey A Law wrote:

> TYPE_MIN_VALUE/TYPE_MAX_VALUE should cover the entire range of
> values that can be assigned to a particular object.

Do you mean assigned as in "with an assignment statement", or do
you mean "end up in the object by any mechanism"?
> 
> Most of the other stuff discussed so far is background material to
> that ultimate issue IMHO.
> 
> Jeff