From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a81d7835683dac7b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-09-14 15:56:14 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!news-feed1.de1.concert.net!fu-berlin.de!uni-berlin.de!82-43-33-75.cable.ubr01.croy.blueyonder.co.UK!not-for-mail From: "Nick Roberts" Newsgroups: comp.lang.ada Subject: Re: Bases 1.52 Date: Sun, 14 Sep 2003 23:56:13 +0100 Message-ID: References: <4a4de33a.0309021059.53f71234@posting.google.com> <4060780.x1l89WMggb@linux1.krischik.com> <17eddf9f.0309092349.2ff22de2@posting.google.com> <1301057.xhkpTmYQhd@linux1.krischik.com> <3F64B1B3.2070305@attbi.com> NNTP-Posting-Host: 82-43-33-75.cable.ubr01.croy.blueyonder.co.uk (82.43.33.75) X-Trace: news.uni-berlin.de 1063580172 25872070 82.43.33.75 (16 [25716]) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4807.1700 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4807.1700 Xref: archiver1.google.com comp.lang.ada:42501 Date: 2003-09-14T23:56:13+01:00 List-Id: "Robert I. Eachus" 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]