Re: Get_Immediate warning, (was: How to get a character?)

[Robert Dewar <robert_dewar@my-dejanews.com>]

In article <3714398E.B7E4D499@ddre.dk>,
  JS <john.doe@ddre.dk> wrote:
> Robert Dewar wrote:
> >
> > In article <371304D4.81D40292@ddre.dk>,
> >   JS <john.doe@ddre.dk> 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