comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: BLAS
Date: 2000/05/18
Date: 2000-05-18T00:00:00+00:00	[thread overview]
Message-ID: <8fvh88$k2i$1@nnrp1.deja.com> (raw)
In-Reply-To: wcc3dngahf0.fsf@world.std.com

In article <wcc3dngahf0.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> wrote:
> Robert Dewar <robert_dewar@my-deja.com> writes:
>
> > 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. ...
>
> Lots of things are "obvious" once you know the right answer.
;-)
> How many times has the ARG come to a conclusion that is
obviously right
> to everyone, after much bitter argument?  ;-)


Sure, but still something that is in the syntax is pretty
clear to everyone, the good old Sanskrit scholars who
invented BNF a thousand years ago figured this one out!


Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~2000-05-18  0:00 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-05-15  0:00 BLAS Duncan Sands
2000-05-15  0:00 ` BLAS Robert A Duff
2000-05-15  0:00   ` BLAS Robert Dewar
2000-05-16  0:00     ` BLAS Robert A Duff
2000-05-17  0:00       ` BLAS Robert Dewar
2000-05-17  0:00         ` BLAS Robert A Duff
2000-05-18  0:00           ` Robert Dewar [this message]
  -- strict thread matches above, loose matches on Subject: below --
2000-05-12  0:00 BLAS Duncan Sands
2000-05-12  0:00 ` BLAS Gautier
     [not found] <391BC1F5.DFB47045@maths.unine.ch>
2000-05-12  0:00 ` BLAS Duncan Sands
2000-05-12  0:00   ` BLAS Gautier
2000-05-12  0:00   ` BLAS Robert A Duff
2000-05-13  0:00   ` BLAS Larry Kilgallen
2000-05-14  0:00     ` BLAS Gautier
2000-05-15  0:00       ` BLAS Larry Kilgallen
2000-05-15  0:00         ` BLAS Gisle S�lensminde
2000-05-15  0:00       ` BLAS Gisle S�lensminde
2000-05-13  0:00   ` BLAS Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox