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, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,71aa8acfc8368f1c X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: BLAS Date: 2000/05/17 Message-ID: <8fv2tl$48h$1@nnrp1.deja.com>#1/1 X-Deja-AN: 624701489 References: <8fpib6$sbt$1@nnrp1.deja.com> X-Http-Proxy: 1.0 x21.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Before you buy. X-Article-Creation-Date: Wed May 17 21:28:42 2000 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I) Date: 2000-05-17T00:00:00+00:00 List-Id: In article , Robert A Duff wrote: > Well, I suppose one never *needs* to reference the AARM, assuming one > can imagine all the consequences of the RM in one's head (and assuming > the RM has no bugs ;-)). The AARM in this case says what you said above > -- apparently whoever wrote that paragraph thought it was not obvious > from the RM (even though it of course follows from the RM). I am puzzled, it simply seems to me to be a matter of syntax. Syntactically x'base is a subtype mark, since it is a name that denotes a subtype. End of story. Does not seem like a non-obvious conclusion to me. Yes, I missed it first time around, but that's definitely NOT proof that a note is needed (sometimes I look for my glasses when they are on my nose, temporary loss of congnitive facilities strikes every now and then :-) :-) To me, now that I see clearly (and know that my glasses are indeed safely on my nose), this is a pretty clear bug, and is by the way already corrected in the latest version of GNAT, since someone was kind enough to take the effort to send in a bug report. Robert Dewar Sent via Deja.com http://www.deja.com/ Before you buy.