Re: BLAS

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

In article <wccg0ritzrf.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> 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.