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,6cc2d0131145e263 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-10 10:11:46 PST Path: archiver1.google.com!newsfeed.google.com!postnews1.google.com!not-for-mail From: dewar@gnat.com (Robert Dewar) Newsgroups: comp.lang.ada Subject: Re: Question about "for X'Size use ..." Date: 10 Aug 2001 10:11:45 -0700 Organization: http://groups.google.com/ Message-ID: <5ee5b646.0108100911.1e1b02fb@posting.google.com> References: <3B72C23E.62F7B3D2@san.rr.com> <5ee5b646.0108091439.3e48faef@posting.google.com> <871ymk480x.fsf@deneb.enyo.de> NNTP-Posting-Host: 205.232.38.244 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 997463506 31155 127.0.0.1 (10 Aug 2001 17:11:46 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 10 Aug 2001 17:11:46 GMT Xref: archiver1.google.com comp.lang.ada:11775 Date: 2001-08-10T17:11:46+00:00 List-Id: Florian Weimer wrote in message news:<871ymk480x.fsf@deneb.enyo.de>... > (I think that AI 270 is pointless. Stream_Size won't give any > additional portability unless the order of stream elements can be > controlled, and the method of storing the sign, and the situations > were the range of type neither is not symmetric around zero.) You are missing a lot here! Indeed AI 270 is quite significant in achieving interoperability, and was motivated by the fact that compilers were not interoperable before (because of unexpectedly large base types), and now they are. The mention of storing the sign is a bit bogus, given that virtually all machines are twos complement now. More importantly you now get complete interoperability for the type type x is range 0 .. 255; for x'size use 8; which was not the case before If you think an AI is pointless, you are probably missing something. AI's don't get approved without a lot of very well informed highly skeptical perusal and discussion by the ARG :-)