Re: Bounded String question

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 11/12/2015 09:59 AM, Serge Robyns wrote:
> 
> From your post, I do understand you are an authority when it comes to
> language rules.  Am I so mistaken to hope that today's compilers could be
> smarter in preelaboration besides plain strings and scalars?  Is this
> something that could be looked at in the next Ada revision?

I'm not nearly as much of an authority as Bob Duff, who has commented on this
thread, or the other ARG members ("language lawyers" in common parlance) who
post here. The ARM tries to not limit implementation approaches and to stick to
things that compiler writers know how to do. The latter tends to grow with time,
so one can always hope for the list of pre-elaborable constructs to grow.
However, Null_Bounded_String is a deferred constant of a private type, so I
wouldn't hold my breath.

-- 
Jeff Carter
"Sons of a silly person."
Monty Python & the Holy Grail
02