Re: Ada.Locales pseudo-string types

[Adam Beneschan <adam@irvine.com>]

On Tuesday, August 7, 2012 11:22:17 AM UTC-7, Marius Amado-Alves wrote:
> > >    subtype Country_Code is String (1 .. 2) 
> > >       with Static_Predicate =>
> > >          Country_Code (1) in 'A' .. 'Z' and
> > >          Country_Code (2) in 'A' .. 'Z';
> 
> > But it looks to me that "current instance" refers strictly to the name Country_Code, period, without any indexes...
> 
> If Country_Code denotes the object (?), and the object is a String, then I 
> don't see a problem in indexing it.

I don't know what you mean by "you don't see a problem".  There are (I'm sure) places in the language where a "current instance" of an array type can be indexed, but a static predicate isn't one of them.  And when you do, the indexed expression, as a whole, wouldn't be called a "current instance" for the purposes of the language rules; only the array type name would be a "current instance".


> I agree it looks more dynamic than static. I've tried Dynamic_Predicate to see
> if the predicate had effect. It did not.

Probably a compiler "bug", or a feature that isn't fully implemented yet.

                            -- Adam