From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Elaboration circularity with generics
Date: Sat, 14 Jan 2012 08:26:59 -0800 (PST)
Date: 2012-01-14T08:26:59-08:00 [thread overview]
Message-ID: <11b2858a-9fae-4368-8f97-3fe186cb64e3@k29g2000vbl.googlegroups.com> (raw)
In-Reply-To: 583b1bfe-95bd-4669-b16b-c733c81e8f88@w4g2000vbc.googlegroups.com
On 14 Jan., 16:09, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> Ideally it should be a private child, but these cannot be generic
> (why?).
Of course it can:
private generic
package P.Q is
...
But such a private generic can only be instantiated within the
hierarchy of P (of course).
next prev parent reply other threads:[~2012-01-14 16:32 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-14 15:09 Elaboration circularity with generics Maciej Sobczak
2012-01-14 16:13 ` Martin Dowie
2012-01-14 16:17 ` AdaMagica
2012-01-14 22:46 ` Simon Wright
2012-01-15 16:55 ` AdaMagica
2012-01-16 15:09 ` Simon Wright
2012-01-16 17:15 ` AdaMagica
2012-01-14 16:26 ` AdaMagica [this message]
2012-01-14 22:01 ` Georg Bauhaus
2012-01-15 17:15 ` Maciej Sobczak
2012-01-15 17:43 ` AdaMagica
2012-01-16 17:02 ` Adam Beneschan
2012-01-16 14:34 ` Robert A Duff
2012-01-16 21:29 ` Maciej Sobczak
2012-01-16 21:52 ` Adam Beneschan
2012-01-16 22:25 ` 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