From: bbalfour@std.caci.com (Brad Balfour)
Subject: Re: Ada Java question => clarification
Date: 1997/03/05
Date: 1997-03-05T00:00:00+00:00 [thread overview]
Message-ID: <bbalfour-0503971426380001@stmac0088.std.caci.com> (raw)
In-Reply-To: dewar.857568580@merv
In article <dewar.857568580@merv>, dewar@merv.cs.nyu.edu (Robert Dewar) wrote:
>There is a most likely misunderstanding, and I would tend to agree with
>you that your misunderstanding was the most likely, but you cannot prove
>that the RM reference is inappropriate or wrong by starting with the
>assumption that obviously your misunderstanding is the same as any one
>elses in this particular situation.
True. And I don't really think that the two references provided in the
error message are "inappropriate or wrong". I just think that they are
incomplete. You are 100% correct when you point out that to be complete
the message must include the transitive closure of the RM. I'm not really
advocating that position. I'd just like the RM references to include some
of the "likely" misunderstandings, such as the one I illustrated. But, as
you've pointed out, it's a judgement call as to which are likely
misunderstandings. Other people's may not be same as mine. As always,
"your milage may vary".
--
Brad Balfour SIGAda WWW Server
CACI, Inc. http://www.acm.org/sigada/
(703) 277-6767 and also try:
bbalfour@std.caci.com http://www.adahome.com/
3930 Pender Drive Fairfax, VA 22030
"...they even have rules for exceptions" -- Dewar and Schonberg
next prev parent reply other threads:[~1997-03-05 0:00 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-02-26 0:00 Ada Java question Kendal Van Dyke
1997-02-27 0:00 ` Tucker Taft
1997-02-28 0:00 ` Ada Java question => clarification Kendal Van Dyke
1997-02-28 0:00 ` Tucker Taft
1997-02-28 0:00 ` Brad Balfour
1997-02-28 0:00 ` Kendal Van Dyke
1997-02-28 0:00 ` Norman H. Cohen
1997-03-01 0:00 ` David Taylor
1997-03-02 0:00 ` Robert Dewar
1997-03-06 0:00 ` David Taylor
1997-03-08 0:00 ` tagged type auto-"Use", was " Tom Moran
1997-03-10 0:00 ` Dennis Reimer
1997-03-09 0:00 ` Robert Dewar
1997-03-09 0:00 ` Larry Kilgallen
1997-03-09 0:00 ` Robert Dewar
1997-03-15 0:00 ` Matthew Heaney
1997-03-01 0:00 ` Fergus Henderson
1997-02-28 0:00 ` Ada Java question => oops!! Kendal Van Dyke
1997-03-02 0:00 ` Ada Java question => clarification Robert Dewar
1997-03-03 0:00 ` Brad Balfour
1997-03-05 0:00 ` Robert Dewar
1997-03-05 0:00 ` Brad Balfour [this message]
1997-02-28 0:00 ` Ada Java question Tom Halliley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox