From: Jon S Anthony <jsa@synquiry.com>
Subject: Re: limited/non-limited in Ada95
Date: 1997/10/23
Date: 1997-10-23T00:00:00+00:00 [thread overview]
Message-ID: <ufoh4gmd68.fsf@synquiry.com> (raw)
In-Reply-To: 62n5c3$m8n@mulga.cs.mu.OZ.AU
fjh@mundook.cs.mu.OZ.AU (Fergus Henderson) writes:
Oh yeah,
> against Robert Dewar's word, and against Bob Duff's word, and more
> to the
Since when is argument from authority at all relevant here? Actually,
I don't see any argument here at all - on either side. As I say, this
is a tradeoff situation where opinion on what is the best of a set of
bad ways to solve something is what is being discussed.
> point against Bob Duff's constructive proof?
What constructive "proof"? There's nothing I don't/didn't know about
this approach - I even tried it (as _stated_). This is not about "can
you do this in Ada?" Of course you can - that's a ridiculous point.
/Jon
--
Jon Anthony
Synquiry Technologies, Ltd., Belmont, MA 02178, 617.484.3383
"Nightmares - Ha! The way my life's been going lately,
Who'd notice?" -- Londo Mollari
next prev parent reply other threads:[~1997-10-23 0:00 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-10-13 0:00 limited/non-limited in Ada95 Tom Moran
1997-10-16 0:00 ` Matthew Heaney
1997-10-17 0:00 ` Jon S Anthony
1997-10-18 0:00 ` Tom Moran
1997-10-18 0:00 ` Matthew Heaney
1997-10-19 0:00 ` Tom Moran
1997-10-19 0:00 ` Matthew Heaney
1997-10-21 0:00 ` Tom Moran
1997-10-21 0:00 ` Matthew Heaney
1997-10-21 0:00 ` Robert A Duff
1997-10-18 0:00 ` Matthew Heaney
1997-10-21 0:00 ` Jon S Anthony
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Jon S Anthony
1997-10-23 0:00 ` Fergus Henderson
1997-10-23 0:00 ` Jon S Anthony
1997-10-24 0:00 ` Geert Bosch
1997-10-23 0:00 ` Jon S Anthony [this message]
1997-10-22 0:00 ` Robert Dewar
1997-10-22 0:00 ` Jon S Anthony
1997-10-21 0:00 ` Robert Dewar
1997-10-21 0:00 ` Jon S Anthony
1997-10-22 0:00 ` Robert Dewar
1997-10-22 0:00 ` Jon S Anthony
1997-10-21 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox