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.
next prev parent 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