Re: Ada 0x: Re: Representation clause

[James Rogers <jimmaureenrogers@worldnet.att.net>]

Randy Brukardt wrote:
> 
> Because checking 'Valid does NOT evaluate an invalid representation.
> (That is a subtle point.) And creating an invalid representation is
> neither a bounded error nor erroneous: it is only the action of
> EVALUATING an invalid representation that is an error.
> 
> Thus, creating a value with Unchecked_Conversion and IMMEDIATELY
> checking it with 'Valid is perfectly valid Ada code. And any compiler
> that raises an exception before doing so is incorrect (and I very much
> doubt you'd find one.)

Yes, that clearly leads to simpler code than my more heavy-handed
approach. I had missed the subtle point that 'Valid does not evaluate
the scalar variable. I was attempting to perform an eqivalent 
determination before converting the data to the scalar type.

Thanks for your patience.

Jim Rogers
Colorado Springs, Colorado USA