comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: What is wrong here? (Generic and controlled types)
Date: 2000/04/06
Date: 2000-04-06T00:00:00+00:00	[thread overview]
Message-ID: <8cil58$b50$1@nnrp1.deja.com> (raw)
In-Reply-To: wccn1n7mbax.fsf@world.std.com

In article <wccn1n7mbax.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> wrote:
> Robert Dewar <robert_dewar@my-deja.com> writes:
>
> > It is interesting to argue about whether an RM reference
would
> > help. The RM reference would indeed be to the section in the
> > RM talking about rules for deriving tagged types in terms of
> > accessibility levels.
>
> If you were to put in RM references, surely you would refer
> to all the relevant paragraphs

I would mostly react "surely not", one RM reference is dubious,
a whole list of related RM references seems even less likely
to be useful.


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




  reply	other threads:[~2000-04-06  0:00 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-04-03  0:00 What is wrong here? (Generic and controlled types) Alexander Boucke
2000-04-03  0:00 ` Ted Dennison
2000-04-03  0:00   ` Robert Dewar
2000-04-03  0:00     ` swhalen
2000-04-06  0:00       ` Robert Dewar
2000-04-03  0:00     ` Florian Weimer
2000-04-03  0:00       ` tmoran
2000-04-04  0:00       ` Alexander Boucke
2000-04-06  0:00       ` Robert Dewar
2000-04-21  0:00         ` Florian Weimer
2000-04-03  0:00     ` Ted Dennison
2000-04-04  0:00     ` Robert A Duff
2000-04-06  0:00       ` Robert Dewar
2000-04-06  0:00       ` Mats Weber
2000-04-06  0:00         ` Robert Dewar
2000-04-06  0:00           ` Robert A Duff
2000-04-06  0:00             ` Robert Dewar [this message]
2000-04-21  0:00     ` Vincent Marciante
2000-04-21  0:00       ` Robert Dewar
2000-04-21  0:00         ` Robert Dewar
2000-04-22  0:00         ` Vincent Marciante
2000-04-22  0:00           ` Robert Dewar
2000-04-03  0:00   ` Ehud Lamm
2000-04-04  0:00   ` Alexander Boucke
2000-04-06  0:00     ` 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