Re: Bases 1.52

["Nick Roberts" <nickroberts@blueyonder.co.uk>]

"Robert I. Eachus" <rieachus@attbi.com> wrote in message
news:3F64B1B3.2070305@attbi.com...

> But like unbounded string types, or a discriminated record
> type without a default value for the discriminant, you must
> provide an initial value

An initial value is not required for an object of type
Ada.Strings.Unbounded.Unbounded_String. It is initialised by default to an
empty string [RM95 A.4.5.(73)]. I guess you meant "... like objects declared
as being of an unconstrained subtype with no constraint, such as 'String',
or of a discriminated record subtype which does not have default expressions
for the discriminants and with no constraint, ...".

> for any objects of type T'Class you declare.  (Matt's
> examples showed  this.) It would be nice in Ada 200Y
> to add a short technical term to describe these types
> of types.

Do you mean other than the term "indefinite"? [RM95 3.3(23), 3.7(26)]

--
Nick Roberts
Jabber: debater@charente.de [ICQ: 159718630]