Re: Bounded String question

["Randy Brukardt" <randy@rrsoftware.com>]

"Xavier Petit" <xpetit@becoast.fr> wrote in message 
news:56dc7e22$0$19749$426a34cc@news.free.fr...

I don't know if this is relevant...

> procedure Test_Bounded_String is
>    package Bounded_String is
>       type T (Max_Length : Natural := 100) is limited private;

...but a type like this can be completed with a non-limited type. That might 
prevent the compiler from applying a limited-only optimization. (Another way 
to say it is that this type is not inherently limited; non-limited views can 
exist of such types, and a non-limited view would need an allocate-the-max 
strategy [or a non-contiguous object].)

You might try making this type tagged, as that would make it inherently 
limited and *might* allow the compiler to make the optimization. (Or it 
simply might not work for any private type - optimizations are just that, 
and it isn't always easy to apply them to partial views.) Otherwise, you'll 
have to forgo using a private type (ugh, I know).

                                   Randy.