Re: Ada.Strings.Bounded

On Apr 14, 2:00 am, "Dmitry A. Kazakov" <mail...@[EMAIL PROTECTED]
>
wrote:
> If we had universal_string, it would have no assignment anyway, because
all
> universal objects are immutable.

Sure, because you can't declare a variable of a universal type.  But
this critique misses the point, which is about the relation****p of
types that partially implement a universal type.

> There is a difference between types and their constrained subtypes in
terms
> of substitutability. That's why the language has Constraint_Error
defined.
> The contracts extended by Constraint_Error aren't violated and
everything
> is fine.

Sure, but again not the point.  The relation****p between a universal
type and an implemented type is NOT the same as that between two
implemented types.

Eric