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.6 required=5.0 tests=BAYES_00,FROM_WORDY, LOTS_OF_MONEY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,269df2c167555fd6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-02-25 16:58:55 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!falcon.america.net!sunqbc.risq.qc.ca!newsfeed.mathworks.com!nntp.flash.net!newscon06.news.prodigy.com!prodigy.com!newsmst01!postmaster.news.prodigy.com!newssvr10-int.news.prodigy.com.POSTED!not-for-mail From: "Ken Garlington" Newsgroups: comp.lang.ada References: <3a95c52f@post.usenet.com> Subject: Re: Representation clause Organization: Prodigy (ex-FlashNet) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Message-ID: NNTP-Posting-Host: 65.65.209.83 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr10-int.news.prodigy.com 983148782 6207069 65.65.209.83 (Sun, 25 Feb 2001 19:53:02 EST) NNTP-Posting-Date: Sun, 25 Feb 2001 19:53:02 EST Date: Mon, 26 Feb 2001 00:53:02 GMT Xref: supernews.google.com comp.lang.ada:5529 Date: 2001-02-26T00:53:02+00:00 List-Id: "David C. Hoos, Sr." wrote in message news:CQdm6.136516$Ch.25230662@newsrump.sjc.telocity.net... : The fact that a given compiler may do reasonable things when the : sizes of the actual parameters of an instantiation of : Ada.Unchecked_Conversion are unequal, is not a property on : which I would like to depend. However, since there is at least one : compiler for which my comment is not true, I have modified my : comment to read as follows: : : -- The enumeration's 'Size attribute must be the same as that of : -- the representation type, else the effect is implementation- : -- defined; in particular, the result can be abnormal (see : -- RM95 13.9.1). Certainly, you don't want to depend upon that behavior, and the comment is better. I am curious about the interpretation of the ARM in one area, however. 13.3:47 and 13.9:4 seems to guarantee that we can depend on 'Size applied to the subtype being honored by the Unchecked_Conversion *source* parameter; are there any issues with the *target* object not being the same 'Size as its subtype? If the intent is to point out that there are restrictions related to the underlying dependence on Unchecked_Conversion, a reference to 13.9:5-11 would seem more appropriate. In fact, 13.9:9 might imply that you could _never_ depend upon this working...