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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b3edde39ad90f1b7 X-Google-Attributes: gid103376,public From: Tucker Taft Subject: Re: Representation clauses and streams Date: 2000/01/02 Message-ID: <386F900C.235952C2@averstar.com>#1/1 X-Deja-AN: 567460907 Content-Transfer-Encoding: 7bit Sender: news@inmet.camb.inmet.com (USENET news) X-Nntp-Posting-Host: lr1.burl.averstar.com References: <84du8g$c67$1@nnrp1.deja.com> Content-Type: text/plain; charset=us-ascii Organization: AverStar (formerly Intermetrics) Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 2000-01-02T00:00:00+00:00 List-Id: Florian Weimer wrote: > > Robert Dewar writes: > > > > Is there any reason why GNAT > > > ignores the implementation advice 13.13.2(17)? > > > > GNAT is NOT ignoring this advice > > Yes, you're right. I missed the words `base range' (or didn't understand > their implications). I'm sorry about that. As Robert mentioned, this implementation advice is in the middle of revision by the Ada Rapporteur Group (ARG) of the ISO Working Group 9. The new advice will specify the "first subtype range" rather than the "base range," as the first subtype range is portable across implementations, and seems to match users' expectations better. Note that this will mean that certain values of the "base" subtype T'Base may raise Constraint_Error when passed to T'Write. This is currently felt by the ARG to be a reasonable tradeoff. Apparently GNAT has not yet been revised to follow the updated advice, which is quite reasonable given that the associated AI, AI-195, is still a work-item -- it is not yet officially "approved." For the full AI, see: http://www.ada-auth.org/cgi-bin-acats/cvsweb.cgi/AIs/AI-00195.DOC and select revision 1.10. -Tucker Taft stt@averstar.com