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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c6e6cdf6ff50e684 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-11 16:45:53 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.tele.dk!144.212.100.101!newsfeed.mathworks.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Representation clause for enumeratives Date: Mon, 12 Feb 2001 00:30:33 GMT Organization: Deja.com Message-ID: <967ar9$sq7$1@nnrp1.deja.com> References: <95tqbh$ag7$1@nnrp1.deja.com> <962n4v$fmg$1@nnrp1.deja.com> <27eh6.3787$y03.254014@news.flash.net> <963tu2$b0f$1@nnrp1.deja.com> <9657ua$bjh$1@nnrp1.deja.com> NNTP-Posting-Host: 205.232.38.14 X-Article-Creation-Date: Mon Feb 12 00:30:33 2001 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x70.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:5136 Date: 2001-02-12T00:30:33+00:00 List-Id: In article , "Ken Garlington" wrote: > For example, I'd argue that -16#FFFF_FFFF# .. -1 is both > "representable" in 32 bits and in the range System.Min_Int .. > System.Max_Int. > Words about treating a set with no negative values as > unsigned values, and as unbiased signed values otherwise > would have been clearer to me. Don't hesitate to make documentation suggestions, many improvements to the documentation come from suggestions sent to report@gnat.com. In this particular case, the RM of course does not allow biasing of representations when an enumeration representation clause is present, since this is one of the few (really the only) case where the RM has something to say about representation, and indeed the ACVC tests (I wrote the relevant ones :-) test this by doing unchecked conversion. But it never hurts to emphasize things in the documentation, so I agree it would be helpful to point out that biased representations cannot be used for enumeration types! Sent via Deja.com http://www.deja.com/