Re: Ada.Locales pseudo-string types

[Marius Amado-Alves <amado.alves@gmail.com>]

> > But let me recall that the original case is all static: we want to convert from
> >    type Language_Code is array (1 .. 3) of Character range 'a' .. 'z';
> > to
> >    type String is array(Positive range <>) of Character
> >       with Pack;
> > Nothing could go wrong in this case.

> That depends on the way you define wrongness.

An invalid value.


> To me it is already wrong
> because types are different.

The whole point of the concept of conversion is precisely too bridge different types.

Anyway, as you know, the language already converts between "different" arrays, as long as some aspects are equivalent. I am just suggesting changing the operand range = target range constraint, to <=.

> Note that from my POV being structurally
> equivalent means nothing. Type is a set of values and operations. What
> operations are defined on Language_Code? Are they same to ones of String?
> If so, then conversion is possible.

Again, conversion is exactly to bridge these differences. If the operations were the same, we would not need to convert!

> ... There really should be no types without
> classes and primitive operations.

I tend to agree here, but the above points stand.