comp.lang.ada
 help / color / mirror / Atom feed
From: "Mark Lundquist" <up.yerz@nospam.com>
Subject: Re: Generics not overloadable
Date: Thu, 29 Nov 2001 19:10:03 GMT
Date: 2001-11-29T19:10:03+00:00	[thread overview]
Message-ID: <fKvN7.1436$726.493581@news1.sttln1.wa.home.com> (raw)
In-Reply-To: 3C0611EB.F7E0E1A9@cfmu.eurocontrol.int


"Ian Wild" <ian@cfmu.eurocontrol.int> wrote in message
news:3C0611EB.F7E0E1A9@cfmu.eurocontrol.int...
> Mark Lundquist wrote:
> >
> ...
> > 2) Of what use is a name denoting a generic unit within its own formal
part?
> > You certainly can't instantiate the generic there.  What else can you
bloody
> > well do with a generic unit (in general) besides instantiate it?
>
> It can call itself recursively.

Huh?

Yes - a name occuring within the body of the generic unit denoted by that
name refers to the "current instance" of the generic.

I believe that's what you're talking about -- but that's not what my post
was about :-)

-- mark






  reply	other threads:[~2001-11-29 19:10 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-11-28 21:10 Generics not overloadable Mark Lundquist
2001-11-28 21:29 ` Ted Dennison
2001-11-29  3:41   ` Robert Dewar
2001-11-29  5:49     ` R. Tim Coslet
2001-12-09 14:05     ` Mark Lundquist
2001-12-10 16:15       ` Stephen Leake
2001-11-29 10:41 ` Ian Wild
2001-11-29 19:10   ` Mark Lundquist [this message]
2001-11-30 22:38     ` Nick Roberts
  -- strict thread matches above, loose matches on Subject: below --
2001-11-28 17:44 Mark Lundquist
replies disabled

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