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,463c997594f91391 X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: Get_Immediate warning, (was: How to get a character?) Date: 1999/04/14 Message-ID: <7f296v$9ld$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 466295384 References: <370EE07D.67C71458@dave-world.net> <87k8vkag6f.fsf@bglbv.my-dejanews.com> <923936702.835.91@news.remarQ.com> <371304D4.81D40292@ddre.dk> <7eva5j$npf$1@nnrp1.dejanews.com> <3714398E.B7E4D499@ddre.dk> X-Http-Proxy: 1.0 x1.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Wed Apr 14 14:37:20 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-04-14T00:00:00+00:00 List-Id: In article <3714398E.B7E4D499@ddre.dk>, JS wrote: > Robert Dewar wrote: > > > > In article <371304D4.81D40292@ddre.dk>, > > JS wrote: > I would not call this an implementation dependance, but a > compiler bug. (here "this" = waiting for line return before returning for a Get_Immediate with Available set). Well anyone can all anything by any label they want, but the issue is not what John Doe calls something, but rather what the RM says. Since the requirement in the RM does not define what available means, or what is required to compute the predicate available, you cannot conclude there is a bug here. The "interesting stuff" you snipped from my message also applies here. The issue is whether your compiler obeys the implementation advice. You need to look this up in Annex M. Whether this was a bug in the compiler or not depends on whether they claimed to follow this advice. If you can't find documentation on whether the compiler follows this advice, then the compiler does not conform to the RM in any case, because this documentation is required. Robert Dewar -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own