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,2e66fe8b30e3ee2c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-10-06 19:50:33 PST Path: supernews.google.com!sn-xit-02!supernews.com!isdnet!209.249.123.233.MISMATCH!xfer10.netnews.com!netnews.com!news-xfer.newsread.com!bad-news.newsread.com!netaxs.com!newsread.com!POSTED.monger.newsread.com!not-for-mail Message-ID: <3A061E9A.B8F76112@telepath.com> From: Ted Dennison X-Mailer: Mozilla 4.72 [en] (Windows NT 5.0; I) X-Accept-Language: en,pdf MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: S'Write and How To Count Bytes References: <39D6891A.7DC448B6@acm.org><39D88ACE.92DF8897@acm.org> <8raa11$nmg$1@nnrp1.deja.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Sat, 07 Oct 2000 00:11:03 GMT NNTP-Posting-Host: 38.195.186.125 X-Complaints-To: Abuse Role , We Care X-Trace: monger.newsread.com 970877463 38.195.186.125 (Fri, 06 Oct 2000 20:11:03 EDT) NNTP-Posting-Date: Fri, 06 Oct 2000 20:11:03 EDT Organization: Telepath Systems (telepath.com) Xref: supernews.google.com comp.lang.ada:1042 Date: 2000-10-07T00:11:03+00:00 List-Id: Randy Brukardt wrote: > Robert A Duff wrote in message ... > >Ted Dennison writes: > > > >> I'm not sure if implementors are required to make 'Write on unbounded > >> strings (or bounded ones for that matter) do anything sensible. I > don't > >> see anything in the LRM about it, so I'd guess not. > > > >I think there's an AI on this. > > Indeed, it is in the Technical Corrigendum. See 13.13.2(36.1/1) in the > revised ARM. OK. I went and checked out the nifty new ARM in PDF form (html doesn't have page numbers, presumably due to the formatting limitations of html). Here's what it says: {8652/0040} For every subtype S of a language-defined nonlimited specific type T, the output generated by S'Output or S'Write shall be readable by S'Input or S'Read, respectively. This rule applies across partitions if the implementation conforms to the Distributed Systems Annex. 36.1/1 Now just reading this cold, I would have figured that "language-defined type" meant types defined by the language itself (eg: Integer), rather than defined in a package (eg: System.Address or Ada.Strings.Unbounded.Unbounded_String). Thus this passage really wouldn't have anything to say about the workability of Unbounded_String'Write. BTW: Good job to everyone involved. -- T.E.D. Home - mailto:dennison@telepath.com Work - mailto:dennison@ssd.fsi.com WWW - http://www.telepath.com/dennison/Ted/TED.html ICQ - 10545591